>>606
△abcは円周上の相異なる三点から作られる三角形で、それらのうちで面積最大であるとする
いま、△abcが正三角形ではないと仮定し、abとbcの長さが異なるとする
するとacの垂直二等分線かつ円上のbのある側に点dがあり、△adc>△abcで矛盾