Question 1154771
 Area of square with side x = x^2

Diagonal of square = {{{sqrt(2)*x}}}

Half product of diagonals = {{{(1/2)*(sqrt(2)*x)^2}}}

=x^2

Proved