Triangle ($△ABC$)

A triangle is the convex hull of three noncollinear points: the three vertices must not lie on one line. Its boundary consists of the three joining line segments; depending on context, "triangle" can mean this boundary or the filled region it encloses. Here a triangle's area refers to the filled region. The noncollinearity assumption excludes a collapsed shape with zero area, for which ordinary interior angles are not defined.

For example, the positions $(0,0)$, $(4,0)$ and $(0,3)$ form a right triangle with a right angle at the origin. Taking the side of length $4$ as its base gives perpendicular height $3$, so its area is $4\cdot 3/2=6$. The height is measured at a right angle to the chosen base; it is not generally the length of another side. In this example it happens to be a side because the triangle is a right triangle.

By contrast, side lengths $3,4,6$ define a valid triangle: each side is shorter than the sum of the other two, as required by the strict triangle inequality. But $3^2+4^2=25\ne 36=6^2$, so this is not a right triangle and the Pythagorean theorem cannot calculate its longest side from the other two. The law of cosines instead gives the opposite interior angle $C$ throughThis example separates the definition of a triangle from the additional assumption of a right angle.

Every triangle in the Euclidean plane has interior angles summing to $\pi$ radians, a result proved in Euclid's Elements I.32.^[ref] It lets two measured angles determine the third, and underlies the angle-angle criterion for similar triangles. The qualification "Euclidean plane" matters: the earlier spherical triangle demonstrates a different sum.

The medial triangle joins the three midpoints of a triangle's sides. Each side is parallel to the corresponding original side and has half its length: $((\mathbf{x}+\mathbf{z})/2)-((\mathbf{x}+\mathbf{y})/2)=(\mathbf{z}-\mathbf{y})/2$. Each altitude of a triangle in the medial triangle is a perpendicular bisector of an original side, so its orthocenter is the original triangle's circumcenter.

An altitude of a triangle is the whole line through one vertex that is orthogonal to the line through the opposite side. For vertex $A$ and opposite vertices $B,C$, its equation in position vectors is $(\mathbf{x}-\mathbf{a})\cdot (\mathbf{c}-\mathbf{b})=0$. The three such lines meet at the orthocenter; they need not meet inside the triangle.

A median joins a vertex of a polygon to the midpoint of the opposite side of a triangle. For side lengths $a,b,c$, the median to the side of length $c$ has length $m_c=\frac{1}{2}\sqrt{2a^2+2b^2-c^2}$, by Apollonius's theorem.

For a triangle with side lengths $a,b,c$ and semiperimeter $s=(a+b+c)/2$, its area is $A=\sqrt{s(s-a)(s-b)(s-c)}$. This expresses the area using only the three side lengths.

The radius of a triangle's circumscribed circle, whose center is the circumcenter. For side lengths $a,b,c$ and area $A$, it satisfies $R=abc/(4A)$.

The intersection of a triangle's internal angle bisectors. It is the center of the circle tangent to all three sides, and its distance to any side is the inradius.

An internal angle bisector of a triangle divides the opposite side in the ratio of the two adjacent sides. If $AD$ bisects the angle at $A$ in triangle $ABC$, then $BD/DC=AB/AC$. Comparing the areas of triangles $ABD$ and $ACD$ proves this: their shared altitude gives the ratio $BD/DC$, while their equal included angles give $AB/AC$.

In a nondegenerate triangle, let $a,b,c$ be the side lengths opposite the interior angles $A,B,C$. Its area $K$ satisfies $2K=bc\sin A=ca\sin B=ab\sin C$. Division by $abc>0$ proves the law of sines. The area formula itself follows by taking the magnitude of the cross product of two edge vectors. Unlike the law of cosines, this relation alone may leave an ambiguity between two supplementary angles when two sides and a nonincluded angle are given.

The common intersection of a triangle's three altitude lines. Each line passes through a vertex and is orthogonal to the opposite side. The intersection can lie inside or outside the triangle, or at its right-angle vertex. An orthogonal projection onto an intercept plane supplies a concrete three-dimensional construction of one.

