=√{[sin(x/2)]^2+[cos(x/2)]^2-2sin(x/2)cos(x/2)}+√{[sin(x/2)]^2+[cos(x/2)]^2+2sin(x/2)cos(x/2)}
=√{[sin(x/2)-cos(x/2)]^2}+√{[sin(x/2)+cos(x/2)]^2}
∵0
=√{[sin(x/2)]^2+[cos(x/2)]^2-2sin(x/2)cos(x/2)}+√{[sin(x/2)]^2+[cos(x/2)]^2+2sin(x/2)cos(x/2)}
=√{[sin(x/2)-cos(x/2)]^2}+√{[sin(x/2)+cos(x/2)]^2}
∵0