Có:
\(\dfrac{S_{DAO}}{S_{ABO}}=\dfrac{DO}{BO}=\dfrac{S_{CDO}}{S_{BCO}}\) , tức là \(S_{DAO}.S_{BCO}=S_{ABO}.S_{CDO}\)
Do đó:
\(S_{ABO}.S_{BCO}.S_{CDO}.S_{DAO}=\left(S_{DAO}+S_{BCO}\right)^2\)
Vậy tích các số đo diện tích của các tam giác ABO, BCO, CDO, DAO là một số chính phương.