# Exercici 03-1-6

En primer lloc cal observar que si a=0 o b=0 
la desigualtat és certa de manera trivial

assume(a>0, b>0);

x:(a+b);   y:2*sqrt(a*b);

is(x-y>0);

x^2;  y^2;  x^2-y^2;

expand(%);

factor(%);

conclusió x^2-y^2>0 => x^2 > y^2 i éssent positius => x > y,
que és la desigualtat demanada.