a) Ta có:
- Hai tam giác KAB và KCD đồng dạng (cùng có một góc nhọn và hai góc tù tương ứng bằng nhau).
- Hai tam giác KAD và KBC đồng dạng (cùng có một góc nhọn và hai góc tù tương ứng bằng nhau).
Do đó, ta có tỉ số đồng dạng giữa các cặp cạnh của hai tam giác này:
KA/KB = KD/KC
Từ đó, ta có KA.KD = KB.KC.

b) Ta có:
- AB // KI // DQ (do đường thẳng KI // AB và KQ // AD).
- AB // KI // CQ (do đường thẳng KI // AB và KQ // BC).
Do đó, ta có KI // DQ // CQ.
Vậy, KI = DQ = CQ.