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