如上图，H为角A的角平分线和底边BC的垂直平分线的交点，因而有HE等于HF，AH＝AH因此三角形AEH与AFH全等，因此AE＝AF。又BH＝CH，HE=HF，因而三角形EHB与FHC全等，因而BE＝CF，因此AB＝AC，证毕。这个证明很荒谬，但却体现数学证明中的一个很诡异的问题，发现它的错误吧。