Triangle Identities
In this section, we consider several identities applicable to triangles.
Law of Sines: If ABC is a triangle (where a is the side opposite angle A, etc.), then the following identity holds:
♦
Proof: In triangle ABC, drop an altitude from point C to side AB (extending AB if necessary). Let point D be the intersection of the altitude with side AB, and let the length h be the length of CD.

Considering triangles ACD and BCD, we have
,
from which one proportion follows. (If angle A is obtuse, then we actually
have
,
and the proportion still follows.) Dropping an altitude from a second
vertex will provide a second proportion and prove the theorem.♦
Alternate Proof: Triangle ABC can be circumscribed by a circle. Let O be the center of the circle, and construct segments OA and OB (each having length equal to the radius r of the circle). Let P be the midpoint of segment AB, and construct segment OP.

Since triangle OAB is isosceles, triangles OPA and OPB are congruent right triangles. By the Inscribed Angle Theorem of geometry, angle ACB is half the measure of angle AOB.
Now, if angle ACB is acute, then angle ACB is congruent to angle AOP, and we have:
![]()
If angle ACB is obtuse, then angle AOB is the external angle, and we have:
![]()
If angle ACB is a right angle, then side c is the diameter, and the same result still holds. The other ratios can be handled similarly, with the same result. Thus, the theorem is proved (with the additional information that the ratio is the diameter of the circumscribed circle).♦
Law of Cosines: If ABC is a triangle (where a is the side opposite angle A), then the following identity holds:
♦
Proof: We begin with the same pictures as
used in the first proof of the Law of Sines. Let h be the length of
CD, and x be the length of AD. Then
and
, where the sign
depends on whether angle A is acute or obtuse. By the
Pythagorean Theorem, we have:
♦
Law of Tangents: If ABC is a triangle (where a is the side opposite angle A, etc.), then the following identity holds:
♦
Proof: By the Law of Sines,
implies
.
Therefore, we have:
♦
Tangent Product-Sum Theorem: If ABC is a triangle (but not a right triangle), then the following identity holds:
♦
Proof: The identity can be verified by use of the angle sum and difference formulas for the tangent.
♦