A= 4x2y2 - (x2 + y2 - z2 )2
= (2xy - x2 - y2 + z2)(2xy + x2 + y2 - z2)
=[ z2-(x-y)2].[ (x+y)2-z2 ]
=(z-x+y)(z+x-y)(x+y-z)(z+y+z)
x,y,z là độ dài 3 cạnh của 1 tam giác=>x>0,y>0,x>0
áp dụng bất đẳng thức của tam giác
ta có:
z-x+y>0
z+x-y>0
x+y-z>0
x+y+z>0
=> tích (z-x+y)(z+x-y)(x+y-z)(x+y+z) >0
=> A>0