
Since the sum of the angles of a triangle is equal to 180°, we have The three internal angles of the ∆ ABC triangle are α, ( α + β), and β. 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. 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. 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 a straight angle (180°).ĭante's Paradiso (canto 13, lines 101–102) refers to Thales's theorem in the course of a speech. It is believed that Thales learned that an angle inscribed in a semicircle is a right angle during his travels to Babylon. Reference to Thales was made by Proclus, and by Diogenes Laërtius documenting Pamphila's statement that Thales "was the first to inscribe in a circle a right-angle triangle".īabylonian mathematicians knew this for special cases before Thales proved it. Attribution did tend to occur at a later time. 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. There is nothing extant of the writing of Thales. – English translation by Henry Wadsworth Longfellow

– Dante's Paradiso, Canto 13, lines 100–102

It is generally attributed to Thales of Miletus, but it is sometimes attributed to Pythagoras. 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. 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’ theorem: if AC is a diameter and B is a point on the diameter's circle, the angle ∠ ABC is a right angle.

For the theorem sometimes called Thales' theorem and pertaining to similar triangles, see intercept theorem.
