>>63
直角⇔対辺が直径の円周上は流行りな気がする、ソッコーで思いついてそれ以外無いと思ってた
でもxyで三平方のほうが論証としては楽だな

個人的には図形問題は減点覚悟で論証は捨てようと思ってる
今のとこの解答で最大値をとる四角形が凸であることは誰も示してないし、
今回は簡単に示せるが問題によってはドツボだろう