设 a :b = c :d,试证 ab+cd :ab-cd = a^2 + c^2 :a^2 - c^2