Right triangle¶
Specify a triangle with exactly one right angle, making the opposite side the hypotenuse and coupling its sides, acute angles, altitude, circumcircle, and similarity relations through Euclidean constraints.
Core Idea¶
A right triangle is a Euclidean triangle having one interior angle equal to \(90^\circ\) or \(\pi/2\); the side opposite that angle is the hypotenuse and the other two sides are its legs. The right-angle constraint makes the legs perpendicular, forces the two remaining angles to be complementary, and links the three side lengths by the Pythagorean relation, while similarity transfers all dimensionless ratios among triangles sharing an acute angle.
Its autonomous residual is the full one-right-angle triangle type with its distinguished side roles and equivalent metric consequences, not perpendicular lines alone, a Pythagorean triple detached from a triangle, or any nearly square-looking three-sided figure.
Scope of Application¶
Right triangle applies when the analyst can specify a nondegenerate Euclidean triangle with three vertices, three sides, interior angles, and the ordinary Euclidean metric and establish that the figure is a nondegenerate Euclidean triangle and exactly one interior angle is \(\pi/2\), equivalently its ordered side lengths satisfy \(a^2+b^2=c^2\) with \(c\) opposite the right angle. The canonical identity is Euclidean and nondegenerate; spherical, hyperbolic, projective, numerical-mesh, and generalized inner-product variants must state their metric and replacement theorems.
Clarity¶
A clear claim names the carrier, governing rule, assumptions, and recognition test. This matters because right can mean direction, correctness, or orientation in ordinary language, while diagrams can make an oblique triangle appear right and side labels vary across conventions. The disciplined statement is that the object counts as Right triangle exactly when the figure is a nondegenerate Euclidean triangle and exactly one interior angle is \(\pi/2\), equivalently its ordered side lengths satisfy \(a^2+b^2=c^2\) with \(c\) opposite the right angle
Manages Complexity¶
The abstraction compresses scalene and isosceles right triangles, integer-sided Pythagorean triangles, coordinate and vector representations, inscribed diameter constructions, decompositions, and non-Euclidean analogues into a stable carrier, rule, invariant, and failure boundary. It makes comparison tractable while retaining the variables that control validity.
Compression can hide assumptions. A responsible use therefore declares ambient geometry, angle measure, leg lengths, hypotenuse, orientation, similarity class, area, altitude, inradius, circumradius, coordinate placement, and exact versus approximate data and returns to the full diagnostic whenever a convention or boundary case changes.
Abstract Reasoning¶
- Type the carrier. Establish a nondegenerate Euclidean triangle with three vertices, three sides, interior angles, and the ordinary Euclidean metric and reject examples from a different problem. 2. Lock the rule. Express that the figure is a nondegenerate Euclidean triangle and exactly one interior angle is \(\pi/2\), equivalently its ordered side lengths satisfy \(a^2+b^2=c^2\) with \(c\) opposite the right angle independently of one notation or implementation.
Knowledge Transfer¶
Transfer within euclidean geometry is strong when new cases preserve the same carrier, mechanism, and diagnostic. The move from A triangle with side lengths \(3,4,5\) is right because \(3^2+4^2=5^2\), with the side of length \(5\) as hypotenuse. to If a triangle is inscribed in a circle with one side as a diameter, the angle at the third vertex is right, so the radius and chord geometry can be analyzed through two right triangles. demonstrates that continuity.
Relationships to Other Abstractions¶
Current abstraction Right triangle Domain-specific
Parents (1) — more general patterns this builds on
-
Right triangle is a kind of Constraint Prime
The proposed strict upward parent is
prime:constraint.
Hierarchy path (1) — routes to 1 parentless root
- Right triangle → Constraint
Neighborhood in Abstraction Space¶
Right triangle sits in a moderately populated region (42nd percentile for distinctiveness): it has near-neighbors but no dense thicket of look-alikes.
Family — Unclustered & Miscellaneous (1565 abstractions)
Nearest neighbors
- Law of sines — 0.92
- Triangle group — 0.90
- One-seventh area triangle — 0.90
- Acute and obtuse triangles — 0.89
- Orthocentric system — 0.89
Computed from structural-signature embeddings · 2026-09-08