+) Tam giác AOB và AOD có chung chiều cao hạ từ A xuống BD => S(AOB)/ S(AOD) = OB/OD
+) Tam giác COB và COD có chung chiều cao hạ từ C xuống BD => S(COB)/ S(COD) = OB/OD
=> S(AOB)/S(AOD) = S(COB)/ S(COD)
=> S(AOB). S(COD) = S(AOD).S(COB)
=> S(AOB).S(BOC).S(COD). (DOA) = [S(AOD).S(COB)]2 là số chính phương Vì S(AOD) và S(COB) nguyên
=> đpcm