Cho định lí : "Hai tia phân giác của hai góc kề bù tạo thành một góc vuông" (hình vẽ). Giả thiết, kết luận của định lí là:
A. Giả thiết: Cho góc bẹt AOB và tia OD. OE là phân giác góc BOD; OF là phân giác góc AOD.
Kết luận: OE⊥OF
B. Giả thiết: Cho góc bẹt AOB và tia OD. OE là phân giác góc BOF; OF là phân giác góc AOD.
Kết luận: OE⊥OA
C. Giả thiết: Cho góc bẹt AOB và tia OD.OE là phân giác góc BOD; OF là phân giác góc AOE.
Kết luận: OE⊥OF
D. Giả thiết: Cho góc bẹt AOBAOB và tia OD. OE là phân giác góc BOD; OF là phân giác góc AODAOD.
Kết luận: OB⊥OF
Giả thiết: Cho góc bẹt AOB và tia OD. OE là phân giác góc BOD; OF là phân giác góc AOD.
Kết luận: OE⊥OF
Định lí: "Nếu hai đường thẳng song song cắt đường thẳng thứ ba thì hai góc đồng vị bằng nhau" (như hình vẽ dưới đây). Giả thiết của định lí là: