Vfrdtyky

Figure 1 – A triangle. The angles α (or A), β (or B), and γ (or C) are respectively opposite the sides a, b, and c.

Trigonometry
Outline History Usage Functions (inverse) Generalized trigonometry
Reference
Identities Exact constants Tables Unit circle
Laws and theorems
Sines Cosines Tangents Cotangents Pythagorean theorem
Calculus
Trigonometric substitution Integrals (inverse functions) Derivatives
v t e

In trigonometry, the law of cosines (also known as the cosine formula or cosine rule) relates the lengths of the sides of a triangle to the cosine of one of its angles. Using notation as in Fig. 1, the law of cosines states

c2=a2+b2−2abcos⁡γ,{displaystyle c^{2}=a^{2}+b^{2}-2abcos gamma ,}

where γ denotes the angle contained between sides of lengths a and b and opposite the side of length c.

The law of cosines generalizes the Pythagorean theorem, which holds only for right triangles: if the angle γ is a right angle (of measure 90° [degrees], or π/2 radians), then cos γ = 0, and thus the law of cosines reduces to the Pythagorean theorem:

c2=a2+b2.{displaystyle c^{2}=a^{2}+b^{2}.}

The law of cosines is useful for computing the third side of a triangle when two sides and their enclosed angle are known, and in computing the angles of a triangle if all three sides are known.

History

Fig. 2 – Obtuse triangle ABC with perpendicular BH

Though the notion of the cosine was not yet developed in his time, Euclid's Elements, dating back to the 3rd century BC, contains an early geometric theorem almost equivalent to the law of cosines. The cases of obtuse triangles and acute triangles (corresponding to the two cases of negative or positive cosine) are treated separately, in Propositions 12 and 13 of Book 2. Trigonometric functions and algebra (in particular negative numbers) being absent in Euclid's time, the statement has a more geometric flavor:

Proposition 12
In obtuse-angled triangles the square on the side subtending the obtuse angle is greater than the squares on the sides containing the obtuse angle by twice the rectangle contained by one of the sides about the obtuse angle, namely that on which the perpendicular falls, and the straight line cut off outside by the perpendicular towards the obtuse angle.

— Euclid's Elements, translation by Thomas L. Heath.^[1]

Using notation as in Fig. 2, Euclid's statement can be represented by the formula

AB2=CA2+CB2+2(CA)(CH).{displaystyle AB^{2}=CA^{2}+CB^{2}+2(CA)(CH).}

This formula may be transformed into the law of cosines by noting that CH = (CB) cos(π − γ) = −(CB) cos γ. Proposition 13 contains an entirely analogous statement for acute triangles.

Euclid's Elements paved the way for the discovery of law of cosines. In the 15th century, Jamshīd al-Kāshī, a Persian mathematician and astronomer, provided the first explicit statement of the law of cosines in a form suitable for triangulation. He provided accurate trigonometric tables and expressed the theorem in a form suitable for modern usage. In France, the law of cosines is still referred to as the Théorème d'Al-Kashi.^[2][3][4]

The theorem was popularized in the Western world by François Viète in the 16th century. At the beginning of the 19th century, modern algebraic notation allowed the law of cosines to be written in its current symbolic form.

Applications

Fig. 3 – Applications of the law of cosines: unknown side and unknown angle.

The theorem is used in triangulation, for solving a triangle or circle, i.e., to find (see Figure 3):

• the third side of a triangle if one knows two sides and the angle between them:

c=a2+b2−2abcos⁡γ;{displaystyle ,c={sqrt {a^{2}+b^{2}-2abcos gamma }},;}

• the angles of a triangle if one knows the three sides:

γ=arccos⁡(a2+b2−c22ab);{displaystyle ,gamma =arccos left({frac {a^{2}+b^{2}-c^{2}}{2ab}}right),;}

• the third side of a triangle if one knows two sides and an angle opposite to one of them (one may also use the Pythagorean theorem to do this if it is a right triangle):

a=bcos⁡γ±c2−b2sin2⁡γ.{displaystyle ,a=bcos gamma pm {sqrt {c^{2}-b^{2}sin ^{2}gamma }},.}

These formulas produce high round-off errors in floating point calculations if the triangle is very acute, i.e., if c is small relative to a and b or γ is small compared to 1. It is even possible to obtain a result slightly greater than one for the cosine of an angle.

