Trigonometry 
Reference 
List of identities 
Laws & Theorems 
Law of sines 
Calculus 
Trigonometric substitution 
In mathematics, the Pythagorean theorem (in American English) or Pythagoras' theorem (in British English) is a relation in Euclidean geometry among the three sides of a right triangle (rightangled triangle in British English). It states:
In any right triangle, the area of the square whose side is the hypotenuse (the side opposite the right angle) is equal to the sum of the areas of the squares whose sides are the two legs (the two sides that meet at a right angle).
The theorem can be written as an equation:
where c represents the length of the hypotenuse, and a and b represent the lengths of the other two sides.
The Pythagorean theorem is named after the Greek mathematician Pythagoras, who by tradition is credited with its discovery and proof,^{[1]} although it is often argued that knowledge of the theory predates him. (There is much evidence that Babylonian mathematicians understood the principle, if not the mathematical significance.)
Contents 
If we let c be the length of the hypotenuse and a and b be the lengths of the other two sides, the theorem can be expressed as the equation:
or, solved for c:
If c is already given, and the length of one of the legs must be found, the following equations (which are corollaries of the first) can be used:
or
This equation provides a simple relation among the three sides of a right triangle so that if the lengths of any two sides are known, the length of the third side can be found. A generalization of this theorem is the law of cosines, which allows the computation of the length of the third side of any triangle, given the lengths of two sides and the size of the angle between them. If the angle between the sides is a right angle it reduces to the Pythagorean theorem.
This is a theorem that may have more known proofs than any other (the law of quadratic reciprocity being also a contender for that distinction); the book Pythagorean Proposition, by Elisha Scott Loomis, contains 367 proofs.
Like most of the proofs of the Pythagorean theorem, this one is based on the proportionality of the sides of two similar triangles.
Let ABC represent a right triangle, with the right angle located at C, as shown on the figure. We draw the altitude from point C, and call H its intersection with the side AB. The new triangle ACH is similar to our triangle ABC, because they both have a right angle (by definition of the altitude), and they share the angle at A, meaning that the third angle will be the same in both triangles as well. By a similar reasoning, the triangle CBH is also similar to ABC. The similarities lead to the two ratios:
These can be written as
Summing these two equalities, we obtain
In other words, the Pythagorean theorem:
In Euclid's Elements, Proposition 47 of Book 1, the Pythagorean theorem is proved by an argument along the following lines. Let A, B, C be the vertices of a right triangle, with a right angle at A. Drop a perpendicular from A to the side opposite the hypotenuse in the square on the hypotenuse. That line divides the square on the hypotenuse into two rectangles, each having the same area as one of the two squares on the legs.
For the formal proof, we require four elementary lemmata:
The intuitive idea behind this proof, which can make it easier to follow, is that the top squares are morphed into parallelograms with the same size, then turned and morphed into the left and right rectangles in the lower square, again at constant area.^{[2]}
The proof is as follows:
This proof appears in Euclid's Elements as that of Proposition 1.47.^{[3]}
James A. Garfield (later President of the United States) is credited with a novel algebraic proof:^{[4]}
The area of a trapezoid is
where h is the height, and s_{1} and s_{2} are lengths of the parallel sides.
So the area of the trapezoid in the figure is
While Triangle 1 and triangle 2 each have area .
And triangle 3 has area , and it is half of the square on the hypotenuse.
Then the Area of trapezoid is
The two areas must be equal, so
Therefore the square on the hypotenuse = the sum of the squares on the other two sides:
In this proof, the square on the hypotenuse plus four copies of the triangle can be assembled into the same shape as the squares on the other two sides plus four copies of the triangle. This proof is recorded from China.^{[citation needed]}
From the same diagram as that in Euclid's proof above, we can see three similar figures, each being "a square with a triangle on top". Since the large triangle is made of the two smaller triangles, its area is the sum of areas of the two smaller ones. By similarity, the three squares are in the same proportions relative to each other as the three triangles, and so likewise the area of the larger square is the sum of the areas of the two smaller squares.
A proof by rearrangement is given by the illustration and the animation. In the illustration, the area of each large square is (a + b)^{2}. In both, the area of four identical triangles is removed. The remaining areas, a^{2} + b^{2} and c^{2}, are equal. Q.E.D.
This proof is indeed very simple, but it is not elementary, in the sense that it does not depend solely upon the most basic axioms and theorems of Euclidean geometry. In particular, while it is quite easy to give a formula for area of triangles and squares, it is not as easy to prove that the area of a square is the sum of areas of its pieces. In fact, proving the necessary properties is harder than proving the Pythagorean theorem itself (see Lebesgue measure and BanachTarski paradox). Actually, this difficulty affects all simple Euclidean proofs involving area; for instance, deriving the area of a right triangle involves the assumption that it is half the area of a rectangle with the same height and base. For this reason, axiomatic introductions to geometry usually employ another proof based on the similarity of triangles (see above).
A third graphic illustration of the Pythagorean theorem (in yellow and blue to the right) fits parts of the sides' squares into the hypotenuse's square. A related proof would show that the repositioned parts are identical with the originals and, since the sum of equals are equal, that the corresponding areas are equal. To show that a square is the result one must show that the length of the new sides equals c. Note that for this proof to work, one must provide a way to handle cutting the small square in more and more slices as the corresponding side gets smaller and smaller.^{[6]}
An algebraic variant of this proof is provided by the following reasoning. Looking at the illustration which is a large square with identical right triangles in its corners, the area of each of these four triangles is given by an angle corresponding with the side of length C.
The Aside angle and Bside angle of each of these triangles are complementary angles, so each of the angles of the blue area in the middle is a right angle, making this area a square with side length C. The area of this square is C^{2}. Thus the area of everything together is given by:
However, as the large square has sides of length A + B, we can also calculate its area as (A + B)^{2}, which expands to A^{2} + 2AB + B^{2}.
One can arrive at the Pythagorean theorem by studying how changes in a side produce a change in the hypotenuse in the following diagram and employing a little calculus.^{[7]}
As a result of a change da in side a,
by similarity of triangles and for differential changes. So
upon separation of variables.
which results from adding a second term for changes in side b.
Integrating gives
When a = 0 then c = b, so the "constant" is b^{2}. So
As can be seen, the squares are due to the particular proportion between the changes and the sides while the sum is a result of the independent contributions of the changes in the sides which is not evident from the geometric proofs. From the proportion given it can be shown that the changes in the sides are inversely proportional to the sides. The differential equation suggests that the theorem is due to relative changes and its derivation is nearly equivalent to computing a line integral.
These quantities da and dc are respectively infinitely small changes in a and c. But we use instead real numbers Δa and Δc, then the limit of their ratio as their sizes approach zero is da/dc, the derivative, and also approaches c/a, the ratio of lengths of sides of triangles, and the differential equation results.
The converse of the theorem is also true:
For any three positive numbers a, b, and c such that a^{2} + b^{2} = c^{2}, there exists a triangle with sides a, b and c, and every such triangle has a right angle between the sides of lengths a and b.
This converse also appears in Euclid's Elements. It can be proven using the law of cosines (see below under Generalizations), or by the following proof:
Let ABC be a triangle with side lengths a, b, and c, with a^{2} + b^{2} = c^{2}. We need to prove that the angle between the a and b sides is a right angle. We construct another triangle with a right angle between sides of lengths a and b. By the Pythagorean theorem, it follows that the hypotenuse of this triangle also has length c. Since both triangles have the same side lengths a, b and c, they are congruent, and so they must have the same angles. Therefore, the angle between the side of lengths a and b in our original triangle is a right angle.
A corollary of the Pythagorean theorem's converse is a simple means of determining whether a triangle is right, obtuse, or acute, as follows. Where c is chosen to be the longest of the three sides:
A Pythagorean triple has three positive integers a, b, and c, such that a^{2} + b^{2} = c^{2}. In other words, a Pythagorean triple represents the lengths of the sides of a right triangle where all three sides have integer lengths. Evidence from megalithic monuments on the Northern Europe shows that such triples were known before the discovery of writing. Such a triple is commonly written (a, b, c). Some wellknown examples are (3, 4, 5) and (5, 12, 13).
(3, 4, 5), (5, 12, 13), (7, 24, 25), (8, 15, 17), (9, 40, 41), (11, 60, 61), (12, 35, 37), (13, 84, 85), (16, 63, 65), (20, 21, 29), (28, 45, 53), (33, 56, 65), (36, 77, 85), (39, 80, 89), (48, 55, 73), (65, 72, 97)
One of the consequences of the Pythagorean theorem is that incommensurable lengths (ie. their ratio is irrational number), such as the square root of 2, can be constructed. A right triangle with legs both equal to one unit has hypotenuse length square root of 2. The proof that the square root of 2 is irrational was contrary to the longheld belief that everything was rational. According to legend, Hippasus, who first proved the irrationality of the square root of two, was drowned at sea as a consequence.^{[8]}
The distance formula in Cartesian coordinates is derived from the Pythagorean theorem. If (x_{0}, y_{0}) and (x_{1}, y_{1}) are points in the plane, then the distance between them, also called the Euclidean distance, is given by
More generally, in Euclidean nspace, the Euclidean distance between two points, and , is defined, using the Pythagorean theorem, as:
The Pythagorean theorem was generalized by Euclid in his Elements:
If one erects similar figures (see Euclidean geometry) 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 Pythagorean theorem is a special case of the more general theorem relating the lengths of sides in any triangle, the law of cosines:
Given two vectors v and w in a complex inner product space, the Pythagorean theorem takes the following form:
In particular, v + w^{2} = v^{2} + w^{2} if v and w are orthogonal, although the converse is not necessarily true.
Using mathematical induction, the previous result can be extended to any finite number of pairwise orthogonal vectors. Let v_{1}, v_{2}, ..., v_{n} be vectors in an inner product space such that <v_{i}, v_{j}> = 0 for 1 ≤ i < j ≤ n. Then
The generalization of this result to infinitedimensional real inner product spaces is known as Parseval's identity.
When the theorem above about vectors is rewritten in terms of solid geometry, it becomes the following theorem. If lines AB and BC form a right angle at B, and lines BC and CD form a right angle at C, and if CD is perpendicular to the plane containing lines AB and BC, then the sum of the squares of the lengths of AB, BC, and CD is equal to the square of AD. The proof is trivial.
Another generalization of the Pythagorean theorem to three dimensions is de Gua's theorem, named for Jean Paul de Gua de Malves: If a tetrahedron has a right angle corner (a corner like a cube), then the square of the area of the face opposite the right angle corner is the sum of the squares of the areas of the other three faces.
There are also analogs of these theorems in dimensions four and higher.
In a triangle with three acute angles, α + β > γ holds. Therefore, a^{2} + b^{2} > c^{2}.
In a triangle with an obtuse angle, α + β < γ holds. Therefore, a^{2} + b^{2} < c^{2}.
Edsger Dijkstra has stated this proposition about acute, right, and obtuse triangles in this language:
where α is the angle opposite to side a, β is the angle opposite to side b and γ is the angle opposite to side c.^{[9]}
The Pythagorean theorem is derived from the axioms of Euclidean geometry, and in fact, the Euclidean form of the Pythagorean theorem given above does not hold in nonEuclidean geometry. (It has been shown in fact to be equivalent to Euclid's Parallel (Fifth) Postulate.) For example, in spherical geometry, all three sides of the right triangle bounding an octant of the unit sphere have length equal to ; this violates the Euclidean Pythagorean theorem because .
This means that in nonEuclidean geometry, the Pythagorean theorem must necessarily take a different form from the Euclidean theorem. There are two cases to consider — spherical geometry and hyperbolic plane geometry; in each case, as in the Euclidean case, the result follows from the appropriate law of cosines:
For any right triangle on a sphere of radius R, the Pythagorean theorem takes the form
This equation can be derived as a special case of the spherical law of cosines. By using the Maclaurin series for the cosine function, it can be shown that as the radius R approaches infinity, the spherical form of the Pythagorean theorem approaches the Euclidean form.
For any right triangle in the hyperbolic plane (with Gaussian curvature −1), the Pythagorean theorem takes the form
where cosh is the hyperbolic cosine. By using the Maclaurin series for the hyperbolic cosine, , it can be shown that as a hyperbolic triangle becomes very small (i.e., as a, b, and c all approach zero), the hyperbolic form of the Pythagorean theorem approaches the Euclidean form.
The Pythagoras formula is used to find the distance between two points in the Cartesian coordinate plane, and is valid if all coordinates are real: the distance between the points (a, b) and (c, d) is √((a − c)^{2} + (b − d)^{2}). With complex coordinates, this formula breaks down, e.g. the distance between the points {0,1} and {i,0} would work out as 0, resulting in a reductio ad absurdum. This is because this formula depends on Pythagoras's theorem, which in all its proofs depends on areas, and areas of triangles and other geometrical figures depend on the edge lines of these figures separating an inside from an outside, which does not happen if the coordinates can be complex.
Instead, for the distance between the points (a, b) and (c, d) it is usual to use:
where is the complex conjugate of z. For example, the distance between the points (0, 1) and (i, 0) would work out as 0 if complex conjugates were not taken. But the distance is
The history of the theorem can be divided into four parts: knowledge of Pythagorean triples, knowledge of the relationship among the sides of a right triangle, knowledge of the relationships among adjacent angles, and proofs of the theorem.
Megalithic monuments from circa 2500 BC in Egypt, and in Northern Europe, incorporate right triangles with integer sides.^{[10]} Bartel Leendert van der Waerden conjectures that these Pythagorean triples were discovered algebraically.^{[11]}
Written between 2000 and 1786 BC, the Middle Kingdom Egyptian papyrus Berlin 6619 includes a problem whose solution is a Pythagorean triple.
The Mesopotamian tablet Plimpton 322, written between 1790 and 1750 BC during the reign of Hammurabi the Great, contains many entries closely related to Pythagorean triples.
The Baudhayana Sulba Sutra, the dates of which are given variously as between the 8th century BC and the 2nd century BC, in India, contains a list of Pythagorean triples discovered algebraically, a statement of the Pythagorean theorem, and a geometrical proof of the Pythagorean theorem for an isosceles right triangle.
The Apastamba Sulba Sutra (circa 600 BC) contains a numerical proof of the general Pythagorean theorem, using an area computation. Van der Waerden believes that "it was certainly based on earlier traditions". According to Albert Bŭrk, this is the original proof of the theorem; he further theorizes that Pythagoras visited Arakonam, India, and copied it.
Pythagoras, whose dates are commonly given as 569–475 BC, used algebraic methods to construct Pythagorean triples, according to Proklos's commentary on Euclid. Proklos, however, wrote between 410 and 485 AD. According to Sir Thomas L. Heath, there was no attribution of the theorem to Pythagoras for five centuries after Pythagoras lived. However, when authors such as Plutarch and Cicero attributed the theorem to Pythagoras, they did so in a way which suggests that the attribution was widely known and undoubted.^{[1]}
Around 400 BC, according to Proklos, Plato gave a method for finding Pythagorean triples that combined algebra and geometry. Circa 300 BC, in Euclid's Elements, the oldest extant axiomatic proof of the theorem is presented.
Written sometime between 500 BC and 200 AD, the Chinese text Chou Pei Suan Ching (周髀算经), (The Arithmetical Classic of the Gnomon and the Circular Paths of Heaven) gives a visual proof of the Pythagorean theorem — in China it is called the "Gougu Theorem" (勾股定理) — for the (3, 4, 5) triangle. During the Han Dynasty, from 202 BC to 220 AD, Pythagorean triples appear in The Nine Chapters on the Mathematical Art, together with a mention of right triangles.^{[12]}
The first recorded use is in China (where it is alternately known as the "Shang Gao Theorem" (商高定理), named after the Duke of Zhou's astrologer, and described in the mathematical collection Zhou Bi Suan Jing) and in India, where it is known as the Bhaskara Theorem.
There is much debate on whether the Pythagorean theorem was discovered once or many times. Boyer (1991) thinks the elements found in the Shulba Sutras may be of Mesopotamian derivation.^{[13]}
The Pythagorean theorem has been referenced in a variety of mass media throughout history.
The Pythagorean Theorem is an important mathematical theorem that explains the final side of a right triangle when two sides are known. The theorem is A^{2} + B^{2} = C^{2}. This is simply put leq squared plus leg squared eqauals hypotenuse squared.
Contents 
Named after Pythagoras, from Ancient Greek Πυθαγόρας (Pythagoras), Greek mathematician and philosopher who by tradition is credited with theorem’s discovery and proof.
Singular 
Plural 
Pythagorean theorem (uncountable)


In mathematics, the Pythagorean theorem or Pythagoras' theorem is a statement about the sides of a right triangle.
One of the angles of a right triangle is always equal to 90 degrees. This angle is the right angle. The two sides next to the right angle are called the legs and the other side is called the hypotenuse. The hypotenuse is the side opposite to the right angle, and it is always the longest side.
The Pythagorean theorem says that the area of a square on the hypotenuse is equal to the sum of the areas of the squares on the legs. In this picture, the area of the blue square added to the area of the red square makes the area of the purple square. It was named after the Greek mathematician Pythagoras:
If the lengths of the legs are a and b, and the length of the hypotenuse is c, then, $a^2+b^2=c^2$.
There are many different proofs of this theorem. They fall into four categories:
For the proof by Eudoxus of Cnidus, see: Pythagorean theorem/proof.
= [[File:borderright]]
From the image $c\; =\; d\; +\; e\; \backslash ,\backslash !$. And by replacing equations (1) and (2):
Multiplying for c:
Pythagorean Triples are three whole numbers which meet the equation $a^2+b^2=c^2$.
One well known example is the 345 triangle: if a=3 and b=4, $3^2+4^2=5^2$ or $9+16=25$. This can also be shown as $\backslash sqrt\{3^2+4^2\}=5$
The threefourfive triangle works for any multiples of 3, 4, and 5; such as 6, 8, and 10; or 30, 40 and 50. Another, lessoften used example is the 12513 triangle. $\backslash sqrt\{12^2+5^2\}=13$
