>>736
場合分けの省略ってヤツだよ。
XZ＝YZのときは、XY≧XZ＝YZ　からXY＝XZ＝YZで正3角形になってすぐ矛盾が導けるじゃん。
普段丁寧に場合分けして紙に書いていると、どういうときに話が長くなるのか分かる。