Định lý Lagrange: Xét các số thực dương x,y thay đổi thỏa mãn ((x+y))/10+log⁡(1/2x+1/2y)=1+2xy