Vì \(\widehat{B}=\widehat{C}\Rightarrow\Delta ABC\text{ cân tại A }\Rightarrow AB=AC\)
Xét \(\Delta ABD\text{ và }\Delta ADC\) có :
\(\hept{\begin{cases}AB=AC\\\widehat{A_1}=\widehat{A_2}\\AD\text{ chung }\end{cases}\Rightarrow\Delta ABD=\Delta ACD\left(c.g.c\right)}\)
=> \(\widehat{D_1}=\widehat{D_2}\text{ mà }\widehat{D_1}+\widehat{D_2}=180^{\text{o}}\Rightarrow\widehat{D_1}=\widehat{D_2}=90^{\text{o}}\)
Mà Ay//BC
=> \(\widehat{A_{23}}+\widehat{D_2}=180^{\text{o}}\text{ mà }\widehat{D_2}=90^{\text{o}}\Rightarrow\widehat{A_{23}}=90^{\text{o}}\Rightarrow AD\perp Ay\left(\text{đpcm}\right)\)
