Thales's theorem

Thales's theorem For the theorem sometimes called Thales' theorem and pertaining to similar triangles, see intercept theorem. Thales’ theorem: if AC is a diameter and B is a point on the diameter's circle, the angle ABC is a right angle.

In geometry, Thales's theorem states that if A, B, and C are distinct points on a circle where the line AC is a diameter, the angle ABC is a right angle. Thales's theorem is a special case of the inscribed angle theorem and is mentioned and proved as part of the 31st proposition in the third book of Euclid's Elements.[1] It is generally attributed to Thales of Miletus, but it is sometimes attributed to Pythagoras.

Contents 1 History 2 Proof 2.1 First proof 2.2 Second proof 2.3 Third proof 3 Converse 3.1 Proof of the converse using geometry 3.2 Alternate proof of the converse using geometry 3.3 Proof of the converse using linear algebra 4 Generalizations and related results 5 Application 6 See also 7 Notes 8 References 9 External links History Non si est dare primum motum esse o se del mezzo cerchio far si puote triangol sì c'un recto nonauesse.

– Dante's Paradiso, Canto 13, lines 100–102 Non si est dare primum motum esse, Or if in semicircle can be made Triangle so that it have no right angle.

– English translation by Henry Wadsworth Longfellow There is nothing extant of the writing of Thales. Work done in ancient Greece tended to be attributed to men of wisdom without respect to all the individuals involved in any particular intellectual constructions; this is true of Pythagoras especially. Attribution did tend to occur at a later time.[2] Reference to Thales was made by Proclus, and by Diogenes Laërtius documenting Pamphila's statement that Thales[3] "was the first to inscribe in a circle a right-angle triangle".

Indian and Babylonian mathematicians knew this for special cases before Thales proved it.[4] It is believed that Thales learned that an angle inscribed in a semicircle is a right angle during his travels to Babylon.[5] The theorem is named after Thales because he was said by ancient sources to have been the first to prove the theorem, using his own results that the base angles of an isosceles triangle are equal, and that the sum of angles of a triangle is equal to 180°.

Dante's Paradiso (canto 13, lines 101–102) refers to Thales's theorem in the course of a speech.

Proof First proof The following facts are used: the sum of the angles in a triangle is equal to 180° and the base angles of an isosceles triangle are equal.

Provided AC is a diameter, angle at B is constant right (90°).

Figure for the proof.

Since OA = OB = OC, ∆OBA and ∆OBC are isosceles triangles, and by the equality of the base angles of an isosceles triangle, ∠OBC = ∠OCB and ∠OBA = ∠OAB.

Let α = ∠BAO and β = ∠OBC. The three internal angles of the ∆ABC triangle are α, (α + β), and β. Since the sum of the angles of a triangle is equal to 180°, we have {displaystyle alpha +left(alpha +beta right)+beta =180^{circ }} {displaystyle 2alpha +2beta =180^{circ }} {displaystyle 2(alpha +beta )=180^{circ }} {displaystyle therefore alpha +beta =90^{circ }.} Q.E.D.

Second proof The theorem may also be proven using trigonometry: Let {displaystyle O=(0,0)} , {displaystyle A=(-1,0)} , and {displaystyle C=(1,0)} . Then B is a point on the unit circle {displaystyle (cos theta ,sin theta )} . We will show that ∆ABC forms a right angle by proving that AB and BC are perpendicular — that is, the product of their slopes is equal to −1. We calculate the slopes for AB and BC: {displaystyle m_{AB}={frac {y_{B}-y_{A}}{x_{B}-x_{A}}}={frac {sin theta }{cos theta +1}}} and {displaystyle m_{BC}={frac {y_{B}-y_{C}}{x_{B}-x_{C}}}={frac {sin theta }{cos theta -1}}} Then we show that their product equals −1: {displaystyle {begin{aligned}&m_{AB}cdot m_{BC}\[8pt]={}&{frac {sin theta }{cos theta +1}}cdot {frac {sin theta }{cos theta -1}}\[8pt]={}&{frac {sin ^{2}theta }{cos ^{2}theta -1}}\[8pt]={}&{frac {sin ^{2}theta }{-sin ^{2}theta }}\[8pt]={}&{-1}end{aligned}}} Note the use of the Pythagorean trigonometric identity {displaystyle sin ^{2}theta +cos ^{2}theta =1} .

Third proof Thales's theorem and reflections Let {displaystyle ABC} be a triangle in a circle where {displaystyle AB} is a diameter in that circle. Then construct a new triangle {displaystyle ABD} by mirroring triangle {displaystyle ABC} over the line {displaystyle AB} and then mirroring it again over the line perpendicular to {displaystyle AB} which goes through the center of the circle. Since lines {displaystyle AC} and {displaystyle BD} are parallel, likewise for {displaystyle AD} and {displaystyle CB} , the quadrilateral {displaystyle ACBD} is a parallelogram. Since lines {displaystyle AB} and {displaystyle CD} , the diagonals of the parallelogram, are both diameters of the circle and therefore have equal length, the parallelogram must be a rectangle. All angles in a rectangle are right angles.

