Kẻ AHAH ⊥ DCDC

     BKBK ⊥ DCDC

⇒ DHDH = CKCK                   (1)(1)

Ta có : ABAB = HKHK            (2)(2)

Từ (1)(1) và (2)(2) ⇒ ABAB + DHDH = HKHK + KCKC 

                        → ABAB + DHDH = HCHC

                        → ABAB + DHDH + HCHC = 22 × HCHC

                        ⇔ ABAB + DCDC = 22 × HCHC

Cho AHAH cắt DBDB tại EE

        ACAC cắt DBDB tại FF

Xét ΔAEFΔAEF vuông tại FF

      ΔDEHΔDEH vuông tại HH

Ta có : ∠E1∠E1 = ∠E2∠E2 ( đối đỉnh )

⇒ ΔAEFΔAEF = ΔDEHΔDEH ( ch - gn )

→ D2D2 = A1A1 

mà D2D2 = C2C2 

⇒ A1A1 = C2C2 

→ ΔAHCΔAHC vuông cân tại HH

→ AHAH = HCHC

→ ABAB + DBDB = 22 × AHAH

→ ABAB + DBDB / 2 = AH