已知:点O为矩形ABCD内任一点.求证:OA的平方加OC的平方等于OB的平方加OD的平方