Thales's theorem
In geometry, Thales's theorem states that if A, B, and C are distinct points on a circle where the line 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. It is generally attributed to Thales of Miletus, but it is sometimes attributed to Pythagoras. 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. 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". Babylonian mathematicians knew this for special cases before Thales proved it. It is believed that Thales learned that an angle inscribed in a semicircle is a right angle during his travels to Babylon. 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°). Dante's Paradiso (canto 13, lines 101–102) refers to Thales's theorem in the course of a speech. 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. Since = = , △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 Q.E.D. The theorem may also be proven using trigonometry: Let O = (0, 0), A = (-1, 0), and C = (1, 0). Then B is a point on the unit circle (cos θ, sin θ).
