7
$\begingroup$

I have been looking for proofs for the pythagorean theorem that don't use area calculation but calculus, complex numbers or any other interesting ways to proof it.

I would love to see any interesting proof, Shay

  • 8
    Well, that depends on what you're willing to call the Pythagorean theorem, as well as what kind of assumptions you're willing to start with. One might argue that the machinery of certain parts of calculus and complex numbers _depends on_ the Pythagorean theorem, so that any such proof is circular. One might argue that there are various equivalent statements of the Pythagorean theorem, and that the proofs of their equivalence are not trivial.2011-07-22
  • 1
    Echoing Qiaochu: it really depends on what tools you have. For example, there is a "Pythagorean Theorem" that holds for any inner product space (in particular, for the real and complex planes): if $\langle \mathbf{x},\mathbf{y}\rangle = 0$ (if $\mathbf{x}$ and $\mathbf{y}$ are orthogonal), then $$\lVert \mathbf{x}\rVert^2 + \lVert \mathbf{y}\rVert^2 = \lVert \mathbf{x}+\mathbf{y}\rVert^2,$$using the definition $\lVert\mathbf{z}\rVert = \sqrt{\langle \mathbf{z},\mathbf{z}\rangle}$. How interesting that is, though, seems rather subjective...2011-07-22
  • 0
    Thank you for your comment. I have seen a "proof" of the pythagorean theorem that uses complex numbers but it is circular and therefore invalid. All I am looking for is a proof that for a right-angled triangle a^2+b^2=c^2, not using geometric areas calculation.2011-07-22
  • 1
    To second and amplify Qiaochu's statement, the very definition of a norm of a complex number effectively states the Pythagorean Theorem as an axiom. I suppose you could consider the multiplicativity of the norm - that is, the fact that it behaves as expected under scaling and rotations - as a 'proof' that it acts like a length, and thus as an indirect justification for the Pythagorean theorem, but that seems somewhat roundabout...2011-07-22
  • 0
    Arturo Magidin, I have just seen your proof. You said it yourself, it is not interesting because you have defined the distance using the result of the pythagorean theorem.2011-07-22
  • 3
    @shayfalador: Again: the problem is that if you don't say what you are *assuming* and what you are not assuming, then your question is meaningless. "Interesting" is subjective, so it is not something that anyone but you can answer (not a good question for this site). If you don't say **what** you are willing to assume and what you aren't, then you won't get good answers. Even writing "$a^2+b^2=c^2$" is meaningless without you saying exactly what you are assuming and what you aren't, or what the operations *mean* in that context.2011-07-22
  • 0
    I am willing to see any proof (especially if you find it interesting) that doesn't assume things such as the distance between $(a,b)$ to $(0,0)$ is $\sqrt(a^2+b^2)$. Thanks again!2011-07-22
  • 0
    @shayfalador: You aren't addressing the problem. For one, if you aren't assuming anything about distances, then just what does "$a^2+b^2=c^2$" even *mean*? You need to say what you **are** assuming, not just what you are not.2011-07-22
  • 0
    I can not be anymore specific than that. Any axiom, but those that define distance as I said, is ok.2011-07-22

6 Answers 6

10

Explanation in terms of linear algebra. From this blog post by Terence Tao

The statement $a^{2}+b^{2}=c^{2}$ is equivalent to the assertion that the matrices $% \begin{pmatrix} a & b \\ -b & a% \end{pmatrix}% $ and $% \begin{pmatrix} c & 0 \\ 0 & c% \end{pmatrix}% $ have the same determinant. But it is easy to see geometrically that the linear transformations associated to these matrices differ by a rotation, and the claim follows.

  • 0
    Thank you, I will learn linear algebra this semester and then I will be able to understand this proof.2011-07-22
  • 0
    @shayfalador: You are welcome!2011-07-23
  • 1
    I learned linear algebra this semester, and yes, this proof is really cool!2012-03-09
  • 0
    @shayfalador: You followed up this subject!2012-03-09
