最速降下線の一般解

solveODEを使わずにコツコツと微分方程式を解くと一般解が出てくる。入力してみるとみごとサイクロイドになる。asinはsinの逆関数。