对任意三角形⊿abc,我们要证明|ab|=|ac|=|bc|.作∠bac的角平分线ao与底bc的垂直平分线ho,相交于o点；分别作o点到ab和ac的垂线od和oe.现在由∠oad=∠oae,∠oda=∠oea,|ao|=|ao|可知：⊿oad和⊿oae全等.于是|ad|=|ae|,|od|=|oe|.然后据|ob|=|oc|,|od|=|oe|,以及∠odb=∠oec为直角可知⊿obd和⊿oce全等,于是|db|=|ec|.于是|ab|=|ad|+|db|=|ae|+|ec|=|ac|.同理,|ac|=|bc|.

　　所以,|ab|=|ac|=|bc|,任意三角形⊿abc为等边三角形.