5

There is a proof using Similar Triangles:

enter image description here

We get from $\triangle CDA$ and $\triangle ABC$ that $\displaystyle \frac{CD}{AC} = \frac{CA}{BC}$ i.e. $\displaystyle \frac{\alpha}{a} = \frac{a}{c}$ i.e. $ \alpha c = a^2$

Similarly $\displaystyle \beta c = b^2$.

Adding gives the result.

  • 0
    I know this one, it is nice, thank you.2011-07-22
  • 0
    @shay: There is one which uses in-center (but uses areas) which I am guessing you haven't seen. See the last paragraph of my answer here: http://math.stackexchange.com/questions/50093/trigonometric-equality-frac1-sin-a-cos-a1-sin-a-cos-a-tan/50149#501492011-07-22
  • 4
    I can't resist and quote [Gerry Myerson on another thread](http://math.stackexchange.com/q/43398): "I like to call this the one-line proof of the Pythagoras Theorem, the one line being the perpendicular to the hypotenuse."2011-07-22
  • 0
    In [this page](http://problemasteoremas.files.wordpress.com/2008/05/geometriacap4p59.jpg?w=490&h=836) of the 1943's book "Compêndio de Geometria" (Geometry handbook) by Diogo Pacheco de Amorim de 1943 the theorem is proved in this way.2011-07-22
  • 2
    By the way: here's my preferred way of presenting this proof. [Look at this picture:](http://i.stack.imgur.com/crYRD.png) the red, green and blue figures are similar "houses". Since the red and blue roofs give the green roof, the red square and the blue square must add up to the green one. QED --- [Christian Blatter](http://math.stackexchange.com/users/1303/christian-blatter) displayed a similar picture with the heading: "Ich bin auch ein Beweis!" ("I'm a proof, too" in German) at his fare-well lecture. [There is a joke in that title that is hard to explain to people not living in Zurich]2011-07-22
1

Isn't the answer is just what's in here: Proof using differentials ?

  • 2
    I am unconvinced by any proof that treats $\frac{dy}{dx}$ as a *fraction*2011-11-04
  • 1
    @ItsNotObvious but it is a fraction...2016-06-28
1

How about the simplest ever (I got it from a book): Imagine a right prism with the base the triangle in question A(right angle), B , C (counter clock wise). The height of the prism is arbitrary. Now fill the prism with a gas at a given pressure. On the faces, in their middle the pressure forces act (Surface * pressure, perpendicular on the face). Equate the momenta around the corner B. They should cancel (the prism does not rotate by itself). You get the Pitagora's theorem in a blink of an eye. Cheers!! PS: I wanted to upload the figure, but I am not allowed until I get more points!

  • 0
    If you put the figure somewhere I can see it, I will upload it for you.2012-06-05
0

http://www.cut-the-knot.org/pythagoras/CalculusProofCorrectedVersion.shtml

This proof also appears in The American Mathematical Monthly, April 2011 issue.

-1

An elegant proof. Consider the vector $\mathbf{c}$ in the complex plane: $\mathbf{c}= a + \mathbf{i}b$, where $a$ and $b$ are scalar values, and $a,b > 0$. Now consider the reflection of $\mathbf{c}$ in the line at an angle of 45 degrees (pi/4 radians) passing through the origin, call that $\mathbf{d}$. $\mathbf{d} = b + \mathbf{i}a$, and $\mathbf{d}$ clearly has the same length as $\mathbf{c}$.

Now take the vector product of c and d. That has the same length as the square of the length of c, and in terms of polar coordinates, it is at an angle of pi radians (by virtue of the multiplicative properties of complex numbers expressed as polar coordinates).

so $\mathbf{c\cdot d} = i(c^2) = (a+ib)\cdot (b+ia) = ab-ba+i(a^2 + b^2) = i(a^2 + b^2)$.

$c^2 = a^2 + b^2$