In a complex plane, the three points `z_1, z_2, z_3` are three vertices of an isosceles right angle triangle with right angle at `z_3`. Then show that `z_1^2 + 2z_2^2 + z_3^2 = 2z_2(z_1 + z_3)`