The third formula shown is the result of solving for a in the quadratic equation a² − 2ab cos γ + b² − c² = 0. This equation can have 2, 1, or 0 positive solutions corresponding to the number of possible triangles given the data. It will have two positive solutions if b sin γ < c < b, only one positive solution if c = b sin γ, and no solution if c < b sin γ or c ≥ b. These different cases are also explained by the side-side-angle congruence ambiguity.

Proofs

Using the distance formula

Fig. 4 – Coordinate geometry proof

Consider a triangle with sides of length a, b, c, where θ is the measurement of the angle opposite the side of length c. This triangle can be placed on the Cartesian coordinate system by plotting the following points, as shown in Fig. 4:

A=(bcos⁡θ,bsin⁡θ),B=(a,0), and C=(0,0).{displaystyle A=(bcos theta ,bsin theta ),B=(a,0),{text{ and }}C=(0,0).}

By the distance formula, we have

c=(a−bcos⁡θ)2+(0−bsin⁡θ)2.{displaystyle c={sqrt {(a-bcos theta )^{2}+(0-bsin theta )^{2}}}.}

Now, we just work with that equation:

c2=(a−bcos⁡θ)2+(−bsin⁡θ)2c2=a2−2abcos⁡θ+b2cos2⁡θ+b2sin2⁡θc2=a2+b2(sin2⁡θ+cos2⁡θ)−2abcos⁡θc2=a2+b2−2abcos⁡θ.{displaystyle {begin{aligned}c^{2}&{}=(a-bcos theta )^{2}+(-bsin theta )^{2}\c^{2}&{}=a^{2}-2abcos theta +b^{2}cos ^{2}theta +b^{2}sin ^{2}theta \c^{2}&{}=a^{2}+b^{2}(sin ^{2}theta +cos ^{2}theta )-2abcos theta \c^{2}&{}=a^{2}+b^{2}-2abcos theta .end{aligned}}}

An advantage of this proof is that it does not require the consideration of different cases for when the triangle is acute, right, or obtuse.

Using trigonometry

Fig. 5 – An acute triangle with perpendicular

Drop the perpendicular onto the side c to get (see Fig. 5)

c=acos⁡β+bcos⁡α.{displaystyle c=acos beta +bcos alpha ,.}

(This is still true if α or β is obtuse, in which case the perpendicular falls outside the triangle.) Multiply through by c to get

c2=accos⁡β+bccos⁡α.{displaystyle c^{2}=accos beta +bccos alpha .}

By considering the other perpendiculars obtain

a2=accos⁡β+abcos⁡γ,{displaystyle a^{2}=accos beta +abcos gamma ,}

b2=bccos⁡α+abcos⁡γ.{displaystyle b^{2}=bccos alpha +abcos gamma .}

Adding the latter two equations gives

a2+b2=accos⁡β+bccos⁡α+2abcos⁡γ.{displaystyle a^{2}+b^{2}=accos beta +bccos alpha +2abcos gamma .}

Subtracting the first equation from the last one we have

a2+b2−c2=−accos⁡β−bccos⁡α+accos⁡β+bccos⁡α+2abcos⁡γ{displaystyle a^{2}+b^{2}-c^{2}=-accos beta -bccos alpha +accos beta +bccos alpha +2abcos gamma }

which simplifies to

c2=a2+b2−2abcos⁡γ.{displaystyle c^{2}=a^{2}+b^{2}-2abcos gamma .}

This proof uses trigonometry in that it treats the cosines of the various angles as quantities in their own right. It uses the fact that the cosine of an angle expresses the relation between the two sides enclosing that angle in any right triangle. Other proofs (below) are more geometric in that they treat an expression such as a cos γ merely as a label for the length of a certain line segment.

Many proofs deal with the cases of obtuse and acute angles γ separately.

Using the Pythagorean theorem

Obtuse triangle ABC with height BH

Case of an obtuse angle

Euclid proves this theorem by applying the Pythagorean theorem to each of the two right triangles in the figure shown (AHB and CHB). Using d to denote the line segment CH and h for the height BH, triangle AHB gives us

c2=(b+d)2+h2,{displaystyle c^{2}=(b+d)^{2}+h^{2},}

and triangle CHB gives

