Cho hai đường thẳng xx'/yy'. Lấy điểm A và B lần lượt thuộc đường thẳng xx' và yy'. Trong nửa mặt phẳng bờ xx' chứa đường thẳng yy' kẻ tia Az và trong nửa mặt phẳng bờ yy' chứa đường thẳng xx' kẻ tia Bt sao cho zAx=tBy'. Lấy hai điểm C thuộc Az và D thuộc Bt.
a) Chứng minh rằng ACD=CDB
b) Kẻ các tia phân giác Am của zAx và tia phân giác Bn của tBy'. Chứng minh rằng Am//Bn