Vì x là phân giác của D
=> D1 = D2 = D/2 = 90/2 = 45
Vì y là phân giác của B
=> B1 = B2 = B/2 = 90/2 = 45
Áp dụng tổng 3 góc của một tam giác , ta có :
B1 + H + C = 180
mà B1 = 45 ; C = 90
=> 45 + 90 + H = 180
=> H = 45
Vì H = D1
mà 2 góc nằm ở vị trí đồng vị
=> Dx//By ( điều phải chứng minh)