在图2中过D做DD‘垂直于AB垂足D’,过E做E'垂直于AC垂足E‘,∠DAD'=90-α=∠EAE'
并且AD=AE,因此直角三角形ADD'全等于直角三角形AEE' 有DD’=EE‘
AD'=AE’ 又因为AB=AC 所以 BD‘=AB-AD'=AC-AE'=CE'
因此直角三角形BDD’全等于CEE' (边角边)
因此BD=CE
并且∠DBD'=∠ECE'
延长BD交CE于F点,交AC于G点,分别对比三角形AGB和CGF,
∠FCG=∠ECE'=∠DBD'=∠ABG ∠AGB=∠CGF
因此∠BAC=∠GFC=90 因此BD垂直于CE