Sejam a,b,c números positivos com a+b+c=23. Prove que o sistema de equações ya+za=1, zb+xb=1, xc+yc=1 tem exatamente uma solução (x,y,z) em números reais.