Non-geometric Proof of Pythagorean Theorem [closed]

The "modern" approach is this : first we define the field $\mathbb{R}$ (for instance, it's the only totally ordered field with the supremum property).

Then we define what a $\mathbb{R}$-vector space is : it's an abelian group with an external action of $\mathbb{R}$ satifying some axioms.

Then there is a notion of dimension : we can define a vector space of dimension $2$.

The notion of Euclidean distance is obtained by defining what an inner product is : it's a symmetric bilinear form such that $\langle x,x\rangle>0$ if $x\neq 0$. The distance is then $||x-y||$ with $||x||=\sqrt{\langle x,x\rangle}$. We also have the notion of orthogonality from this inner product.

Well, once you did that, then the Pythagorean theorem is a triviality : $||x-y||^2 = \langle x-y,x-y \rangle = \langle x,x \rangle - 2\langle x,y \rangle + \langle y,y \rangle = ||x||^2 + ||y||^2$ (assuming of course that $\langle x,y\rangle=0$, the orthogonality hypothesis).

Of course all the work went into the definitions, which is contrary to the basic approach of geometry which deduces properties of distance from a set of axioms (generally ill-defined, but it can be made precise with a little work).

The interesting thing about this modern approach is that algebraic structures come before geometric content. This is powerful because algebraic structures have enough rigidity. For instance, if you start with a set of points and lines satisfying some incidence axioms, it's very hard to define what it means that it has a certain dimension. But if you have a vector space structure, then it's easy.

Of course it can be a little disappointing beacause it feels like we "cheated" : we made the theorem obvious by somewhat putting it in the definitions. But on the other hand, it's very clear and precise : can you properly define what distance or an angle is using "high school geometry" ? Not so easy. Even in Euclide's Elements, this is kind of put under the rug as "primitive notions". This approach makes everyting perfectly well-defined and easy to work with.

A "proof" of the Pythagorean Theorem depends on some kind of definitions of:

• right angle
• length/area
• stright line

The axioms of Euclid are not completely formalized but we have other formal axiomatic systems that mimic euclidean axioms and definitions of these notions (for example the Hilbert's axioms) so that we can derive Pythagorean theorem there. A formal proof with these axiomatic systems wouldn't require any reference to pictures in principle.

Proving Pytagorean Theorem in completely different context such as analytic geometry (or"calculus") could be possibly trivial or meaningless depending on what definition of "right angle" we are going to consider. For example it would be trivial if you define a right angle with the scalar product and the distance with $\sqrt{(x_1-x_2)^2+(y_1-y_2)^2}$, but you could try with different ones and the proof of the theorem could get more and more complicated depending on which definition you want to take (you could want to define areas with Peano Jordan's measure for example).