Plane trigonometry
trigonometry in the Euclidean plane.
The elements of a triangle, its sides and its angles
(
opposite to
, etc.), are related in various ways. In the Euclidean plane the most important relations are the angle sum formula
![]() |
(angles in radians), and the triangle inequalities
![]() |
These inequalities are necessary and sufficient for three segments of positive length to form the sides of a triangle.
Another relation is the cosine theorem:
![]() |
In particular, when , the triangle is right-angled, and the cosine theorem becomes Pythagoras' theorem (cf. Pythagoras theorem)
![]() |
In such a right-angled triangle,
![]() |
In a general triangle, further relations are provided by the sine theorem:
![]() |
where is the radius of the circumcircle of the triangle (cf. Inscribed and circumscribed figures). A corollary of the sine theorem is the tangent formula
![]() |
With the notation for the semi-perimeter of the triangle, the following half-angle formulas follow from the cosine theorem:
![]() |
![]() |
![]() |
Geometry of the triangle.
Among the many remarkable lines, points and circles connected with any triangle are the circumcircle with centre 0 and radius , the incircle and the three excircles with centres
,
,
,
and radii
,
,
,
(cf. Inscribed and circumscribed figures), the medians (cf. Median (of a triangle))
,
,
, with the centroid
as their common point, the inner bisectors
,
,
, and the outer bisectors
,
,
, the altitude lines
,
,
with the orthocentre
as their common point, the Euler line (cf. Euler straight line) through
,
and
, and the nine-point circle through the midpoints of the sides, the feet of the altitude lines, and the midpoints of the segments connecting the vertices of the triangle to its orthocentre. The nine-point circle has radius
, its centre
is on the Euler line between
and
such that
, and the nine-point circle touches the incircle and the three excircles (Feuerbach's theorem).
With the notation for the area of the triangle
, the following relations are valid:
![]() |
![]() |
It follows that, among others,
![]() |
Very remarkable is Morley's theorem: The points of intersection of the adjacent trisectors of the angles of any triangle form the vertices of an equilateral triangle. Indeed, a direct calculation shows that the sides of Morley's triangle have length
![]() |
which is symmetric in ,
and
.
The theorems of Ceva and Menelaus.
Let be points on the (possibly extended) sides
of a triangle
. Then, by the Ceva theorem,
,
and
are congruent if and only if
(signed distances) and by the Menelaus theorem,
,
and
are collinear if and only if
.
Convex quadrangles.
Ptolemy's theorem (cf. Ptolemeus theorem): For any point in the plane of a triangle
the inequality
![]() |
holds, with equality if and only if is on the arc
of the circumcircle of
(in this last case,
is a circle quadrangle).
Brahmagupta's formula states that for any convex cyclic quadrangle with area
, sides
and semi-perimeter
, the relation
holds. In general, for any quadrangle
, the area
satisfies
![]() |
It follows that among all quadrangles with given side lengths the inscribed quadrangles have maximum area (the cyclic order of the sides is immaterial).
Regular
-gons.
A regular -gon inscribed in a circle with radius
has perimeter
and area
; a regular
-gon circumscribed about a circle with radius
has perimeter
and area
. See also Regular polyhedra.
References
[a1] | H.S.M. Coxeter, "Introduction to geometry" , Wiley (1969) pp. 3–23 |
[a2] | H.S.M. Coxeter, S.L. Greitzer, "Geometry revisited" , Random House (1967) |
[a3] | M. Berger, "Geometry" , II , Springer (1987) pp. Chapt. 10 |
Plane trigonometry. Encyclopedia of Mathematics. URL: http://encyclopediaofmath.org/index.php?title=Plane_trigonometry&oldid=49366