2回使う必要もなかったか。
背理法で、「正三角形でないとすると」として、
その場合、等しくない2辺が存在するから(以下略)でいいのでは?