equilateral triangle
Enable an agent to recognise an equilateral triangle, distinguish exact geometry from approximate representations, derive its properties and choose valid constructions or transformations.
Research draft, second pass
A second pass drafted this model: the structure a model of this thing needs, and what is known about it in the world. The line under this one says how the second half was obtained - researched against sources, or recalled without web access, in which case nothing here was read anywhere and every claim is a lead to verify. Unreviewed either way.
recalled by Codex without web access - no source was read
Researched by: Codex
Purpose and description
Enable an agent to recognise an equilateral triangle, distinguish exact geometry from approximate representations, derive its properties and choose valid constructions or transformations.
An equilateral triangle is a triangle in Euclidean geometry whose three sides have equal length, equivalently whose three interior angles each measure 60 degrees.
It can be Verify equilaterality using exact distances, angle constraints or construction evidence.; Evaluate whether measured geometry supports approximate equilaterality under a stated tolerance.; Derive missing lengths, perimeter, area and circle radii from one independent size measurement.; Construct either equilateral triangle on a specified nonzero base segment.; Locate the common centre, symmetry axes, incircle and circumcircle.; Transform or compare triangles using congruence and similarity while tracking scale and vertex correspondence..
Distinguishing features
Three distinct, noncollinear vertices joined by straight segments must have three equal, positive pairwise distances.
In Euclidean geometry, all three interior angles are 60 degrees; equal sides and equal angles are equivalent recognition criteria.
A triangle with exactly two equal sides is not equilateral; under the inclusive definition of isosceles, an equilateral triangle is a special case of an isosceles triangle.
Equal side lengths in a spherical or hyperbolic metric do not establish the Euclidean angle, area or radius formulas used here.
A drawing that looks balanced supplies only visual evidence; coordinates, construction constraints or measurements must support classification.
Scope
+ Equality of three positive side lengths and equivalent Euclidean recognition criteria
+ Relationships among side length, angles, altitude, perimeter and area
+ Coincidence of classical triangle centres and relationships to inscribed and circumscribed circles
+ Symmetries, congruence, similarity and transformations preserving equilaterality
+ Construction and verification from geometric data, including uncertainty in measured representations
- General triangle properties except where needed to identify the equilateral specialisation
- Spherical and hyperbolic equilateral triangles, whose metric relationships require separate treatment
- Physical triangular components and their material, manufacturing or structural properties
- Equilateral polygons with more than three sides
- Complete tessellations, triangular meshes and three-dimensional regular solids
Characteristics
- Geometric setting
- Euclidean plane; other settings outside this model Determines whether the angle sum and derived metric formulas apply.
- Recognition status
- exactly established | approximately supported | contradicted | undetermined Prevents uncertain measurements from being treated as an exact geometric proof.
- Side length
- a > 0, in a declared length unit Determines every metric property of an exact equilateral triangle up to placement.
- Interior angles
- 60 degrees or pi/3 radians each Provides an equivalent exact recognition criterion in the Euclidean plane.
- Perimeter
- P = 3a, in the side-length unit Supports boundary-length calculations and consistency checks.
- Altitude
- h = sqrt(3)a/2, in the side-length unit Connects the side length to construction, positioning and area.
- Area
- A = sqrt(3)a^2/4, in squared length units Supports size comparison and detects inconsistent specifications.
- Centre coincidence
- centroid = circumcentre = incentre = orthocentre Supports centre placement and cross-checks geometric representations.
- Circle radii
- circumradius R = a/sqrt(3); inradius r = a/(2sqrt(3)); R = 2r Connects the triangle to its circumscribed and inscribed circles.
- Measured side inequality
- (maximum measured side - minimum measured side) / mean measured side; dimensionless Offers an explicit discrepancy measure for approximate representations, with an application-specific threshold and measurement uncertainty.
Where this came from
wikidata · CC0 1.0
Drafted structure
Bundle to layer to finding to question, as the second pass will find it: 5 bundles · 9 layers · 13 findings · 25 questions.
Definition and recognition Establish whether a candidate satisfies the Euclidean equilateral constraint and identify the strength of the evidence.
An agent must distinguish an exact equilateral triangle from a degenerate configuration, a different geometry or a merely similar-looking representation.
Euclidean defining constraints
Record the geometric setting and the conditions that define membership.
Three equal positive sides
A Euclidean equilateral triangle has three equal positive side lengths. Its three interior angles are consequently 60 degrees, and the converse holds for a Euclidean triangle.
- Are the vertices and straight sides interpreted in a Euclidean plane with three distinct, noncollinear vertices? boundary
- Is membership established by three equal side lengths, three 60-degree angles or an equivalent exact constraint? definition
Recognition evidence
Separate mathematical certification from approximate classification of drawings or measurements.
Exactness and tolerance
Exact constraints can establish mathematical equilaterality; finite-precision coordinates and measured sides require an explicit uncertainty and tolerance policy.
- Does the classification come from a proof, a constrained construction, numerical coordinates or physical measurements? provenance
- What side-length discrepancies and measurement uncertainties are present, and what declared threshold supports approximate acceptance? measurement
- Does the local use of 'isosceles' include equilateral triangles or require exactly two equal sides? definition
Size and metric consistency Connect one independent size parameter to the triangle's lengths and area.
Equilaterality imposes fixed metric relationships that support inference and expose contradictory specifications.
Side, altitude and area
Represent the principal size relationships with explicit units.
Single-parameter size
For side length a > 0, the perimeter is 3a, each altitude is sqrt(3)a/2 and the area is sqrt(3)a^2/4.
- Which independent size quantity is supplied, and in what units? measurement
- Are the supplied side length, altitude, perimeter and area mutually consistent under the equilateral formulas? measurement
Inscribed and circumscribed circles
Relate the triangle's size to its tangent and vertex-passing circles.
Fixed radius relations
The circumradius is a/sqrt(3), the inradius is a/(2sqrt(3)) and their ratio is two; both circles share the triangle's common centre.
- Does a supplied radius describe the incircle or the circumcircle? definition
- Do the stated radii satisfy R = 2r and agree with the side length? measurement
- Which circle must be constructed to satisfy a vertex-placement or side-tangency requirement? action
Centres and symmetry Record the coincident triangle centres and the rigid motions that preserve the triangle.
The equilateral triangle's unusually strong symmetry determines its centre relationships and makes several constructions coincide.
Coincident centres and lines
Identify the shared roles of the vertex-to-opposite-midpoint lines.
Median, altitude and bisector coincidence
Each vertex-to-opposite-midpoint line is a median line, altitude line, interior angle-bisector line and perpendicular bisector of the opposite side. Their intersection is the centroid, circumcentre, incentre and orthocentre.
- Which vertex and opposite-side midpoint determine each of the three shared lines? measurement
- Do independently computed classical centres coincide exactly or agree within the declared numerical tolerance? measurement
Rigid symmetry operations
Describe the six plane isometries preserving the unlabelled triangle.
Dihedral triangle symmetry
The unlabelled triangle has the six symmetries of D3: the identity, rotations of 120 and 240 degrees about its centre, and reflections in its three vertex-to-opposite-midpoint axes.
- Which rotation or reflection maps the triangle onto itself, and what vertex permutation does it induce? action
- Must a symmetry preserve vertex labels or other annotations in addition to the geometric outline? boundary
Construction and transformation Specify how to construct, place, compare and transform equilateral triangles while preserving their defining constraint.
Recognition alone does not tell an agent which geometric actions are valid or how to resolve alternative placements.
Construction from a base
Construct the two possible third vertices for a specified nonzero segment.
Two-circle construction
For distinct endpoints A and B, circles centred at A and B with radius |AB| intersect at two points. Each intersection completes an equilateral triangle, on an opposite side of the base line.
- Are the base endpoints distinct, and is their separation the intended side length? measurement
- Which side of the directed base, or which orientation constraint, selects the required third vertex? action
- Does the resulting third vertex satisfy both required distance equalities to the base endpoints? measurement
Similarity and preservation
Track which operations preserve shape and which also preserve size.
Equilateral-preserving maps
All Euclidean equilateral triangles are similar and are congruent when their side lengths agree. Translations, rotations and reflections preserve size; uniform scaling by a positive factor preserves equilaterality, scales lengths by that factor and scales area by its square. General affine maps need not preserve equilaterality.
- Does the proposed transformation preserve distances or apply one uniform scale factor to all directions? action
- What scale factor and vertex correspondence relate the source and target triangles? measurement
- After a shear or nonuniform scaling, do the transformed side lengths still satisfy the equilateral constraint? boundary
Evidence and external alignment What the world already says about this thing, gathered so the model can be checked against it.
A model that cannot be lined up against existing standards, identifiers and practice cannot be adopted by anyone who already uses them.
Reported evidence
Findings from the breadth pass, kept separate from the structural claims.
Check these first
Recalled without web access and unsourced; every item is a lead to verify.
- The unqualified name is interpreted here as a nondegenerate Euclidean plane triangle.
- Check whether a consuming taxonomy uses the inclusive or exclusive definition of isosceles triangle.
- These are recalled mathematical facts, not findings from sources consulted for this response.
- Which of these check these first hold for the sense of equilateral triangle this model covers, and on what evidence? provenance
Real-world use
Recalled without web access and unsourced; every item is a lead to verify.
- Regular triangular tilings and triangular grids.
- Triangular meshes in numerical modelling, where equilateral elements provide a reference shape for mesh quality.
- Ternary diagrams representing the proportions of three components.
- Geometric construction and teaching of symmetry, congruence and trigonometry.
- Which of these real-world use hold for the sense of equilateral triangle this model covers, and on what evidence? provenance
Typical measurements
Recalled without web access and unsourced; every item is a lead to verify.
- Side length a - Any positive real value; there is no intrinsic preferred size. - Any consistent length unit
- Interior angle - Exactly 60 at each vertex - degree
- Perimeter - Exactly 3a - Same length unit as a
- Altitude - Exactly (sqrt(3)/2)a - Same length unit as a
- Area - Exactly (sqrt(3)/4)a² - Square of the length unit used for a
- Which of these typical measurements hold for the sense of equilateral triangle this model covers, and on what evidence? provenance
Failure modes and hazards
Recalled without web access and unsourced; every item is a lead to verify.
- Physical drawings and manufactured objects approximate exact equality; a practical classification requires a stated measurement tolerance.
- The 60-degree angle property and the stated metric formulas cannot be transferred unchanged to spherical or hyperbolic geometry.
- Zero side length produces a degenerate object rather than an equilateral triangle under the usual definition.
- Which of these failure modes and hazards hold for the sense of equilateral triangle this model covers, and on what evidence? provenance
Neighbouring kinds and how to tell them apart
Recalled without web access and unsourced; every item is a lead to verify.
- triangle - A general triangle has three sides; an equilateral triangle additionally requires all three side lengths to be equal.
- isosceles triangle - Under the inclusive definition, an isosceles triangle has at least two equal sides, making equilateral triangles a subset; an exclusive definition requires exactly two equal sides.
- equiangular triangle - This term specifies equality of angles rather than sides; in Euclidean geometry the two conditions identify exactly the same triangles.
- regular polygon - An equilateral triangle is the three-sided regular polygon; regular polygons may have other numbers of sides.
- Which of these neighbouring kinds and how to tell them apart hold for the sense of equilateral triangle this model covers, and on what evidence? provenance
What the second pass must settle
- Does the registry intend this entry to cover only Euclidean equilateral triangles, or also equal-sided triangles in non-Euclidean geometries?
- Which existing triangle or regular-polygon publication should supply shared concepts so this entry contributes only the equilateral specialisation?
- Which reference sources should ground the formal definition, recognition equivalences and derived metric relationships in a researched publication?
- Which application-specific uncertainty model and tolerance should govern approximate classification from measurements or finite-precision coordinates?
- Should instance identity preserve vertex labels and orientation, or identify triangles up to congruence or similarity?