Kẻ tia `Dx` là tia đối của `Dp`
`⇒ px //// Er //// Fq`
Do đó `,` ta có `: hat{D_1} = hat{E_1} = 39^0 ( 2` góc đồng vị `)`
Lại có `: hat{D_2} + hat{F_1} = 180^0 ( 2` góc trong cùng phía `)`
`⇔ hat{D_2} + 129^0 = 180^0`
`⇔ hat{D_2} = 180^0 - 129^0`
`⇔ hat{D_2} = 51^0`
Ta có `: hat{EDF} = hat{D_1} + hat{D_2} = 39^0 + 51^0 = 90^0`
`⇒ hat{EDF}` là góc vuông `⇒ DE ⊥ DF`
Vậy `, DE ⊥ DF`
