初等幾何だから三角関数使えないんじゃないの