一つの質点の自由な運動を記述するラグランジアンを決める。
空間と時間の一様性により、ラグランジアンは位置ベクトルにも時間にも陽には依存しない。空間の等方性により速度ベクトルの方向にも依存しない。ゆえにラグランジアンは速度の大きさだけの関数となる。
(なぜ2乗なのかは調査中。ニュートン力学との整合性か?)
別の慣性系においてのラグランジアンとの差は座標と時間の完全導関数でなければならない(§2 最小作用の原理参照)。
この条件を満たすのは、
のときだけである。(要証明)
ここでニュートン力学との整合性のため、の比例定数に質量を導入した。
相互作用のない質点系では加法性のために
となる。
最小作用の原理より、
は最小値を持つはずだが、もし質量が負だと、最小値を取ることができない。ゆえに質量は正である。
うーん、なぜ なんでしょう?
たしかに、 とかじゃうまくいかないですけど。。。