Converse For any triangle, and, in particular, any right triangle, there is exactly one circle containing all three vertices of the triangle. (Sketch of proof. The locus of points equidistant from two given points is a straight line that is called the perpendicular bisector of the line segment connecting the points. The perpendicular bisectors of any two sides of a triangle intersect in exactly one point. This point must be equidistant from the vertices of the triangle.) This circle is called the circumcircle of the triangle.

One way of formulating Thales's theorem is: if the center of a triangle's circumcircle lies on the triangle then the triangle is right, and the center of its circumcircle lies on its hypotenuse.

The converse of Thales's theorem is then: the center of the circumcircle of a right triangle lies on its hypotenuse. (Equivalently, a right triangle's hypotenuse is a diameter of its circumcircle.) Proof of the converse using geometry Figure for the proof of the converse This proof consists of 'completing' the right triangle to form a rectangle and noticing that the center of that rectangle is equidistant from the vertices and so is the center of the circumscribing circle of the original triangle, it utilizes two facts: adjacent angles in a parallelogram are supplementary (add to 180°) and, the diagonals of a rectangle are equal and cross each other in their median point.

Let there be a right angle ∠ABC, r a line parallel to BC passing by A and s a line parallel to AB passing by C. Let D be the point of intersection of lines r and s (Note that it has not been proven that D lies on the circle) The quadrilateral ABCD forms a parallelogram by construction (as opposite sides are parallel). Since in a parallelogram adjacent angles are supplementary (add to 180°) and ∠ABC is a right angle (90°) then angles ∠BAD, ∠BCD, and ∠ADC are also right (90°); consequently ABCD is a rectangle.

Let O be the point of intersection of the diagonals AC and BD. Then the point O, by the second fact above, is equidistant from A, B, and C. And so O is center of the circumscribing circle, and the hypotenuse of the triangle (AC) is a diameter of the circle.

Alternate proof of the converse using geometry Given a right triangle ABC with hypotenuse AC, construct a circle Ω whose diameter is AC. Let O be the center of Ω. Let D be the intersection of Ω and the ray OB. By Thales's theorem, ∠ADC is right. But then D must equal B. (If D lies inside ∆ABC, ∠ADC would be obtuse, and if D lies outside ∆ABC, ∠ADC would be acute.) Proof of the converse using linear algebra This proof utilizes two facts: two lines form a right angle if and only if the dot product of their directional vectors is zero, and the square of the length of a vector is given by the dot product of the vector with itself.

Let there be a right angle ∠ABC and circle M with AC as a diameter. Let M's center lie on the origin, for easier calculation. Then we know A = − C, because the circle centered at the origin has AC as diameter, and (A − B) · (B − C) = 0, because ∠ABC is a right angle.

It follows 0 = (A − B) · (B − C) = (A − B) · (B + A) = |A|2 − |B|2.

Hence: |A| = |B|.

This means that A and B are equidistant from the origin, i.e. from the center of M. Since A lies on M, so does B, and the circle M is therefore the triangle's circumcircle.

The above calculations in fact establish that both directions of Thales's theorem are valid in any inner product space.

Generalizations and related results Thales's theorem is a special case of the following theorem: Given three points A, B and C on a circle with center O, the angle ∠AOC is twice as large as the angle ∠ABC.

See inscribed angle, the proof of this theorem is quite similar to the proof of Thales's theorem given above.

