MathDB
System has exactly one real solution

Source:

September 8, 2010
algebrasystem of equationsIMO ShortlistPythagorean Theoremgeometry

Problem Statement

Let a,b,ca, b, c be positive numbers with a+b+c=32\sqrt a +\sqrt b +\sqrt c = \frac{\sqrt 3}{2}. Prove that the system of equations ya+za=1,\sqrt{y-a}+\sqrt{z-a}=1, zb+xb=1,\sqrt{z-b}+\sqrt{x-b}=1, xc+yc=1\sqrt{x-c}+\sqrt{y-c}=1 has exactly one solution (x,y,z)(x, y, z) in real numbers.