Lagrangian point
5 つのラグランジュ点はそれぞれ以下のように定義される。