證明: 探究:作$DE\perp AB$于$E,$$DF\perp AC,$交$AC$的延長線于$F,$如圖所示。
在$\triangle DFA$和$\triangle DEA$中,
$\begin{cases}\angle DAF=\angle DAE\\\angle AFD=\angle AED = 90^{\circ}\\DA = DA\end{cases}$
所以$\triangle DFA\cong\triangle DEA(AAS),$所以$DF = DE。$
因為$\angle ABD+\angle ACD = 180^{\circ},$$\angle ACD+\angle FCD = 180^{\circ},$所以$\angle ABD=\angle FCD。$
在$\triangle DFC$和$\triangle DEB$中,
$\begin{cases}\angle DFC=\angle DEB\\\angle FCD=\angle EBD\\DF = DE\end{cases}$
所以$\triangle DFC\cong\triangle DEB(AAS),$所以$DB = DC。$
應(yīng)用:連接$AD,$作$DF\perp AC,$交$AC$的延長線于$F,$如圖所示。
因為$\angle ACD = 135^{\circ},$所以$\angle FCD = 180^{\circ}-\angle ACD = 45^{\circ}。$
因為$\angle B = 45^{\circ},$所以$\angle FCD=\angle B。$
在$\triangle DFC$和$\triangle DEB$中,
$\begin{cases}\angle DFC=\angle DEB = 90^{\circ}\\\angle FCD=\angle B\\DC = DB\end{cases}$
所以$\triangle DFC\cong\triangle DEB(AAS),$所以$DF = DE,$$CF = BE。$
在$Rt\triangle ADF$和$Rt\triangle ADE$中,
$\begin{cases}AD = AD\\DF = DE\end{cases}$
所以$Rt\triangle ADF\cong Rt\triangle ADE(HL),$所以$AF = AE,$所以$AB = AE + BE=AC + CF+BE=AC + 2BE,$所以$AB - AC = 2BE。$