Để chứng minh A, ta sẽ sử dụng tính chất của góc phân giác.

Gọi G là giao điểm của đường thẳng EF và Ox. Ta cần chứng minh tam giác IOE = tam giác IOF.

Ta có:
Góc IOG = Góc EOG (vì OG là đường phân giác của góc IOE)
Góc IOG = Góc FOG (vì OG là đường phân giác của góc IOF)

Vậy ta có góc EOG = góc FOG, từ đó suy ra tam giác IOE = tam giác IOF (vì có 2 góc bằng nhau và cạnh chung).

Để chứng minh B, ta sẽ sử dụng tính chất của đường thẳng vuông góc.

Gọi H là giao điểm của đường thẳng EF và Oy. Ta cần chứng minh EF vuông góc Om.

Ta có:
Góc OHF = Góc OEF (vì OF là đường phân giác của góc IOF)
Góc OHF = Góc OHE (vì OH là đường phân giác của góc IOE)

Vậy ta có góc OEF = góc OHE, từ đó suy ra EF vuông góc Om (vì có 2 góc bằng nhau và cạnh chung).

Vậy ta đã chứng minh được A và B.