My colleague Ricardo Pérez-Marco showed me a very cute proof of Pythagoras’ theorem, which I thought I would share here; it’s not particularly earth-shattering, but it is perhaps the most intuitive proof of the theorem that I have seen yet.
In the above diagram, a, b, c are the lengths BC, CA, and AB of the right-angled triangle ACB, while x and y are the areas of the right-angled triangles CDB and ADC respectively. Thus the whole triangle ACB has area x+y.
Now observe that the right-angled triangles CDB, ADC, and ACB are all similar (because of all the common angles), and thus their areas are proportional to the square of their respective hypotenuses. In other words, (x,y,x+y) is proportional to . Pythagoras’ theorem follows.
Here is a more “modern” way to look at Pythagoras’ theorem. The statement is equivalent to the assertion that the matrices
and
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.
Homework: why are the above two proofs essentially the same proof?
75 comments
Comments feed for this article
14 September, 2007 at 9:11 am
Rupert Swarbrick
This is interesting. I totally agree that it’s cute and short, but I really don’t see why it’s obvious that ADC and CDB are similar. Unless I’m missing something, could it be that showing this is where the effort in the proof comes in?
9 January, 2017 at 9:46 am
dickpalais
There is an interesting story that goes with this proof. Einstein, in a biographical note, says that when he was about 12 years old, his uncle told him about Pythagoras theorem one evening and challenged him to find a proof. Einstein says he came up with that proof by the next morning.
14 September, 2007 at 9:20 am
Terence Tao
Dear Rupert,
ADC is similar to ACB because they have two angles in common (a right angle, and the angle at A). Similarly CDB is similar to ACB. Since two triangles that are similar to a third are also similar to each other, the claim follows.
14 September, 2007 at 10:11 am
Greg Kuperberg
My favorite proof of the Pythagorean theorem is given by this picture. You can place four copies of the triangle in a tray which is a square of size a+b, leaving a square of size c. Or you can place those four same triangles in the same tray in a different arrangement, leaving a square of size a and a square of size b. But Perez-Marco’s proof is comparably virtuous.
Arguably the determinant “proof” is not quite fair, or not a proof. The Pythagorean theorem confirms the analytic definition of plane geometry using the axioms of synthetic geometry. But expressing areas with determinants relies on analytic geometry.
On the other hand, once you have the basic Pythagorean theorem (or perhaps the n-dimensional version for the l^2 norm of vectors) to validate analytic geometry, you can use it to write interesting generalized Pythagorean theorem. The widest and prettiest such generalization that I know is as follows: If you have a flat k-dimensional region in R^n, then the square of its volume is the sum of the squares of the volumes of its (n choose k) coordinate projections. (So as a special case, you get the expected Pythagorean theorem for the facets of a simplex with a fully right-angled corner.) There is an elegant proof, I’m sure with variations, using determinants and minors.
But I have the feeling that there are yet more general such results.
14 September, 2007 at 11:19 am
Arkadas Ozakin
Alexander Givental has a nice discussion of Pythagoras’ theorem where he praises this proof, here: http://math.berkeley.edu/~giventh/papers/eu.pdf
19 September, 2020 at 7:39 am
ibrahim
what a nice surprise to see you here hocam
14 September, 2007 at 11:27 am
Terence Tao
Dear Greg,
That is a nice proof too. Perez-Marco’s proof though is the first area-based proof I have seen that does not require subtraction (the proof you link to adds in four triangles and then subtracts them at the end). So it is a bit more “tropical” or “combinatorial”.
The determinantal proof can be expressed in synthetic geometry without circularity (i.e. without secretly using Pythagoras’ theorem within the proof). After arbitrarily selecting an origin, synthetic geometry (with heavy reliance on the parallel postulate, of course) allows one to express the plane as a vector space, and one can show that linear transformations on this space affect area (of, say, triangles) by a proportionality constant, which one can then declare by definition to be the determinant of that transformation (there is a slight issue regarding orientation, but never mind that). Then one can set up the Cartesian coordinate system (which does not require Pythagoras’ theorem, as we will not need the formula for the metric in this system) and convert linear transformations to matrices. The fact that the determinant is multilinear in the rows of the matrix can be shown by various area cut-and-paste and similarity arguments. If you put it all together you get something which is remarkably similar to the first proof given in the post. [It will be much longer, of course, because one is also setting up a lot of modern analytic geometry, linear algebra, etc. along the way, but one can view all that as a sunk cost of modern mathematics. :-) ]
As for the k-dimensional version of Pythagoras, I guess the modern interpretation would be that a Hilbert space structure on a vector space V canonically induces one on the exterior power
, for instance passing to the totally anti-symmetric component of the Hilbert space
under the permutation action of
, which is clearly unitary. (Indeed, one can verify that the map
is a functor in the category of Hilbert spaces.) If one then uses an orthonormal basis on V to generate an orthonormal basis of
via wedge products I think you then get the claim. Whether this is the “simple” proof of the theorem depends on your taste, I guess. :-)
Arkadas: Thank you very much for the link! It seems this proof (in one form or another) has quite a long history, dating back to Euclid himself.
14 September, 2007 at 12:34 pm
Greg Kuperberg
The two-triangle proof does not require subtraction, but it does require division, because the triangle areas are merely proportional to the terms rather than equal. Although Givental argues that division is more essential to the story than subtraction. Hmm…
After saying that the determinants are not quite a proof, it bothered me that you had said that it was equivalent to the two-triangle proof, which counts by any measure. Basically your long explanation resolves this inconsistency. Even so, the length of your fill-in does indicate to me that using determinants is still contrary to the intentions of the Pythagorean theorem, even if it isn’t truly circular.
Yes, you have a perfectly fine first-year graduate proof of the generalized Pythagorean theorem. But there is also a proof, which may or may not be an equivalent proof, that uses only undergraduate linear algebra and geometry. You can assume that the region in question is a parallelipiped that is subtended by vectors that make rectangular matrix M. Then you can show that its volume is sqrt(det M^T M) by rotational invariance. Then you can take the determinant of [[0,M^T],[-M,I]] in two ways. You can either do a block row operation to see that its determinant is det M^T M; or you can group the terms in its determinant to get a sum of squares of minors.
Probably the graduate proof is conceptually better in the end, but this phrasing is also interesting from the point of view of enumerative combinatorics.
(My apologies for not latexing the formulas. It’s because you have no preview button.)
14 September, 2007 at 12:35 pm
Anonymous
Dear Terry,
I think that the proof you mention is usually attributed to Einstein.
14 September, 2007 at 2:08 pm
John Armstrong
One qualm I have here is the assertion that areas of similar figures are in the “duplicate ratio” of their sides. That is, x:y::a^2:b^2. Of course it’s true in Euclidean geometry, but the last time I looked at the Elements, the theory of proportions didn’t come up until book V, while the Pythagorean Theorem caps off book I. Are you sure that you aren’t begging the question somewhere here?
Even if not, it’s still unsettling. This proof may be “intuitive” to you, but it’s based on a much more complicated theoretical background than the better-known proofs. Frankly, I’ve yet to find one that improves on the elegance of Euclid’s, exhibiting explicit shears to send the two squares onto the third.
14 September, 2007 at 2:46 pm
Terence Tao
Dear John,
According to the Givental reference mentioned above, the assertion that areas of similar figures are in the duplicate ratios of their sides is Euclid’s VI.19, but does not use Pythagoras’ theorem in its proof. Indeed, Euclid gives two independent proofs of Pythagoras: the shearing proof in I.47 and a variant of the above proof in VI.31. In any event, one can nowadays prove VI.19 by a variety of means (for instance, one could invoke the uniqueness of Haar measure up to constants).
One could argue that the two proofs of Euclid are essentially the same proof (modulo some basic linear algebra); they are both exploiting the multilinearity, antisymmetry, and rotation invariance properties of
determinants (or wedge products, if you wish) to achieve the same end result, but use those properties in a slightly different order to get there. Elegance is of course a subjective matter of taste, but I find the proof above to be easier to remember than the shearing proof, and it feels like less of a “fortunate coincidence” that the proof works at all.
14 September, 2007 at 2:56 pm
kaiming
Finally, I understood a theorem or proof discussed here!
14 September, 2007 at 3:24 pm
Jasper Crowne
I’ve seen this proof given in two of my physics courses (one on “mathematical methods” and one on fluid dynamics) as a cute application of dimensional analysis; I’m pretty sure the source for that formulation is G. I. Barenblatt’s book on self-similarity, and he cites A. B. Migdal’s book Qualitative Methods in Quantum Theory.
Barenblatt also states in the footnote that typically similarity of triangles is given after Pythagoras’ Theorem in rigorous geometry courses (so John’s objection is not new).
14 September, 2007 at 11:39 pm
jay
Yes, in the page 2 of Migdal’s book!
15 September, 2007 at 2:22 am
Adam
I don’t know much about generalizations, but it seems to me that
the problem known as Fermat’s Last Theorem is an obvious such one.
Since it may be of interest to smart high school students, let me share
a partial proof of it, which doesn’t seem is mentioned in Wikipedia.
It uses simple inequalities, which might be enlightening to people
thinking analytically, and is due to I. Paasche, Praxis der Math. 3 (1961), 80:
For x>0 and n>2 we have x^n + (1+2x)^n/2 \leq (x+1)^n (Exercise 1).
Thus if a^2 – 1 \leq 2b, the equation a^n + b^n = c^n so no solutions
in natural numbers a,b,c and n>2 (Exercise 2).
Does anybody know a stronger result, which uses just high school
level arguments?
Personally, I like Fermat better than Pythagoras. To have his student
Hippasus drowned for coming up with a new idea (Square root of 2,
Wikipedia) seems like sending a bad message for the future.
Thankfully, present day mathematicians respect their own original
thinkers and don’t have to rely on other areas of science for input.
On the other hand, Fermat’s likely bluff must have driven a lot of
people crazy, but then he lived in different times:
“It was the convention among mathematicians in his day to challenge
each other to prove a result, often not publishing their own proof
to retain an advantage in such competitions” (Fermat, Wikipedia).
Anonymous: what do you think about the book “Henri Poincare
and Relativity Theory,” by A. A. Logunov (2004), available at:
http://arxiv.org/abs/physics/0408077
15 September, 2007 at 10:59 am
François
According to http://xavier.hubaut.info/coursmath/var/pytha.htm this proof is due to Henri Lebesgue.
15 September, 2007 at 1:21 pm
gowers
There is a beautiful discussion of this proof in Polya’s Mathematics and Plausible Reasoning, where he shows not just the proof but how one might think of it. Roughly his account goes like this. You are trying to show that
. The obvious geometric interpretation of this is to put squares on the sides of the triangle, as one often sees. But a standard move in mathematics, one that Polya strongly advocates, is to generalize. In this instance, if you’re in a generalizing frame of mind, you will notice that you could use any shape: there’s no particular reason to use squares. But another standard move in mathematics is to specialize. One also observes that it is sufficient to prove the result for just one shape. Is there a good shape to pick? Well, a pretty good candidate is a triangle of the shape you start with, since if you put one on the hypotenuse it will have the same area as the triangle itself. It is then easy to see that the other two triangles are congruent to the smaller triangles in your diagram. I hope I’ve explained that clearly: it’s one of my all-time favourite how-to-think-of-this-proof discussions.
15 September, 2007 at 1:59 pm
James Cook
Another “modern” way to think of this is to note that the operator with matrix
preserves the inner product on
with the factor
; this of course amounts to another way of stating Terry’s observation about determinants.
To “prove” the Pythagorean theorem is essentially to give an argument for why we should use the 2-norm to measure distances; the reason always comes down to the niceness of the rotation group. (See here for a discussion arising in the context of quantum mechanics.)
15 September, 2007 at 3:41 pm
gowers
I once gave a talk about Pythagoras’s theorem and before it I worked out an answer to exactly this question (of why the 2-norm is rotation-invariant). It’s a slightly strange answer but it at least has the quality of a derivation rather than a verification. The basic idea is to use calculus, which can be done in several ways. One is to say that we know that if we have a parametrized curve
that is always orthogonal to its tangent, then it will describe a circle. (This is how I avoid mentioning the number 2.) The condition works out as
, or equivalently
. In other words,
is constant along such a curve: note that the number 2 came out of solving a simple calculus problem rather than out of the blue.
15 September, 2007 at 3:50 pm
gowers
PS Just looked at the Givental discussion mentioned above and found that he talks about Polya’s discussion and that Polya himself seems to have suggested that the idea of approaching it like that was due to Euclid.
15 September, 2007 at 7:53 pm
Greg Kuperberg
By the way, Terry, this submission is misclassified! It should clearly be math.HO.
:-) What an ironic comment to post here.
15 September, 2007 at 8:46 pm
Terence Tao
Now math.HO. :-)
16 September, 2020 at 9:36 am
Anonymous
What does HO mean?
17 September, 2007 at 2:02 am
sam
I dont follow all the discussion here. But, here is a simple way to look at the Pythagoras theorem.
.
1) It is a scaled version of the identity
2) It is easy to see where the squares come from in the above identity. It comes from the composition of two projections. In triangle ABC, think of AB as being of unit length. Then the projection of AB on BC gives a
and this followed by the projection of BC on BD gives another
. Thus BD is
. Similarly DA is
.
3) Is this considered obvious enough?
17 September, 2007 at 2:17 am
Rupert Swarbrick
Oh dear, I realised why they were similar on the bus on the way home and this is the first time since then I’ve been on the internet. Sorry for the stupid comment!
17 September, 2007 at 8:36 am
Anonymous
Sam, I hope you’re not using the Pythagoras’ Theorem to proof the trig identity. :)
17 September, 2007 at 10:10 am
sam
Anonymous, if I were to prove the identity using the Pythagoras’ Theorem, I dont need to think of it as two projections.
and
. Now using the Pythagoras’ theorem the result follows.
17 September, 2007 at 12:58 pm
Terence Tao
Dear Sam,
You are correct that one can use the identity
instead of
, together with the similarity of the triangles ACB, ADC, ABC, to obtain a proof of Pythagoras’ theorem which does not involve area and is thus a little more elementary. As is often the case, though, the elementary proof is a little longer than the “slick” proof, requiring a bit more algebraic manipulation.
19 September, 2007 at 1:38 am
Alex Dimakis
I was thinking that the proof essentially used the fact that any orthogonal
triangle can be expressed as a union of two scaled copies of itself. (only rotations and translations allowed). This reminded me of iterated function systems (IFS) -but with some restrictions on the mappings.
Does this go any deeper? Are there identities one can get from a self-similarity property of a class of objects?
9 October, 2007 at 6:34 pm
Scott David Kelly
I’m just not convinced…
http://rjmason.blogspot.com/2007/04/with-many-cheerful-facts-about-square.html
10 October, 2007 at 7:23 am
derek hacon
Surely the point of Pythagoras is that, although it´s so obvious intuitively (e.g. via the arguments given in various posts), deducing it rigourously from axioms for euclidean geometry seems to be a waste of energy. The classical way of getting around the problem was, of course, to replace all those charming axioms by the notion of euclidean distance, thus turning Pythagoras into a definition (of distance) rather than a theorem.
11 October, 2007 at 4:27 pm
Doug
Hi Terence,
I am speculating the following:
Consider constructing this 2D geometric representation that appears to unify concepts of Pythagoras, Archimedes, Newton and Einstein:
An [obtainable?] ideal of E=mc^2 [from Einstein] when m=1:
At the origin (0,0), construct a circle with a radius representing c as a vector.
All rays from the origin may be considered as vectors of c.
Focus only upon the x and y axes.
In all four quadrants, draw the hypotenuse from the end of each vector c on the x to the y axis, to construct a circumscribed square.
Note that each hypotenuse is equal to c*2^(1/2) from Pythagoras.
Each hypotenuse may represent a scalar relative speed.
Circumscribe the original circle within a square where both the x and y axes bisect the edges, each of length 2c, of this square.
This is a step in how Archimedes attempted to determine the value of PI by maximizing the perimeter of a regular polygon within and minimizing the perimeter of a regular polygon outside the circle.
In Newton’s equation: F=ma=(1/2)mv^2
From the above construction, with m=1: (1/2)*(c*2^(1/2))^2=c^2.
This is apparently the energy E obtained by Einstein when m=1.
Yet the maximum relative speed from -x to x or -y to y is 2c.
If Einstein had used this value then maybe E would equal 4c^2.
This appears to suggest that c may be “constant extrema” rather than merely a constant.
The constructions allow for these areas:
square c^2 < square 2*c^2 < circle 2*PI*c^2 < square (2c)^2=4c^2
Please correct any errors.
13 October, 2007 at 7:43 am
piyushdadriwala
i am piyush dadriwala,very creative ,i have done some new search in maths,a new theorum on right angle triange,a new formula and table for two digits,workon pascal triangle and get a unique method (equation),through pyramid.
piyushdadriwala
13 October, 2007 at 12:34 pm
Jonathan Vos Post
This is the only theorem a proof of which was published by a President of the United States. By the way, Jimmy Carter’s Command Thesis at Naval Postgraduate School (roughly equivalent to a M.S., and gave him the right to command a naval vessel, when he had seniority) used Laplace transforms correctly. When JFK had a dinner for top scientists, it was said that this was the greatest scientific dinner at the White House — since Jefferson dined alone. How far we’ve fallen to the anti-scientist Bush. Harding published a wonderful translation of Agricola’s De Rerum Metallica, but that was mostly qualitative. Other countries have had Mathematicians in high and top office; unlikely ever again in the USA.
15 October, 2007 at 3:04 am
Pagina lu’ Nicu » Blog Archive » Insemnari Matematice
[…] Cei pasionati de matematica o sa aprecieze demonstratia: link. […]
15 October, 2007 at 8:26 pm
Dave Flanders
I am not a mathematician, but wandered onto this blog somewhat by accident. I know of a site which claims to have 75 proofs of the Pythagoras theorem (see link). I would be interested to hear from the “experts” how many of these proofs are actually unique. In any event, the site may be of interest to some of you.
http://www.cut-the-knot.org/pythagoras/index.shtml
17 October, 2007 at 5:04 pm
Michael Welford
The proof shown here has long been been my favorite. But the fact that the largest triangle is reflected compared to the smaller ones feels like a blemish. This has bothered me many for years now. I’ve seen other proofs that display triangles congruent to the ones in this proof, and always the smaller triangles share the same sense and the big one is reflected.
Is this big triangle reflected business the “issue regarding orientation” that you mention in your comment? If so could you expand on the issue?
Thank you for this post. I’ll be looking at rotation matrices to see if they can help me exorcise my reflection demon.
18 October, 2007 at 6:31 am
Terence Tao
Dear Michael,
I think the presence of the minus sign in the determinant formula
makes some sort of reflection or subtraction inevitable. Note that one can use arguments which do not involve reflection but instead involve subtraction, for instance the proof mentioned in Greg Kuperberg’s first comment. But I doubt that a “totally positive” proof exists, given how fundamental determinants are to the relevant geometry.
6 November, 2007 at 4:50 pm
jd2718
I saw a nice Euclidean proof today (sometimes called the “windmill”)
On right triangle ABC (rt angle at C) raise squares ACFG, BCHI, and ABDE. Construct perpendicular CK to DE, interesecting AB at J.
Note triangles EAC and BAG are congruent (SAS).
(EA and BA are sides of the same square. AC and AG are sides of the same square. Included angles are each a rt angle + angle BAC)
The area of EAC is half of rectangle AEKJ (common base, same altitude)
The area of BAG is half AGFC (common base, same altitude).
AGFC = AEKJ
The process can be repeated to show JKDB = BCHI, leadiing to Pythagoras (the sum of the squares equals the area of the two rectangles, which form the square of the hypotenuse.
Nothing fancier here than SAS.
8 November, 2007 at 8:20 am
Johan Richter
Here’s a nice presentation of Euclide’s elements where you can find the above proof, among other things: http://aleph0.clarku.edu/~djoyce/java/elements/toc.html
2 February, 2008 at 3:14 pm
A Parr
I don’t know where anyone would get the idea that Jimmy Carter was ever much of a nuclear engineer on any submarine in the Navy. I suppose you can create as he’s been known to do some very creative publicity seeking info. But for what it’s worth one source before me (Oct entry) said he went to the Navy Postgrad School. Actually, he went to Union College in N.Y., One source said he was on a nuclear submarine, the Seawolf. He left the Navy in 1953, the nuclear Seawolf was launched in 1957 and striken in 1997. If he grad from the Academy in1946 and left the Navy in 53. I sure didn’t see anyone trying to keep him in. I have 20 years in the Navy. 3 nuclear boats and 3 surface ships. Got a Masters in Advance Calculus and might have enough experience at sea, not in school to qualify for command.
4 February, 2008 at 6:01 am
Prokrastination oder Blogroll (I): Terence Tao at LEMUREN-Blog
[…] Satz des Pythagoras-theorem […]
5 February, 2008 at 2:23 am
Anonymous
When Jimmy Carter graduated Navy Postgraduate School, he had the equivalent of an M.S.
He’d written a Command Thesis. It granted him, on passing, the right to command a vessel when he had enough seniority (which he never did).
The thesis was about towed (by surface vessels or submarines) passive arrays of microphones, and the signal analysis thereof, and actually used either Laplace Transforms or Fourier Transforms (I forget which, but someone here should be able to supply the thesis date, title, and which of those it used).
Not a Nuclear Physicist (not counting being mentored by Hiram Rickover, Father of the Nuclear Navy, Jimmy took one single Intro to Nuclear Engineering course. Jimmy Carter was the closest we’ve had to a Scientist President since the great Thomas Jefferson, and the metallurgical and mining engineer Hoover, albeit he was not known for publishing Math.
Compare and contrast to the man who, in his first Presidential campaign, in debate, when challenged with clear and unambiguous arithmetic that exposed the bald lie that one can simultaneously cut taxes, boost military spending, and balance the budget, glibly dismissed the disproof as “Fuzzy math!”
I know this great blog by Terry Tao is NOT about politics, but at this point it is arithmetically significant that the misadventure in Iraq has cost several TRILLION dollars in amortized estimated real cost to the U.S. Economy. I mention that, because of this week’s White House Budget, the first to exceed $3 x 10^12, raises the “defense” budget to MORE THAN THAT OF EVERY OTHER NATION IN THE WORLD ADDED TOGETHER.
I don’t care if you vote Democrat, Republican, Independent, Socialist, Natural Law, or whatever fringe you want. And don’t go waving Arrow’s Theorem in my face. But shouldn’t the President of the United States actually have a clue about simple arithmetic, and should hire Cabinet officers some of whom know Algebra, Geometry, Calculus, and (one can hope) enough Differential Equations to follow the basic theorems in Mathematical Economics. Shouldn’t the Secretary of the Treasury understand Non-Gaussian Merton-Black-Scholes theory, the relationship between volatility and the spot asset’s price as important for explaining return skewness and strike-price biases in the Black- Scholes (1973) model, the Cox Call Option Valuation Models? As S. G. Kou has written [Computational Intelligence for Financial Engineering, 2000. (CIFEr) Proceedings of the IEEE/IAFE/INFORMS 2000 Conference on,
Publication Date: 2000
On page(s): 129-131]:
“Brownian motion and normal distribution have been widely used to study option pricing and the return of assets. Despite the successes of the Black-Scholes-Merton model based on Brownian motion and normal distribution, two puzzles which emerged from many empirical investigations, have had much attention recently: 1) the leptokurtic and asymmetric features; 2) the volatility smile. Much research has been conducted on modifying the Black-Scholes models to explain the two puzzles. To incorporate the leptokurtic and asymmetric features, a variety of models have been proposed. The article proposes a novel model which has three properties: 1) it has leptokurtic and asymmetric features, under which the return distribution of the assets has a higher peak and two heavier tails than the normal distribution, especially the left tail; 2) it leads to analytical solutions to many option pricing problems, including: call and put options, and options on futures; interest rate derivatives such as caplets, caps, and bond options; exotic options, such as perpetual American options, barrier and lookback options; 3) it can reproduce the ‘volatility smile'”
I’d rather see the Volatility Smile than ever again that smug dry-drunk draft-dodger smirk from the (thankfully last by him) State of the Union and Intersection Speech.
5 February, 2008 at 2:27 am
Jonathan Vos Post
Sorry, I forgot to sign the above, contrasting:
Jefferson, Thomas 1801-09
Hoover, Herbert 1929-33
Carter, Jimmy 1977-81
Bush, George W. 2001-09
And the word is Nuclear. Repeat after me. “Noo-cle-ar.” Not “nook-u-lar.”
*sigh*
5 February, 2008 at 1:46 pm
Geoffrey A. Landis
(some guy named A. Parr wrote):
I don’t know where anyone would get the idea that Jimmy Carter was
ever much of a nuclear engineer on any submarine in the Navy.
I have to admit to being baffled at A. Parr’s post, apparently in reply to Jonathan’s comment. Jonathan didn’t ever state that Jimmy Carter was a nuclear engineer on a submarine in the Navy, so why in the world is Parr so excited about rebutting something that wasn’t actually said?
Carter served on submarines (1), and he also served as a nuclear engineer (2). However, he did not serve as a nuclear engineer onboard a submarine.
(1)DEC 1948 – FEB 1951 — Duty aboard USS Pomfret (SS-391); FEB 1951 – NOV 1951 — Duty with Shipbuilding and Naval Inspector of Ordnance, Groton, CT as prospective Engineering Officer of the USS K-1; NOV 1951 – OCT 1952 — Duty aboard USS K-1
(2) 1952-1953, Duty with US Atomic Energy Commission (duty with Division of Reactor Development, duty with Naval Reactors Branch, US Atomic Energy Commission, Washington, D.C. “assisting in the design and development of nuclear propulsion plants for naval vessels.”
28 February, 2008 at 2:14 am
kc
There is a slight extension of the Generalized Pythagoras theorem
-flag in
as being spanned by the columns of an
real matrix
and let
denotes the
sub-determinant determined by the rows of
indexed by
,
which states that the square of the volume of the
-flag
mentioned by Greg Kuperberg earlier. If one represents a
then the Pythagoras theorem is
is the sum of squares of the volumes of the projections.
As usual, by de-symmetrizing one get
which follows from Cauchy-Binet ( http://en.wikipedia.org/wiki/Cauchy-Binet_formula ). But one
into the “inner product” to get
where
is the
minor of
which can be proved by
.
can generalize further by introducing an arbitrary “metric”
applying Cauchy-Binet twice:
8 March, 2008 at 10:05 am
Teorema di Pitagora « In teoria
[…] di Pitagora Leggo (in ritardo) questo interessante post di Terry Tao sul teorema di Pitagora. Mi è piaciuto tanto che lo riproduco qui […]
11 March, 2008 at 7:25 am
dsilvestre
Hi Terry!
I didn’t know in wich post to say this but…
Did you know that this week, on 14 March, it is pi day?
http://www.piday.org/
I’m trying to memorize some digits of pi. In youtube there are people who can tell hundreds of digits with the eyes closed.
I only know 10 decimal places by now: 3.1415926535…
How many decimals of pi do you know from memory?
14 March, 2008 at 4:51 am
Anonymous
Happy pi day!!
15 March, 2008 at 11:26 am
Giovanni V.
Hi Terry and everyone. I enjoy your blog. And i find it very interesting.
Someone mentioned the book of Logounov on (special!) relativity theory and Poincaré, Nedless to say, poincaré was a true genius but Einstein was not less, altough he wasn0t strong in pure math. I have read carefully the book of logunov and it’s ok, apart from the manifestly hate with Einstein fame. The summary of his work is: Einstein did not create special relativity so he’s not the genius other claims. But Logunov forget that the work of Einstein in special relativity was only two articles long and he did The General Theory which is the result of a true genious’s mind. Lest remember his contributions to early Quantum Mechanics and Statistical Mechanics of Brownian Motion. Indeed Logunov doesn’t believe the General Theory of Einstein is Right, and he has tried to formulate the own theory (without any success!). So be careful with the work of logunov…altough he is technically never wrong with the formulas derived from the work of Poincaré. But, let me say this. Einstein organized the work of Lorentz and Poincaré in a single beautiful article based on only two postulate! That’s what the real success of Einstein in 1905. But, I repeat, any thought of that great man was really exciting.
About general relativity:
Probably is right that Hilbert obtained the action for the gravitational field some days before Einstein, but nobody really honest could say that The General Theory of Relativity is an Hilbert creation!
Have fun
Giovanni
15 May, 2008 at 5:26 am
rose stonkey
I was feeling excited to see 75 proves on thr link but when i read all i don’t feel any of these is unique actually there are 75 comments & suggestions but not proofs
18 May, 2008 at 3:37 am
Elegant Proofs - 1 « Newton Excel Bach, not (just) an Excel Blog
[…] A different approach to this method is given at: Terence Tao […]
20 May, 2008 at 10:38 pm
Teorema de Pitágoras « problemas | teoremas
[…] ainda nesta entrada de Terence Tao e respectivos […]
6 January, 2009 at 9:59 pm
lalit warkde
watch any one of the links below to get the best explanation for pythagoras theorem
http://www.authorstream.com/Presentation/lalitwarkde-85464-pythagoras-theorem-mathematics-lalit-education-ppt-powerpoint/
7 March, 2011 at 11:49 pm
Nilotpal Sinha
Dear Prof. Tao
I think there is a typographical error in the line “while x and y are the areas of the right-angled triangles ADC and CDB respectively.” As per the diagram, x and y are the areas of CDB and ADC respectively instead of the reverse order.
[Corrected, thanks – T.]
Regarding the Pythagoras theorem, one of the most beautiful and non-trivial one is due to Dijkstra. You probably might already know it but I would like to post it just in case.
Theorem (Djikstra). If a, b, c are the sides a triangle and A, B and C are the respective opposite angles then sign(A + B – C) = sign(a² + b² – c²).
In a right triangle, A + B = 90 = C. Hence LHS is zero and this implies a² + b² = c². We have the Pythagoras Theorem as a special case of this simple looking theorem.
8 March, 2011 at 1:55 am
Nilotpal Sinha
Dear Prof. Tao,
In his monumental book Elements, Euclid has proved the following theorem.
Theorem. (Euclid). If one erects similar figures on the sides of a right triangle, then the sum of the areas of the two smaller ones equals the area of the larger one.
The beauty of Euclid’s theorem is that there is no restriction on the shape of figures erected along the sides of a right triangle as long as they are similar. This proof by Pérez-Marco is a special case of Euclid’s theorem where we have erected similar right triangles on the sides of a right triangle.
4 September, 2011 at 5:37 am
Luqing Ye
Pythagoras’ theorem is so basic.So its proof,the simpler,the better :)
4 September, 2011 at 5:40 am
Luqing Ye
And i think one basic proof is enough(like the one you mentioned), other “brilliant”,”amazing” proofs are not necesssary.
6 September, 2011 at 2:02 am
Anonymous
These are excellents mathematicans,Pythagoras,Terence Tao, and above all.
8 September, 2011 at 9:11 pm
Recent reading – Pythagoras’ Theorem « Linear Algebra
[…] I read a pretty old post of Prof Tao on Pythagoras’ Theorem. All of us know what Pythagoras’ theorem says, and the 1st part of Tao ‘s post gives a […]
17 May, 2013 at 7:48 am
Richard Palais
As has been mentioned, the proof you give Terry (which is definitely my own favorite), is often attributed to Einstein. In fact, Einstein attributes it to himself ! In his autobiography he says he discovered it at age twelve when his uncle told him about the theorem.
29 May, 2013 at 10:21 pm
Mustafa Said
Recently, I have found a way to generate a family of normal matrices with integer entries using Pythagorean triples. The construction may be new, as I have not been able to find it in the literature. If anyone is interested, I can send you my note.
26 August, 2013 at 5:12 am
Colin McLarty
The earliest recorded use of the Pythagorean theorem in a proof to my knowledge (by far not the earliest hint that people knew the theorem) suggests this is the proof Hippocrates of Chios used in the 5th century BCE. He uses the theorem not for squares but for segments of circles cut off by the sides of an isoceles right triangle, to prove his famous theorem on areas of lunes, which suggests he saw it as bascially a theorem on scaling arbitrary figures. See http://en.wikipedia.org/wiki/Lune_of_Hippocrates
26 August, 2013 at 8:16 am
sushma sharma
A pythagoras triplet represents the lengths of the sides of a right triangle where all three sides have integer length..!!
14 November, 2013 at 3:04 pm
Shay Ben Moshe
I find this proof wonderful, however I think that using the fact that the determinant of a rotation matrix is 1 is circular, because we use the identity $sin^2(x)+cos^2(x)=1$, which follows from the Pythagoras’ theorem.
A solution might be stating that this matrix take one orthonormal basis to another, and therefore the matrix is orthonormal, and thus its determinant is 1.
21 November, 2013 at 2:09 am
Nice proofs of Pythagoras’ theorem | mathbeauty
[…] Pythagoras’ theorem | What’s new. […]
19 January, 2015 at 12:17 am
Pythagoras’ theorem | Cassandra Lee Yieng
[…] So we have Pythagoras’ Theorem: in a right-angled triangle, adding up the squares of the two shortest sides gives the square of the longest one. Terence Tao posted an intuitive proof here. […]
3 March, 2015 at 10:40 pm
Cliff
Interesting extensions of Pythagoras theorem.
Bet you didn’t know this about Pythagoras.
4 March, 2015 at 3:23 am
Anonymous
To find all Pythagorean triples
with consecutive
, let
and observe that
One can verify that the solution of this (Pell’s) equation (for the n-th such triple) is given by
Which implies (for the n-th such triple) the simple formula
Showing asymptotically geometric growth of the solutions
with (asymptotic) ratio
.
The first few solutions are:
with corresponding Pythagorean triples solutions
30 April, 2015 at 7:11 pm
A more motivated proof of the Pythagorean theorem | Daniel McLaury's Mathematical Diary
[…] Pythagoras’s theorem | What’s New […]
14 July, 2016 at 12:13 am
Anonymous
I wish you had explained it well instead of being elusive.
9 January, 2017 at 9:24 am
Anonymous
The differentials in Pi and Pythagoras are all same only look different…, the order of all is founded in One…..
13 September, 2020 at 11:23 pm
Kevin
Here is an interesting proof involving dividing a triangle into infinitely many smaller triangles and using infinite geometric series:
https://ibtaskmaker.com/maker.php?q1=618
14 September, 2020 at 10:48 am
Anonymous
Is the Euclidean norm in R^2 the only norm which is invariant under a positive dimensional group of linear transformation?
16 September, 2020 at 6:32 am
Terence Tao
Up to a linear change of coordinates, yes (this follows from the classification of one-dimensional Lie subgroups of
, which arise from applying the exponential to one-dimensional Lie subalgebras of
and ruling out those groups that are non-compact; one can also use Weyl’s unitary trick). If one allows degenerate metrics or pseudometrics then one also has the Galilean semimetric
and the Lorentz pseudometrics
, and linear transforms thereof (cf. the classification of elements of
into elliptic, parabolic, and hyperbolic elements).