MathCastle
Proof WritingHardDirect Proof

Direct Proof · Hard problem

Using x2+y2≥2xyx^2 + y^2 \ge 2xy (true for all real x,yx, y), what is the smallest possible value of a2+9b2a^2 + 9b^2 for real numbers a,ba, b with ab=2ab = 2?