b) Gọi S là hình chiếu của I trên AB. Chứng minh tam giác IOS đồng dạng tam giác IOS c) Chứng minh diện tích AHBK = AB. IS

b) OI ⊥ AE mà BK ⊥ AE ⇒ OI // BK ⇒  IOS^=ABE^ (hai góc ở vị trí đồng vị)

Mà  ISO^=AEB^=90° ⇒  ΔIOS∽  ΔABE (g.g)

c) O, I lần lượt là trung điểm của AB, HK

⇒ AH + BK = 2OI

⇒ AH.HI + IK.BK = OI.IK + OI.IH

⇒ S_AHI + S_BIK = S_AIB

⇒ S_AHBK = 2S_AIB = AB.IS.