vì tam giác ABO vuông tại O, theo Pytago
AB^2 = AO^2 + OB^2
tương tự với tam giác ODC, ta được DC^2 = OD^2 + OC^2
suy ra AB^2 + DC^2 = AO^2 + OB^2 + OC^2 + OD^2
mà OA^2 + OD^2 = AD^2 (tam giác AOD vuông tại O)
      OB^2 + OC^2 = BC^2 (tam giác OBC vuông tại O)
suy ra AB^2 + DC^2 = AD^2 + BC^2