MathDB
Identity with lots of square roots.

Source:

October 4, 2010
algebraalgebraic identitiesIMO ShortlistIMO Longlist

Problem Statement

(USS2)(USS 2) Prove that for a>b2,a > b^2, the identity aba+baba+=a34b212b{\sqrt{a-b\sqrt{a+b\sqrt{a-b\sqrt{a+\cdots}}}}=\sqrt{a-\frac{3}{4}b^2}-\frac{1}{2}b}