>>848は山本義隆「新・物理入門」にも載ってる証明だね。
ニュートン力学的運動学じゃなくて相対論的運動学を使ってるんだよ。
相間や哲厨は受験参考書から始めるくらいでちょうど良いかもね。