＞しかし、1回目の変形だけで最大となる二等辺三角形より正三角形が大きい証明がなされていない。

そんなのは最大である証明とは無関係。