fixed pendulum-derivation pdf