a, Ta có: At∩xx′={A}(gt)At∩xx′={A}(gt)
Mà xx' // yy' (gt)
=> At ∩∩ yy' (hệ quả của tiên đề ơ-clit)
b,Tia At là phân giác góc xAB (gt)
=> góc xAt = góc BAt = Góc xAB / 2 = 80o/2 = 40o
Có: xx' // yy' (gt)
mà At ∩∩ yy' = {C} (gt)
=> Góc xAt = góc ACB = 40o (cặp góc so le trong )