>もちろん、AB や CA を固定して考えても同じであ
>る。つまり、どれかの辺を底辺と見たとき二等辺三角形になっていない
>なら、それより面積の大きい三角形が存在することになる。

ここが誤り