> 等号が成り立つとき△abcは直角二等辺三角形となる。このとき∠aは直角に等しい。これは(1)に矛盾する これよくわからないんですが?? 初等幾何の証明は、どの定理が使えるか決めないと大変かも。 この場合だったら三平方の定理を証明してから (bc)^2+(ac)^2=(ab)^2 より、(ab)>=(bc) かつ (ab)>=(ac) て言えばいいのでは?