Ta có:
\(\widehat{yDF}\) = \(\widehat{DEF}\) + \(\widehat{DFE}\) (tính chất tam giác vuông)
= 30o + 30o
= 60o
Lại có:
\(\widehat{yDx}\) = \(\frac{1}{2}\) \(\widehat{yDF}\) = \(\frac{1}{2}\) . 60o = 30o
Có:
\(\left\{\begin{matrix}\widehat{yDx}=30^o\\\widehat{DEF}=30^o\end{matrix}\right.\) => \(\widehat{yDx}\) = \(\widehat{DEF}\)
mà 2 góc này ở vị trí đồng vị nên Dx // EF.
gọi goc ngoài của đinh D tam giác DEF là góc FDK
Áp dụng tính chất góc ngoài của tam giac ta có:
KDF=góc E+ góc F
suy ra: KDF=30 độ + 30 dộ
=60 độ
vì DY là tia phân giác góc ngoài đỉnh D nên:
KDy=KDy=1/2KDF=1/2.60 độ=30 độ
Do đó góc FDy=góc DFE(=30độ)
Mà 2 góc ở vị trí so le trong nên Dy//EF