d2+h2=a2.{displaystyle d^{2}+h^{2}=a^{2}.}

Expanding the first equation gives

c2=b2+2bd+d2+h2.{displaystyle c^{2}=b^{2}+2bd+d^{2}+h^{2}.}

Substituting the second equation into this, the following can be obtained:

c2=a2+b2+2bd.{displaystyle c^{2}=a^{2}+b^{2}+2bd.}

This is Euclid's Proposition 12 from Book 2 of the Elements.^[5] To transform it into the modern form of the law of cosines, note that

d=acos⁡(π−γ)=−acos⁡γ.{displaystyle d=acos(pi -gamma )=-acos gamma .}

Case of an acute angle

Euclid's proof of his Proposition 13 proceeds along the same lines as his proof of Proposition 12: he applies the Pythagorean theorem to both right triangles formed by dropping the perpendicular onto one of the sides enclosing the angle γ and uses the binomial theorem to simplify.

Fig. 6 – A short proof using trigonometry for the case of an acute angle

Another proof in the acute case

Using more trigonometry, the law of cosines can be deduced by using the Pythagorean theorem only once. In fact, by using the right triangle on the left hand side of Fig. 6 it can be shown that:

c2=(b−acos⁡γ)2+(asin⁡γ)2=b2−2abcos⁡γ+a2cos2⁡γ+a2sin2⁡γ=b2+a2−2abcos⁡γ,{displaystyle {begin{aligned}c^{2}&{}=(b-acos gamma )^{2}+(asin gamma )^{2}\&{}=b^{2}-2abcos gamma +a^{2}cos ^{2}gamma +a^{2}sin ^{2}gamma \&{}=b^{2}+a^{2}-2abcos gamma ,end{aligned}}}

using the trigonometric identity

cos2⁡γ+sin2⁡γ=1.{displaystyle cos ^{2}gamma +sin ^{2}gamma =1.}

This proof needs a slight modification if b < a cos(γ). In this case, the right triangle to which the Pythagorean theorem is applied moves outside the triangle ABC. The only effect this has on the calculation is that the quantity b − a cos(γ) is replaced by a cos(γ) − b. As this quantity enters the calculation only through its square, the rest of the proof is unaffected. However, this problem only occurs when β is obtuse, and may be avoided by reflecting the triangle about the bisector of γ.

Referring to Fig. 6 it is worth noting that if the angle opposite side a is α then:

tan⁡α=asin⁡γb−acos⁡γ.{displaystyle tan alpha ={frac {asin gamma }{b-acos gamma }}.}

This is useful for direct calculation of a second angle when two sides and an included angle are given.

Using Ptolemy's theorem

Proof of law of cosines using Ptolemy's theorem

Referring to the diagram, triangle ABC with sides AB = c, BC = a and AC = b is drawn inside its circumcircle as shown. Triangle ABD is constructed congruent to triangle ABC with AD = BC and BD = AC. Perpendiculars from D and C meet base AB at E and F respectively. Then:

BF=AE=BCcos⁡B^=acos⁡B^⇒ DC=EF=AB−2BF=c−2acos⁡B^.{displaystyle {begin{aligned}&BF=AE=BCcos {hat {B}}=acos {hat {B}}\Rightarrow &DC=EF=AB-2BF=c-2acos {hat {B}}.end{aligned}}}

Now the law of cosines is rendered by a straightforward application of Ptolemy's theorem to cyclic quadrilateral ABCD:

AD×BC+AB×DC=AC×BD⇒ a2+c(c−2acos⁡B^)=b2⇒ a2+c2−2accos⁡B^=b2.{displaystyle {begin{aligned}&ADtimes BC+ABtimes DC=ACtimes BD\Rightarrow &a^{2}+c(c-2acos {hat {B}})=b^{2}\Rightarrow &a^{2}+c^{2}-2accos {hat {B}}=b^{2}.end{aligned}}}

Plainly if angle B is right, then ABCD is a rectangle and application of Ptolemy's theorem yields the Pythagorean theorem:

a2+c2=b2.{displaystyle a^{2}+c^{2}=b^{2}.quad }

By comparing areas

One can also prove the law of cosines by calculating areas. The change of sign as the angle γ becomes obtuse makes a case distinction necessary.

Recall that

• 
  a², b², and c² are the areas of the squares with sides a, b, and c, respectively;


