Lời giải:
Giả sử $x,y$ là 2 số dương có $x+y=a$ không đổi.
Ta có:
$2xy=(x+y)^2-(x^2+y^2)=(x+y)^2-[(x-y)^2+2xy]$
$4xy=(x+y)^2-(x-y)^2\leq (x+y)^2$ do $(x-y)^2\geq 0$
$\Rightarrow xy\leq \frac{(x+y)^2}{4}=\frac{a^2}{4}$
Vậy $xy_{\max}=\frac{a^2}{4}$ khi $(x-y)^2=0$ hay $x=y$
Ta có đpcm.