Acute and obtuse triangles¶

A Euclidean triangle classification based on whether all angles are below a right angle or exactly one angle exceeds it.

Version: v2 · 2026-09-19 · History
Domain-specific #: 3202
Domain group: Formal Sciences
Origin domain: Mathematics
Subdomain: Euclidean Geometry → Mathematics

Core Idea¶

An acute triangle has three angles below ninety degrees; an obtuse triangle has one angle above ninety and two below, since the angle sum is one hundred eighty degrees. Comparing the largest angle with a right angle partitions nonright triangles and equivalently compares the square of the longest side with the sum of squares of the other two. The abstraction is therefore identified by a declared carrier, a transformation or constraint over that carrier, and an invariant that tells an analyst whether the named structure is genuinely present.

How would you explain it like I'm…

Pointy or Wide Triangles

Every triangle has three corners. If all three corners are pointy, smaller than the square corner of a book, it's an acute triangle. If one corner is wider and more open than a book's corner, it's an obtuse triangle. A triangle can only have one wide corner, because the three corners together only have so much room.

Sorting Triangles by the Biggest Corner

Triangles can be sorted by their angles. A right angle is exactly 90 degrees, like the corner of a piece of paper. An acute triangle has all three angles less than 90 degrees. An obtuse triangle has one angle more than 90 degrees, and the other two must be less than 90, because the three angles of any triangle always add up to 180 degrees. So to decide, you just look at the biggest angle and compare it with a right angle. If the biggest angle is exactly 90, the triangle is a right triangle, which is neither acute nor obtuse.

Classifying Triangles by Largest Angle

In flat (Euclidean) geometry, a triangle is acute if all three angles are less than 90 degrees and obtuse if one angle is greater than 90 degrees; since the angles add to 180 degrees, an obtuse triangle's other two angles must be acute. So you only need to check the largest angle against a right angle. There's also a test using side lengths: take the longest side c and the other two sides a and b. If c² is less than a² + b², the triangle is acute; if greater, it's obtuse; if equal, it's a right triangle, which belongs to neither group. The comparisons must be strict, which is what keeps right triangles and flattened degenerate triangles separate.

In Euclidean geometry, acute and obtuse triangles are the two classes of non-right triangles, distinguished by the largest angle. An acute triangle has all three angles below 90 degrees; an obtuse triangle has one angle above 90 degrees and therefore, because the angle sum is 180 degrees, two acute angles. Comparing the largest angle with a right angle partitions triangles into acute, right, and obtuse. Equivalently, with c the longest side and a, b the others, the triangle is acute when c² < a² + b², right when c² = a² + b², and obtuse when c² > a² + b². The strict inequalities matter: boundary equality is the right case, and degenerate triangles, whose vertices are collinear, fall outside the classification. Using the test outside Euclidean geometry, or confusing it with other ways of classifying triangles, breaks the concept.

Scope of Application¶

Acute and obtuse triangles belongs to euclidean geometry and is useful where the analyst can specify the typed euclidean geometry carrier, defining objects and relations, parameters, conventions, evidence, boundary cases, and comparison targets, then evaluate the geometry is Euclidean and the largest-angle or side-square test is applied with strict inequalities, separating acute, right, obtuse, and degenerate cases. The scope is broad within that domain but bounded by the need for the geometry is Euclidean and the largest-angle or side-square test is applied with strict inequalities, separating acute, right, obtuse, and degenerate cases. The entry records a descriptive analytical identity; practical use requires the governing domain's evidence, standards, and safety obligations.

Clarity¶

The abstraction clarifies a crowded vocabulary by making the geometry is Euclidean and the largest-angle or side-square test is applied with strict inequalities, separating acute, right, obtuse, and degenerate cases the center of the account. A claim should name the carrier, the governing operation or relation, the applicable assumptions, and the recognition test. A bare label is insufficient because the name Acute and obtuse triangles can be used for a formal identity, an implementation, or a neighboring result unless carrier and convention are stated.

Manages Complexity¶

Without the abstraction, an analyst must reason directly over many local details: the carrier roles, admissibility assumptions, competing conventions, derived invariants, boundary cases, and proof or validation obligations specific to Acute and obtuse triangles. Acute and obtuse triangles compresses them into the roles in the structural signature. That compression permits comparison across instances without erasing the variables that determine validity. It also exposes which details may be varied safely and which are constitutive.

Abstract Reasoning¶

Identify the carrier. State what the elements, states, objects, or observations are: the typed euclidean geometry carrier, defining objects and relations, parameters, conventions, evidence, boundary cases, and comparison targets. Reject examples whose alleged carrier belongs to a different problem.
Lock the constitutive rule. Express the geometry is Euclidean and the largest-angle or side-square test is applied with strict inequalities, separating acute, right, obtuse, and degenerate cases independently of one notation or implementation.

Knowledge Transfer¶

Knowledge transfers strongly among subfields of euclidean geometry because they reuse the typed euclidean geometry carrier, defining objects and relations, parameters, conventions, evidence, boundary cases, and comparison targets, Comparing the largest angle with a right angle partitions nonright triangles and equivalently compares the square of the longest side with the sum of squares of the other two., and type the carrier, state every parameter and convention in the definition, test that the geometry is Euclidean and the largest-angle or side-square test is applied with strict inequalities, separating acute, right, obtuse, and degenerate cases, compare the nearest accepted identity, and report counterexamples, uncertainty, and limiting cases.

Relationships to Other Abstractions¶

Current abstraction Acute and obtuse triangles Domain-specific

Parents (1) — outgoing typed relations

Acute and obtuse triangles is a kind of Classification Prime

What makes it its own entry: the domain-specific identity determined by the geometry is Euclidean and the largest-angle or side-square test is applied with strict inequalities, separating acute, right, obtuse, and degenerate cases.

Hierarchy path (1) — routes to 1 parentless root

Acute and obtuse triangles → is a kind of Classification

Neighborhood in Abstraction Space¶

Acute and obtuse triangles sits in a crowded region of the domain-specific corpus (11^th percentile for distinctiveness): several abstractions share nearly its structure, so a description that fits it tends to fit its neighbors too.

Family — Euclidean & Geometric Structures (25 abstractions)

Nearest neighbors

Tangential quadrilateral — 0.93
Orthocentric system — 0.92
Fixed points of isometry groups in Euclidean space — 0.91
Shape analysis (digital geometry) — 0.91
Line–line intersection — 0.91

Computed from structural-signature embeddings · 2026-10-25