• if γ is acute, then ab cos γ is the area of the parallelogram with sides a and b forming an angle of γ′ = π/2 − γ;


• if γ is obtuse, and so cos γ is negative, then −ab cos γ is the area of the parallelogram with sides a and b forming an angle of γ′ = γ − π/2.

Fig. 7a – Proof of the law of cosines for acute angle γ by "cutting and pasting".

Acute case. Figure 7a shows a heptagon cut into smaller pieces (in two different ways) to yield a proof of the law of cosines. The various pieces are

• in pink, the areas a², b² on the left and the areas 2ab cos γ and c² on the right;


• in blue, the triangle ABC, on the left and on the right;


• in grey, auxiliary triangles, all congruent to ABC, an equal number (namely 2) both on the left and on the right.

The equality of areas on the left and on the right gives

a2+b2=c2+2abcos⁡γ.{displaystyle ,a^{2}+b^{2}=c^{2}+2abcos gamma ,.}

Fig. 7b – Proof of the law of cosines for obtuse angle γ by "cutting and pasting".

Obtuse case. Figure 7b cuts a hexagon in two different ways into smaller pieces, yielding a proof of the law of cosines in the case that the angle γ is obtuse. We have

• in pink, the areas a², b², and −2ab cos γ on the left and c² on the right;


• in blue, the triangle ABC twice, on the left, as well as on the right.

The equality of areas on the left and on the right gives

a2+b2−2abcos⁡(γ)=c2.{displaystyle ,a^{2}+b^{2}-2abcos(gamma )=c^{2}.}

The rigorous proof will have to include proofs that various shapes are congruent and therefore have equal area. This will use the theory of congruent triangles.

Using geometry of the circle

Using the geometry of the circle, it is possible to give a more geometric proof than using the Pythagorean theorem alone. Algebraic manipulations (in particular the binomial theorem) are avoided.

Fig. 8a – The triangle ABC (pink), an auxiliary circle (light blue) and an auxiliary right triangle (yellow)

