>>715
>>716
>>717
今気づいたんですけど、頂点から底辺に向かって垂線ひくことはいつでもできるって証明できるんですか、、?