... squares.¹

This algebraic identity is secretely the assertion that the norm map $N:\mathbb{Q}(i)^* \rightarrow \mathbb{Q}^*$ sending $x+iy$ to $(x+iy)(x-iy)=x^2+y^2$ is a homomorphism.

.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.