Case of acute angle γ, where a > 2b cos γ. Drop the perpendicular from A onto a = BC, creating a line segment of length b cos γ. Duplicate the right triangle to form the isosceles triangle ACP. Construct the circle with center A and radius b, and its tangent h = BH through B. The tangent h forms a right angle with the radius b (Euclid's Elements: Book 3, Proposition 18; or see here), so the yellow triangle in Figure 8 is right. Apply the Pythagorean theorem to obtain

c2=b2+h2.{displaystyle c^{2}=b^{2}+h^{2}.}

Then use the tangent secant theorem (Euclid's Elements: Book 3, Proposition 36), which says that the square on the tangent through a point B outside the circle is equal to the product of the two lines segments (from B) created by any secant of the circle through B. In the present case: BH² = BC·BP, or

h2=a(a−2bcos⁡γ).{displaystyle h^{2}=a(a-2bcos gamma ).}

Substituting into the previous equation gives the law of cosines:

c2=b2+a(a−2bcos⁡γ).{displaystyle c^{2}=b^{2}+a(a-2bcos gamma ).}

Note that h² is the power of the point B with respect to the circle. The use of the Pythagorean theorem and the tangent secant theorem can be replaced by a single application of the power of a point theorem.

Fig. 8b – The triangle ABC (pink), an auxiliary circle (light blue) and two auxiliary right triangles (yellow)

Case of acute angle γ, where a < 2b cos γ. Drop the perpendicular from A onto a = BC, creating a line segment of length b cos γ. Duplicate the right triangle to form the isosceles triangle ACP. Construct the circle with center A and radius b, and a chord through B perpendicular to c = AB, half of which is h = BH. Apply the Pythagorean theorem to obtain

b2=c2+h2.{displaystyle b^{2}=c^{2}+h^{2}.}

Now use the chord theorem (Euclid's Elements: Book 3, Proposition 35), which says that if two chords intersect, the product of the two line segments obtained on one chord is equal to the product of the two line segments obtained on the other chord. In the present case: BH² = BC·BP, or

h2=a(2bcos⁡γ−a).{displaystyle h^{2}=a(2bcos gamma -a).}

Substituting into the previous equation gives the law of cosines:

b2=c2+a(2bcos⁡γ−a).{displaystyle b^{2}=c^{2}+a(2bcos gamma -a),.}

Note that the power of the point B with respect to the circle has the negative value −h².

Fig. 9 – Proof of the law of cosines using the power of a point theorem.

Case of obtuse angle γ. This proof uses the power of a point theorem directly, without the auxiliary triangles obtained by constructing a tangent or a chord. Construct a circle with center B and radius a (see Figure 9), which intersects the secant through A and C in C and K. The power of the point A with respect to the circle is equal to both AB² − BC² and AC·AK. Therefore,

c2−a2=b(b+2acos⁡(π−γ))=b(b−2acos⁡γ),{displaystyle {begin{aligned}c^{2}-a^{2}&{}=b(b+2acos(pi -gamma ))\&{}=b(b-2acos gamma ),end{aligned}}}

which is the law of cosines.

Using algebraic measures for line segments (allowing negative numbers as lengths of segments) the case of obtuse angle (CK > 0) and acute angle (CK < 0) can be treated simultaneously.

Using the law of sines

By using the law of sines and knowing that the angles of a triangle must sum to 180 degrees, we have the following system of equations (the three unknowns are the angles):

csin⁡γ=bsin⁡β,{displaystyle {frac {c}{sin gamma }}={frac {b}{sin beta }},}

csin⁡γ=asin⁡α,{displaystyle {frac {c}{sin gamma }}={frac {a}{sin alpha }},}

α+β+γ=π.{displaystyle alpha +beta +gamma =pi .}

Then, by using the third equation of the system, we obtain a system of two equations in two variables:

csin⁡γ=bsin⁡(α+γ),{displaystyle {frac {c}{sin gamma }}={frac {b}{sin(alpha +gamma )}},}

csin⁡γ=asin⁡α,{displaystyle {frac {c}{sin gamma }}={frac {a}{sin alpha }},}

where we have used the trigonometric property that the sine of a supplementary angle is equal to the sine of the angle.

Using the identity (see Angle sum and difference identities)

sin⁡(α+γ)=sin⁡αcos⁡γ+sin⁡γcos⁡α{displaystyle sin(alpha +gamma )=sin alpha cos gamma +sin gamma cos alpha }

leads to

c(sin⁡αcos⁡γ+sin⁡γcos⁡α)=bsin⁡γ,{displaystyle c(sin alpha cos gamma +sin gamma cos alpha )=bsin gamma ,}

csin⁡α=asin⁡γ.{displaystyle csin alpha =asin gamma .}

By dividing the whole system by cos γ, we have:

c(sin⁡α+tan⁡γcos⁡α)=btan⁡γ,{displaystyle c(sin alpha +tan gamma cos alpha )=btan gamma ,}

csin⁡αcos⁡γ=atan⁡γ,{displaystyle {frac {csin alpha }{cos gamma }}=atan gamma ,}

c2sin2⁡αcos2⁡γ=a2tan2⁡γ.{displaystyle {frac {c^{2}sin ^{2}alpha }{cos ^{2}gamma }}=a^{2}tan ^{2}gamma .}

Hence, from the first equation of the system, we can obtain

csin⁡αb−ccos⁡α=tan⁡γ{displaystyle {frac {csin alpha }{b-ccos alpha }}=tan gamma }

By substituting this expression into the second equation and by using

1+tan2⁡γ=1cos2⁡γ{displaystyle 1+tan ^{2}gamma ={frac {1}{cos ^{2}gamma }}}

we can obtain one equation with one variable:

c2sin2⁡α(1+c2sin2⁡α(b−ccos⁡α)2)=a2⋅c2sin2⁡α(b−ccos⁡α)2{displaystyle c^{2}sin ^{2}alpha left(1+{frac {c^{2}sin ^{2}alpha }{(b-ccos alpha )^{2}}}right)=a^{2}cdot {frac {c^{2}sin ^{2}alpha }{(b-ccos alpha )^{2}}}}

By multiplying by (b − c cos α)², we can obtain the following equation:

(b−ccos⁡α)2+c2sin2⁡α=a2.{displaystyle (b-ccos alpha )^{2}+c^{2}sin ^{2}alpha =a^{2}.}

This implies

b2−2bccos⁡α+c2cos2⁡α+c2sin2⁡α=a2.{displaystyle b^{2}-2bccos alpha +c^{2}cos ^{2}alpha +c^{2}sin ^{2}alpha =a^{2}.}

Recalling the Pythagorean identity, we obtain the law of cosines:

a2=b2+c2−2bccos⁡α.{displaystyle a^{2}=b^{2}+c^{2}-2bccos alpha .}

Isosceles case

When a = b, i.e., when the triangle is isosceles with the two sides incident to the angle γ equal, the law of cosines simplifies significantly. Namely, because a² + b² = 2a² = 2ab, the law of cosines becomes

cos⁡γ=1−c22a2{displaystyle cos gamma =1-{frac {c^{2}}{2a^{2}}}}

or

c2=2a2(1−cos⁡γ).{displaystyle c^{2}=2a^{2}(1-cos gamma ).}

Analog for tetrahedra

An analogous statement begins by taking α, β, γ, δ to be the areas of the four faces of a tetrahedron. Denote the dihedral angles by βγ^{displaystyle {widehat {beta gamma }}} etc. Then^[6]

α2=β2+γ2+δ2−2(βγcos⁡(βγ^)+γδcos⁡(γδ^)+δβcos⁡(δβ^)).{displaystyle alpha ^{2}=beta ^{2}+gamma ^{2}+delta ^{2}-2left(beta gamma cos left({widehat {beta gamma }}right)+gamma delta cos left({widehat {gamma delta }}right)+delta beta cos left({widehat {delta beta }}right)right).}

Version suited to small angles

When the angle, γ, is small and the adjacent sides, a and b, are of similar length, the right hand side of the standard form of the law of cosines can lose a lot of accuracy to numerical loss of significance. In situations where this is an important concern, a mathematically equivalent version of the law of cosines, similar to the haversine formula, can prove useful:

c2=(a−b)2+4absin2⁡(γ2)=(a−b)2+4abhaversin⁡(γ).{displaystyle {begin{aligned}c^{2}&=(a-b)^{2}+4absin ^{2}left({frac {gamma }{2}}right)\&=(a-b)^{2}+4aboperatorname {haversin} (gamma ).end{aligned}}}

In the limit of an infinitesimal angle, the law of cosines degenerates into the circular arc length formula, c = a γ.

Law of cosines in non-Euclidean geometry

Spherical triangle solved by the law of cosines.

A version of the law of cosines also holds in non-Euclidean geometry. In spherical geometry, a triangle is defined by three points u, v, and w on the unit sphere, and the arcs of great circles connecting those points. If these great circles make angles A, B, and C with opposite sides a, b, c then the spherical law of cosines asserts that both of the following relationships hold:

cos⁡a=cos⁡bcos⁡c+sin⁡bsin⁡ccos⁡Acos⁡A=−cos⁡Bcos⁡C+sin⁡Bsin⁡Ccos⁡a.{displaystyle {begin{aligned}cos a&=cos bcos c+sin bsin ccos A\cos A&=-cos Bcos C+sin Bsin Ccos a.end{aligned}}}

In hyperbolic geometry, a pair of equations are collectively known as the hyperbolic law of cosines. The first is

cosh⁡a=cosh⁡bcosh⁡c−sinh⁡bsinh⁡ccos⁡A{displaystyle cosh a=cosh bcosh c-sinh bsinh ccos A}

where sinh and cosh are the hyperbolic sine and cosine, and the second is

cos⁡A=−cos⁡Bcos⁡C+sin⁡Bsin⁡Ccosh⁡a.{displaystyle cos A=-cos Bcos C+sin Bsin Ccosh a.}

As in Euclidean geometry, one can use the law of cosines to determine the angles A, B, C from the knowledge of the sides a, b, c. However, unlike Euclidean geometry, the reverse is also possible in each of the models of non-Euclidean geometry: the angles A, B, C determine the sides a, b, c.

See also

• Half-side formula


• Law of sines


• Law of tangents


• Law of cotangents


• List of trigonometric identities


• Mollweide's formula


• Solution of triangles


• Triangulation

References

External links

• 
  Hazewinkel, Michiel, ed. (2001) [1994], "Cosine theorem", Encyclopedia of Mathematics, Springer Science+Business Media B.V. / Kluwer Academic Publishers, ISBN 978-1-55608-010-4
  


• 
  Several derivations of the Cosine Law, including Euclid's at cut-the-knot
  


• Interactive applet of Law of Cosines