x^2 + y^2 > 1 if (x^2 + y^2 -1)(z^2 + t^2 - 1) > (xz + yt -1)^2
Source: 2018 Grand Duchy of Lithuania, Mathematical Contest p1 (Baltic Way TST)
October 3, 2020
algebrainequalities
Problem Statement
Let be real numbers such that .
Prove that .