cosxの長さ
cosの長さは初等関数ではあらわせないが、ジオジェブラでは計算してくれる。
g(x)の求め方について
Information: cosxの長さ