An isosceles triangle has two equal sides. Its angles opposite those sides are equal: reflecting the triangle across the bisector of the angle between the equal sides exchanges them and fixes the opposite side as a set. A triangle formed by two radii of one circle is therefore isosceles.

Two triangles are similar if a Euclidean similarity maps one onto the other. Their corresponding angles agree, and corresponding side lengths have a common positive ratio.

Specify the correspondence first: $A$ matches $A^{\prime }$, $B$ matches $B^{\prime }$ and $C$ matches $C^{\prime }$. For similar triangles, the common scale factor $k>0$ satisfiesThe ratios compare matching sides in the same order. A Euclidean similarity can also move, turn or reflect the triangle; its orientation on the page is irrelevant. In the Euclidean plane, matching just two interior angles is enough: their sums force the third to match, and equal corresponding angles force the side ratios to agree. This is the angle-angle (AA) criterion for similar triangles. Matching just one angle is insufficient.

Scale the right triangle with vertices $(0,0)$, $(4,0)$ and $(0,3)$ by $k=2$. Its new vertices are $(0,0)$, $(8,0)$ and $(0,6)$, and its side lengths are $6,8,10$. The matching side ratios are $6/3=8/4=10/5=2$. Both triangles have a right angle and the same two other interior angles, approximately $36.87^{\circ }$ and $53.13^{\circ }$. However, their areas are $3\cdot 4/2=6$ and $6\cdot 8/2=24$: doubling lengths multiplies area by four.

Generally, a Euclidean similarity multiplies both a base and its perpendicular height by $k$, so the area becomes $\frac{1}{2}(kb)(kh)=k^2\frac{1}{2}bh$. This explains why an enlarged drawing needs four times as much surface when each length doubles. It also enables indirect measurement: under assumptions of level ground, vertical objects and parallel light rays, an object of height $3$ casting a shadow of length $4$ provides a right triangle. Another object's shadow of length $8$ gives a similar triangle and height $3(8/4)=6$. The shared angles justify the inference; visual resemblance alone does not.

Euclid's Elements VI, Definition 1 describes similarity using corresponding angles and proportional sides. VI.4 establishes the implication from matching angles to matching side ratios, while VI.19 states the squared relation between side ratios and areas. These are documented ancient formulations of the principles used above, without establishing a first discoverer.^{[ref][ref][ref]}

The incircle of a triangle is the circle inside the triangle tangent to all three sides. Its center is the intersection of two internal angle bisectors; its radius is $r=\Delta /s$, where $\Delta$ is the area and $s$ the semiperimeter. To prove it is the largest contained circle, let any candidate have center $P$, radius $\rho$ and distances $d_i\ge \rho$ from the three side lines. Splitting the triangle into three triangles with vertex $P$ gives $\Delta =\frac{1}{2}{\sum }_i{\ell }_i{d}_i\ge s\rho$. The tangent circle attains equality, proving maximality. For a right triangle with legs $a,b$ and hypotenuse $c$, $r=(a+b-c)/2$, since $r=ab/(a+b+c)$ and $a^2+b^2=c^2$.

The inradius is the radius of an incircle. For a triangle of area $A$ and semiperimeter $s$, it is $r=A/s$: joining the incenter to the three vertices partitions the triangle into three triangles with common altitude $r$.

The circumcircle of a nondegenerate triangle is the unique circle through its three vertices. Its center is the circumcenter, found by intersecting two perpendicular bisectors; equality of distances to all three vertices proves existence, and subtracting the squared-distance equations proves uniqueness. For a right triangle, the midpoint of its hypotenuse is equidistant from all vertices, so its circumradius is half the hypotenuse length.

For a triangle with side lengths $a,b,c$ and angle $C$ opposite $c$, the law of cosines states

An acute triangle has all three interior angles strictly smaller than a right angle.

An equilateral triangle has three equal side lengths.

A right triangle has one interior angle equal to a right angle.

The hypotenuse is the side opposite the right angle in a right triangle. Its length $c$ is determined by the Pythagorean theorem.