Thales’ theorem

E403439

Thales’ theorem is a fundamental result in Euclidean geometry stating that any angle inscribed in a semicircle is a right angle.

All labels observed (3)

How this entity was disambiguated

Statements (33)

Predicate Object
instanceOf geometric theorem
result in Euclidean geometry
angleType right angle
appliesTo all points on a semicircle except the endpoints of the diameter
condition The sides of the angle must pass through the endpoints of a diameter
The vertex of the angle must lie on the circle
consequence The diameter of a circle is the hypotenuse of any right triangle inscribed in the circle
field Euclidean geometry
geometricConfiguration triangle with hypotenuse as diameter of a circle
hasGeneralization inscribed angle theorem for arbitrary arcs
historicalAttribution traditionally attributed to Thales of Miletus
implies If a triangle is inscribed in a circle with one side as a diameter, then the triangle is right-angled
involvesConcept circle
diameter
inscribed angle
right triangle
semicircle
languageVariant Thales’s theorem
Thales’ theorem self-linksurface differs
surface form: Theorem of Thales
level elementary geometry
namedAfter Thales of Miletus
proofMethod can be proved using properties of inscribed angles
can be proved using similar triangles
relatedTo Pythagorean theorem
circle theorems
inscribed angle theorem
statement Any angle inscribed in a semicircle is a right angle
If A and B are endpoints of a diameter of a circle and C is any other point on the circle, then angle ACB is a right angle
taughtIn secondary school mathematics
timePeriodAttributed 6th century BCE
usedFor constructing right angles
proving properties of circles
proving triangles are right-angled

How these facts were elicited

Referenced by (3)

Full triples — surface form annotated when it differs from this entity's canonical label.

Thales of Miletus knownFor Thales’ theorem
Thales of Miletus attributedDiscovery Thales’ theorem
this entity surface form: Thales’ theorem in geometry
Thales’ theorem languageVariant Thales’ theorem self-linksurface differs
this entity surface form: Theorem of Thales