The diagonals AC and BC of a quadrilateral ABCD intersect at O, at right angles. Prove that AB2+CD2=AD2+BC2.