MathDB
a^2 + b^2 = 1, c^2 + d^2 = 1, ac + bd = - 1/2

Source: Polish MO second round 1969 p1

August 28, 2024
algebrasystem of equations

Problem Statement

Prove that if the real numbers a,b,c,d a, b, c, d satisfy the equations   a2+b2=1,  c2+d2=1,  ac+bd=12, \; a^2 + b^2 = 1,\; c^2 + d^2 = 1, \; ac + bd = -\frac{1}{2}, then a2+ac+c2=b2+bd+d2.a^2 + ac + c^2 = b^2 + bd + d^2.