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