Áp dụng định lí Pytago vào ΔCID vuông tại D, ta được:
\(CI^2=DC^2+DI^2\)
\(\Leftrightarrow CD^2=CI^2-DI^2\)
Áp dụng định lí Pytago vào ΔDIB vuông tại D, ta được:
\(BI^2=ID^2+DB^2\)
\(\Leftrightarrow BD^2=BI^2-ID^2\)
\(\Leftrightarrow BD^2-CD^2=BI^2-ID^2-CI^2+ID^2\)
\(\Leftrightarrow BD^2-CD^2=BI^2-CI^2=AB^2\)