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