Baby Rudin 1.14 is essentially Thales's theorem?

Exercise 1.14 in Baby Rudin asks to compute $$ \mid 1+z\mid^2+\mid 1-z\mid^2 $$ for (arbitrary) complex $z$ lying on the unit circle. This evaluates to $4$.

Consider the triangle $0,1+z,1-z$ and shift it to the left by $1$. We get a triangle inscribed in a circle with one of its sides lying on a diagonal. Conversely, if we start with any triangle inscribed in a circle lying on a diagonal we can embed the figure in $\mathbb{C}$, so that the image of the circle is the unit circle, and the vertices of the triangle are $-1,z,-z$ for some $z\in\mathbb{C}$. Now, shift the triangle to the right by 1. Two of its sides become $1+z$ and $1-z$. Our computation shows that this triangle is a right triangle. This result is known as the Thales's theorem.

Question 1. Is this a well-known proof of the Thales's theorem?

Question 2. Did the author actually mean this to be "discovered"? If yes, then should one expect to find a lot of such "purposefully hidden" stuff in Rudin's books?


(Too long for a comment.)

  1. It is a valid proof of Thales' theorem, which I believe has been re-discovered many times.

  2. In the context of Baby Rudin's book, I don't expect that it was meant to be "found" as such.

Such geometric insights are always valuable, yet it's worth noting that they may not necessarily be unique. For example, the same problem could be solved geometrically using the parallelogram law. Consider that the points $z, -1, -z, 1$ define a parallelogram, then equating the sum of squares of the diagonals with the sum of squares of the sides gives $\,\left(2 |z|\right)^2 + 2^2 = 2 \left(|z-1|^2+|z+1|^2\right)\,$.

(However, the converse does not work, and for proving the parallelogram law from an identity in complex numbers, one would need to start with $\,|a+b|^2+|a-b|^2=2|a|^2+2|b|^2\,$ instead.)