x2 + 4y2 + z2 - 2x - 6z + 8y + 15
= (x2 - 2x + 1) + (4y2 + 8y + 4) + (z2 - 6z + 9) + 1
= (x - 1)2 + 4(y + 1)2 + (z - 3)2 + 1
Thấy: (x - 1)2 > 0
4(y + 1)2 > 0
(z - 3)2 > 0
<=> (x - 1)2 + 4(y + 1)2 + (z - 3)2 > 0
<=> (x - 1)2 + 4(y + 1)2 + (z - 3)2 > 0 + 1 = 1 > 0
=> đpcm