解析力学
より、一般化座標 q1, q2 でのオイラー=ラグランジュ方程式も同様に成り立つことが示される。座標変換が微分同相であるならば逆も成り立つため、オイラー=ラグランジュ方程式の共変性が示される。