A related result to Thales's theorem is the following: If AC is a diameter of a circle, then: If B is inside the circle, then ∠ABC > 90° If B is on the circle, then ∠ABC = 90° If B is outside the circle, then ∠ABC < 90°. Application Constructing a tangent using Thales's theorem. Thales's theorem can be used to construct the tangent to a given circle that passes through a given point. In the figure at right, given circle k with centre O and the point P outside k, bisect OP at H and draw the circle of radius OH with centre H. OP is a diameter of this circle, so the triangles connecting OP to the points T and T′ where the circles intersect are both right triangles. Geometric method to find {displaystyle {sqrt {p}}} using the geometric mean theorem {displaystyle h={sqrt {pq}}} with {displaystyle q=1} Thales's theorem can also be used to find the centre of a circle using an object with a right angle, such as a set square or rectangular sheet of paper larger than the circle.[6] The angle is placed anywhere on its circumference (figure 1). The intersections of the two sides with the circumference define a diameter (figure 2). Repeating this with a different set of intersections yields another diameter (figure 3). The centre is at the intersection of the diameters. Illustration of the use of Thales's theorem and a right angle to find the centre of a circle See also Synthetic geometry Inverse Pythagorean theorem Notes ^ Heath, Thomas L. (1956). The thirteen books of Euclid's elements. New York, NY [u.a.]: Dover Publ. p. 61. ISBN 0486600890. ^ Allen, G. Donald (2000). "Thales of Miletus" (PDF). Retrieved 2012-02-12. ^ Patronis, T.; Patsopoulos, D. The Theorem of Thales: A Study of the naming of theorems in school Geometry textbooks. Patras University. Retrieved 2012-02-12. ^ de Laet, Siegfried J. (1996). History of Humanity: Scientific and Cultural Development. UNESCO, Volume 3, p. 14. ISBN 92-3-102812-X ^ Boyer, Carl B. and Merzbach, Uta C. (2010). A History of Mathematics. John Wiley and Sons, Chapter IV. ISBN 0-470-63056-6 ^ Resources for Teaching Mathematics: 14–16 Colin Foster References Agricola, Ilka; Friedrich, Thomas (2008). Elementary Geometry. AMS. p. 50. ISBN 978-0-8218-4347-5. (restricted online copy, p. 50, at Google Books) Heath, T.L. (1921). A History of Greek Mathematics: From Thales to Euclid. Vol. I. Oxford. pp. 131ff. External links Weisstein, Eric W. "Thales' Theorem". MathWorld. Munching on Inscribed Angles Thales's theorem explained, with interactive animation Demos of Thales's theorem by Michael Schreiber, The Wolfram Demonstrations Project. hide vte Ancient Greek and Hellenistic mathematics (Euclidean geometry) Mathematicians (timeline) AnaxagorasAnthemiusArchytasAristaeus the ElderAristarchusApolloniusArchimedesAutolycusBionBrysonCallippusCarpusChrysippusCleomedesCononCtesibiusDemocritusDicaearchusDioclesDiophantusDinostratusDionysodorusDomninusEratosthenesEudemusEuclidEudoxusEutociusGeminusHeliodorusHeronHipparchusHippasusHippiasHippocratesHypatiaHypsiclesIsidore of MiletusLeonMarinusMenaechmusMenelausMetrodorusNicomachusNicomedesNicotelesOenopidesPappusPerseusPhilolausPhilonPhilonidesPorphyryPosidoniusProclusPtolemyPythagorasSerenus SimpliciusSosigenesSporusThalesTheaetetusTheanoTheodorusTheodosiusTheon of AlexandriaTheon of SmyrnaThymaridasXenocratesZeno of EleaZeno of SidonZenodorus Treatises AlmagestArchimedes PalimpsestArithmeticaConics (Apollonius)CatoptricsData (Euclid)Elements (Euclid)Measurement of a CircleOn Conoids and SpheroidsOn the Sizes and Distances (Aristarchus)On Sizes and Distances (Hipparchus)On the Moving Sphere (Autolycus)Euclid's OpticsOn SpiralsOn the Sphere and CylinderOstomachionPlanisphaeriumSphaericsThe Quadrature of the ParabolaThe Sand Reckoner Problems Constructible numbers Angle trisectionDoubling the cubeSquaring the circleProblem of Apollonius Concepts and definitions Angle CentralInscribedChordCircles of Apollonius Apollonian circlesApollonian gasketCircumscribed circleCommensurabilityDiophantine equationDoctrine of proportionalityGolden ratioGreek numeralsIncircle and excircles of a triangleMethod of exhaustionParallel postulatePlatonic solidLune of HippocratesQuadratrix of HippiasRegular polygonStraightedge and compass constructionTriangle center Results In Elements Angle bisector theoremExterior angle theoremEuclidean algorithmEuclid's theoremGeometric mean theoremGreek geometric algebraHinge theoremInscribed angle theoremIntercept theoremIntersecting chords theoremIntersecting secants theoremLaw of cosinesPons asinorumPythagorean theoremTangent-secant theoremThales's theoremTheorem of the gnomon Apollonius Apollonius's theorem Other Aristarchus's inequalityCrossbar theoremHeron's formulaIrrational numbersLaw of sinesMenelaus's theoremPappus's area theoremProblem II.8 of ArithmeticaPtolemy's inequalityPtolemy's table of chordsPtolemy's theoremSpiral of Theodorus Centers CyreneLibrary of AlexandriaPlatonic Academy Other Ancient Greek astronomyGreek numeralsLatin translations of the 12th centuryNeusis construction  Ancient Greece portal •  Mathematics portal Categories: Euclidean plane geometryTheorems about right trianglesTheorems about triangles and circles