|
|
| Line 1: |
Line 1: |
| {{About|the law of cosines in [[Euclidean geometry]]|the cosine law of optics|Lambert's cosine law}}
| | e - Shop Word - Press is a excellent cart for your on the web shopping organization. Affilo - Theme is the guaranteed mixing of wordpress theme that Mark Ling use for his internet marketing career. This CMS has great flexibility to adapt various extensions and add-ons. If you need a special plugin for your website , there are thousands of plugins that can be used to meet those needs. In the most current edition you can customize your retailer layout and display hues and fonts similar to your site or blog. <br><br>Creating a website from scratch can be such a pain. Infertility can cause a major setback to the couples due to the inability to conceive. This plugin is a must have for anyone who is serious about using Word - Press. You can up your site's rank with the search engines by simply taking a bit of time with your site. That's a total of 180$ for each Wordpress theme if you sell 3 links and keep the designer link for your own website, or 240$ if you sell all links. <br><br>Here are a few reasons as to why people prefer Word - Press over other software's. Now if we talk about them one by one then -wordpress blog customization means customization of your blog such as installation of wordpress on your server by wordpress developer which will help you to acquire the SEO friendly blog application integrated with your site design as well as separate blog administration panel for starting up your own business blog,which demands a experienced wordpress designer. Possibly the most downloaded Word - Press plugin, the Google XML Sitemaps plugin but not only automatically creates a site map linking to everyone your pages and posts, it also notifies Google, Bing, Yahoo, and Ask. Nonetheless, with stylish Facebook themes obtainable on the Globe Broad Internet, half of your enterprise is done previously. Websites using this content based strategy are always given top scores by Google. <br><br>Numerous bloggers are utilizing Word - Press and with good reason. If you adored this article and you also would like to collect more info relating to [http://www.shortlinki.com/wordpress_backup_911595 wordpress dropbox backup] i implore you to visit the web-site. But the Joomla was created as the CMS over years of hard work. Normally, the Word - Press developers make a thorough research on your website goals and then ingrain the most suitable graphical design elements to your website. So, we have to add our social media sharing buttons in website. Word - Press offers constant updated services and products, that too, absolutely free of cost. <br><br>There is no denying that Magento is an ideal platform for building ecommerce websites, as it comes with an astounding number of options that can help your online business do extremely well. Mahatma Gandhi is known as one of the most prominent personalities and symbols of peace, non-violence and freedom. However, you must also manually approve or reject comments so that your website does not promote parasitic behavior. Thus, Word - Press is a good alternative if you are looking for free blogging software. Definitely when you wake up from the slumber, you can be sure that you will be lagging behind and getting on track would be a tall order. |
| [[Image:Triangle with notations 2.svg|thumb|198px|right||Figure 1 – A triangle. The angles ''α'' (or ''A''), ''β'' (or ''B''), and ''γ'' (or ''C'') are respectively opposite the sides ''a'', ''b'', and ''c''.]]
| |
| {{Trigonometry}}
| |
| 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 [[angle]]s. Using notation as in Fig. 1, the law of cosines states
| |
| :<math>c^2 = a^2 + b^2 - 2ab\cos\gamma\,</math>
| |
| | |
| where <math>\gamma\,</math> 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 triangle#Types of triangles|right triangles]]: if the angle <math>\gamma\,</math> is a right angle (of measure 90[[degree (angle)|°]] or π/2 radians), then {{nowrap|cos <math>\gamma\,</math> {{=}} 0,}} and thus the law of cosines reduces to the [[Pythagorean theorem]]:
| |
| :<math>c^2 = a^2 + b^2.\,</math>
| |
| | |
| 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.
| |
| | |
| By changing which sides of the triangle play the roles of ''a'', ''b'', and ''c'' in the original formula, one discovers that the following two formulas also state the law of cosines:
| |
| :<math>a^2 = b^2 + c^2 - 2bc\cos\alpha\,</math>
| |
| :<math>b^2 = a^2 + c^2 - 2ac\cos\beta.\,</math>
| |
| | |
| [[Image:Obtuse Triangle With Altitude ZP2.svg|thumb|200px|Fig. 2 – Obtuse triangle ''ABC'' with perpendicular ''BH'']]
| |
| Though the notion of the [[Trigonometric functions|cosine]] was not yet developed in his time, [[Euclid]]'s ''[[Euclid's Elements|Elements]]'', dating back to the 3rd century BC, contains an early geometric theorem almost equivalent to the law of cosines. The case of obtuse triangle and acute triangle (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:
| |
| {{quote|text=''Proposition 12<br>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.''|sign=Euclid's ''Elements'', translation by [[Thomas L. Heath]].<ref>{{cite web|title=Euclid, Elements Thomas L. Heath, Sir Thomas Little Heath, Ed|url=http://www.perseus.tufts.edu/cgi-bin/ptext?doc=Perseus%3Atext%3A1999.01.0086&query=head%3D%2398&chunk=book|accessdate=3 November 2012}}</ref> }}
| |
| | |
| Using notation as in Fig. 2, Euclid's statement can be represented by the formula
| |
| :<math>AB^2 = CA^2 + CB^2 + 2 (CA)(CH)\,.</math>
| |
| | |
| This formula may be transformed into the law of cosines by noting that {{nowrap|''CH'' {{=}} (''CB'') cos(''π'' − ''γ'') {{=}} −(''CB'') cos ''γ''.}} Proposition 13 contains an entirely analogous statement for acute triangles.
| |
| | |
| 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==
| |
| [[Image:triangle-with-an-unknown-angle-or-side.svg|thumb|240px|right|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:
| |
| ::<math>\,c = \sqrt{a^2+b^2-2ab\cos\gamma}\,;</math>
| |
| *the angles of a triangle if one knows the three sides:
| |
| ::<math>\,\gamma = \arccos\left(\frac{a^2+b^2-c^2}{2ab}\right)\,;</math>
| |
| *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]]):
| |
| ::<math>\, a=b\cos\gamma \pm \sqrt{c^2 -b^2\sin^2\gamma}\,.</math>
| |
| | |
| These formulas produce high [[round-off error]]s 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'' the [[quadratic equation]] {{nowrap|''a''<sup>2</sup> − 2''ab'' cos ''γ'' + ''b''<sup>2</sup> − ''c''<sup>2</sup> {{=}} 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 {{nowrap|''b'' sin ''γ'' < ''c'' < ''b'',}} only one positive solution if {{nowrap|''c'' ≥ ''b''}}, and no solution if {{nowrap|''c'' < ''b'' sin ''γ''.}} These different cases are also explained by the Side-Side-Angle [[Congruence (geometry)|congruence]] ambiguity.
| |
| <br clear="all"/>
| |
| | |
| ==Proofs==
| |
| ===Using the distance formula===
| |
| Consider a triangle with sides of length ''a'', ''b'', ''c'', where ''γ'' is the measurement of the angle opposite the side of length ''c''. We can place this triangle on the coordinate system by plotting
| |
| :<math>A = (b \cos\gamma,\ b \sin\gamma),\ B = (a,\ 0),\ \text{and}\ C = (0,\ 0)\,.</math>
| |
| | |
| By the distance formula, we have
| |
| :<math>c = \sqrt{(a - b \cos\gamma)^2 + (0 - b \sin\gamma)^2}\,.</math>
| |
| | |
| Now, we just work with that equation:
| |
| :<math>\begin{align}
| |
| c^2 & {} = (a - b \cos\gamma)^2 + (- b \sin\gamma)^2 \\
| |
| c^2 & {} = a^2 - 2 a b \cos\gamma + b^2 \cos^2 \gamma + b^2 \sin^2 \gamma \\
| |
| c^2 & {} = a^2 + b^2 (\sin^2 \gamma + \cos^2 \gamma) - 2 a b \cos\gamma \\
| |
| c^2 & {} = a^2 + b^2 - 2 a b \cos\gamma\,.
| |
| \end{align}</math>
| |
| | |
| An advantage of this proof is that it does not require the consideration of different cases for when the triangle is acute vs. obtuse.
| |
| | |
| ===Using trigonometry===
| |
| [[Image:Triangle-with-cosines.svg|thumb|right|300px|Fig. 4 – An acute triangle with perpendicular]]
| |
| Drop the [[perpendicular]] onto the side ''c'' to get (see Fig. 4)
| |
| :<math>c=a\cos\beta+b\cos\alpha\,.</math>
| |
| | |
| (This is still true if ''α'' or ''β'' is obtuse, in which case the perpendicular falls outside the triangle.) Multiply through by ''c'' to get
| |
| :<math>c^2 = ac\cos\beta + bc\cos\alpha.\,</math>
| |
| | |
| By considering the other perpendiculars obtain
| |
| :<math>a^2 = ac\cos\beta + ab\cos\gamma,\,</math>
| |
| :<math>b^2 = bc\cos\alpha + ab\cos\gamma.\,</math>
| |
| | |
| Adding the latter two equations gives
| |
| :<math>a^2 + b^2 = ac\cos\beta + bc\cos\alpha + 2ab\cos\gamma.\,</math>
| |
| | |
| Subtracting the first equation from the last one we have
| |
| :<math>a^2 + b^2 - c^2 = - ac\cos\beta - bc\cos\alpha+ ac\cos\beta + bc\cos\alpha + 2ab\cos\gamma\,</math>
| |
| | |
| which simplifies to
| |
| :<math>c^2 = a^2 + b^2 - 2ab\cos\gamma.\,</math>
| |
| | |
| 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 {{nowrap|''a'' cos ''γ''}} merely as a label for the length of a certain line segment.
| |
| <br clear="all"/>
| |
| | |
| Many proofs deal with the cases of obtuse and acute angles ''γ'' separately.
| |
| | |
| ===Using the Pythagorean theorem===
| |
| [[Image:Obtuse Triangle With Altitude ZP.svg|thumb|200px|Fig. 5 – 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 Fig. 5. Using ''d'' to denote the line segment ''CH'' and ''h'' for the height ''BH'', triangle ''AHB'' gives us
| |
| :<math>c^2 = (b+d)^2 + h^2,\,</math>
| |
| | |
| and triangle ''CHB'' gives
| |
| :<math>d^2 + h^2 = a^2.\,</math>
| |
| | |
| [[Polynomial expansion|Expanding]] the first equation gives
| |
| :<math>c^2 = b^2 + 2bd + d^2 +h^2.\,</math>
| |
| | |
| Substituting the second equation into this, the following can be obtained:
| |
| :<math>c^2 = a^2 + b^2 + 2bd.\,</math>
| |
| | |
| This is Euclid's Proposition 12 from Book 2 of the ''[[Euclid's Elements|Elements]]''.<ref name=Joyce>[http://aleph0.clarku.edu/~djoyce/java/elements/bookII/propII12.html Java applet version] by Prof. D E Joyce of Clark University.</ref> To transform it into the modern form of the law of cosines, note that
| |
| :<math>d = a\cos(\pi-\gamma)= -a\cos\gamma.\,</math>
| |
| | |
| ====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.
| |
| | |
| [[Image:Triangle with trigonometric proof of the law of cosines.svg|thumb|319px|left|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:
| |
| :<math>\begin{align}
| |
| c^2 & {} = (b-a\cos\gamma)^2 + (a\sin\gamma)^2 \\
| |
| & {} = b^2 - 2ab\cos\gamma + a^2\cos^2\gamma+a^2\sin^2\gamma \\
| |
| & {} = b^2 + a^2 - 2ab\cos\gamma,
| |
| \end{align}</math>
| |
| | |
| using the trigonometric identity
| |
| :<math>\cos^2\gamma + \sin^2\gamma = 1.\,</math>
| |
| | |
| This proof needs a slight modification if {{nowrap|''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 {{nowrap|''b'' − ''a'' cos(''γ'')}} is replaced by {{nowrap|''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:
| |
| :<math>\tan\alpha = \frac{a\sin\gamma}{b-a\cos\gamma}.</math>
| |
| | |
| This is useful for direct calculation of a second angle when two sides and an included angle are given.
| |
| | |
| ===Using Ptolemy's theorem===
| |
| [[Image:Ptolemy cos.svg|thumb|300px|right|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:
| |
| :<math>\begin{align}
| |
| & BF=AE=BC\cos\hat{B}=a\cos\hat{B} \\
| |
| \Rightarrow \ & DC=EF=AB-2BF=c-2a\cos\hat{B}.
| |
| \end{align}</math>
| |
| | |
| Now the law of cosines is rendered by a straightforward application of Ptolemy's theorem to [[cyclic quadrilateral]] ''ABCD'':
| |
| :<math>\begin{align}
| |
| & AD \times BC + AB \times DC = AC \times BD \\
| |
| \Rightarrow \ & a^2 + c(c-2a\cos\hat{B})=b^2 \\
| |
| \Rightarrow \ & a^2+c^2-2ac \cos\hat{B}=b^2.
| |
| \end{align}</math>
| |
| | |
| Plainly if angle ''B'' is 90°, then ''ABCD'' is a rectangle and application of Ptolemy's theorem yields the Pythagorean theorem:
| |
| :<math>a^2+c^2=b^2.\quad</math>
| |
| | |
| ===By comparing areas===
| |
| One can also prove the law of cosines by calculating [[area]]s. The change of sign as the angle ''γ'' becomes obtuse makes a case distinction necessary.
| |
| | |
| Recall that
| |
| *''a''<sup>2</sup>, ''b''<sup>2</sup>, and ''c''<sup>2</sup> 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 <math>\scriptstyle\gamma'\, =\, \pi/2 - \gamma</math>;
| |
| *if ''γ'' is obtuse, and so cos ''γ'' is negative, then {{nowrap|−''ab'' cos ''γ''}} is the area of the [[parallelogram]] with sides ''a'' and ''b'' forming an angle of <math>\scriptstyle\gamma' \,=\, \gamma - \pi/2</math>.
| |
| | |
| [[Image:law of cosines with acute angles.svg|left|frame|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''<sup>2</sup>, ''b''<sup>2</sup> on the left and the areas {{nowrap|2''ab'' cos ''γ''}} and ''c''<sup>2</sup> on the right;
| |
| *in blue, the triangle ''ABC'', on the left and on the right;
| |
| *in grey, auxiliary triangles, all [[congruence (geometry)|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
| |
| :<math>\,a^2 + b^2 = c^2 + 2ab\cos\gamma\,.</math>
| |
| <br clear="all"/>
| |
| | |
| [[Image:law of cosines with an obtuse angle.svg|right|frame|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''<sup>2</sup>, ''b''<sup>2</sup>, and {{nowrap|−2''ab'' cos ''γ''}} on the left and ''c''<sup>2</sup> 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
| |
| :<math>\,a^2 + b^2 - 2ab\cos(\gamma) = c^2.</math>
| |
| | |
| The rigorous proof will have to include proofs that various shapes are [[congruence (geometry)|congruent]] and therefore have equal area. This will use the theory of [[congruence (geometry)#Congruence of triangles|congruent triangles]].
| |
| <br clear="all"/>
| |
| | |
| ===Using geometry of the circle===
| |
| Using the [[circle|geometry of the circle]], it is possible to give a more [[geometric]] proof than using the [[Pythagorean theorem]] alone. [[elementary algebra|Algebraic]] manipulations (in particular the [[binomial theorem]]) are avoided.
| |
| | |
| [[Image:law-of-cosines-circle-1.svg|left|thumb|400px|Fig. 8a – The triangle ''ABC'' (pink), an auxiliary circle (light blue) and an auxiliary right triangle (yellow)]]
| |
| '''Case of acute angle ''γ'', where {{nowrap|''a'' > 2''b'' cos ''γ'''''}}. Drop the [[perpendicular]] from ''A'' onto ''a'' = ''BC'', creating a line segment of length {{nowrap|''b'' cos ''γ''}}. Duplicate the ''[[triangle#Types of triangle|right triangle]]'' to form the [[triangle#Types of triangle|isosceles triangle]] ''ACP''. Construct the [[circle]] with center ''A'' and radius ''b'', and its [[tangent (trigonometric function)|tangent]] {{nowrap|''h'' {{=}} ''BH''}} through ''B''. The tangent ''h'' forms a right angle with the radius ''b'' (Euclid's ''Elements'': Book 3, Proposition 18; or see [[circle#Tangent properties|here]]), so the yellow triangle in Figure 8 is right. Apply the [[Pythagorean theorem]] to obtain
| |
| :<math>c^2 = b^2 + h^2.\,</math>
| |
| | |
| Then use the [[circle#Secant, tangent, and chord properties|''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 line|secant]] of the circle through ''B''. In the present case: {{nowrap|''BH''<sup>2</sup> {{=}} ''BC BP'',}} or
| |
| :<math>h^2 = a(a - 2b\cos\gamma).\,</math>
| |
| | |
| Substituting into the previous equation gives the law of cosines:
| |
| :<math>c^2 = b^2 + a(a - 2b\cos\gamma).\,</math>
| |
| | |
| Note that ''h''<sup>2</sup> is the [[power of a point|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]].
| |
| <br clear="all"/>
| |
| | |
| [[Image:law-of-cosines-circle-2.svg|left|thumb|275px|Fig. 8b – The triangle ''ABC'' (pink), an auxiliary circle (light blue) and two auxiliary right triangles (yellow)]]
| |
| '''Case of acute angle ''γ'', where {{nowrap|''a'' < 2''b'' cos ''γ''}}'''. Drop the [[perpendicular]] from ''A'' onto ''a'' = ''BC'', creating a line segment of length {{nowrap|''b'' cos ''γ''}}. Duplicate the [[triangle#Types of triangle|right triangle]] to form the [[triangle#Types of triangle|isosceles triangle]] ''ACP''. Construct the [[circle]] with center ''A'' and radius ''b'', and a [[chord (geometry)|chord]] through ''B'' perpendicular to {{nowrap|''c'' {{=}} ''AB'',}} half of which is {{nowrap|''h'' {{=}} ''BH''.}} Apply the [[Pythagorean theorem]] to obtain
| |
| :<math>b^2 = c^2 + h^2.\,</math>
| |
| | |
| Now use the [[circle#Secant, tangent, and chord properties|''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: {{nowrap|''BH''<sup>2</sup> {{=}} ''BC BP'',}} or
| |
| :<math>h^2 = a(2b\cos\gamma - a).\,</math>
| |
| | |
| Substituting into the previous equation gives the law of cosines:
| |
| :<math>b^2 = c^2 + a(2b\cos\gamma - a)\,.</math>
| |
| | |
| Note that the power of the point ''B'' with respect to the circle has the negative value −''h''<sup>2</sup>.
| |
| <br clear="all"/> | |
| | |
| [[Image:triangle with circle of center B and radius BC.svg|right|frame|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 line|secant]] through ''A'' and ''C'' in ''C'' and ''K''. The [[power of a point|power]] of the point ''A'' with respect to the circle is equal to both ''AB''<sup>2</sup> − ''BC''<sup>2</sup> and ''AC·AK''. Therefore,
| |
| :<math>\begin{align}
| |
| c^2 - a^2 & {} = b(b + 2a\cos(\pi - \gamma)) \\
| |
| & {} = b(b - 2a\cos\gamma),
| |
| \end{align}</math>
| |
| | |
| which is the law of cosines.
| |
| | |
| Using algebraic measures for line segments (allowing [[negative numbers]] as lengths of segments) the case of obtuse angle {{nowrap|(''CK'' > 0)}} and acute angle {{nowrap|(''CK'' < 0)}} can be treated simultaneously.
| |
| <br clear="all"/>
| |
| | |
| ==Vector formulation==
| |
| The law of cosines is equivalent to the formula
| |
| :<math>\vec b\cdot \vec c = \Vert \vec b\Vert\Vert\vec c\Vert\cos \theta</math>
| |
| | |
| in the theory of [[Vector (geometry)|vectors]], which expresses the [[dot product]] of two vectors in terms of their respective [[Vector (geometry)#Length|lengths]] and the [[angle]] they enclose.
| |
| | |
| [[Image:Vectorcosine.svg|right|thumb|250px|Fig. 10 – Vector triangle]]
| |
| '''Proof of equivalence'''. Referring to Figure 10, note that
| |
| :<math>\vec a=\vec b-\vec c\,,</math>
| |
| | |
| and so we may calculate: | |
| :<math>\begin{align}
| |
| \Vert\vec a\Vert^2 & = \Vert\vec b - \vec c\Vert^2 \\
| |
| & = (\vec b - \vec c)\cdot(\vec b - \vec c) \\
| |
| & = \Vert\vec b \Vert^2 + \Vert\vec c \Vert^2 - 2 \vec b\cdot\vec c.
| |
| \end{align}</math>
| |
| | |
| The law of cosines formulated in this notation states:
| |
| :<math>\begin{align}
| |
| \Vert\vec a\Vert^2 &= \Vert\vec b \Vert^2 + \Vert\vec c \Vert^2 - 2 \Vert \vec b\Vert\Vert\vec c\Vert\cos\theta \\
| |
| \Vert\vec b - \vec c \Vert^2 &= \Vert\vec b \Vert^2 + \Vert\vec c \Vert^2 - 2 \Vert \vec b\Vert\Vert\vec c \Vert\cos\theta \\
| |
| 2 \Vert \vec b\Vert\Vert\vec c \Vert\cos\theta &= \Vert\vec b \Vert^2 + \Vert\vec c \Vert^2 - \Vert\vec b - \vec c \Vert^2 \\
| |
| \Vert \vec b\Vert\Vert\vec c \Vert\cos\theta &= \frac{\Vert\vec b \Vert^2 + \Vert\vec c \Vert^2 - (\Vert\vec b \Vert^2 - 2 \vec b \cdot \vec c + \Vert \vec c \Vert^2)}{2} \\
| |
| \Vert \vec b\Vert\Vert\vec c \Vert\cos\theta &= \vec b \cdot \vec c \\
| |
| \end{align}</math>
| |
| | |
| which is clearly equivalent to the above formula from the theory of vectors.
| |
| <br clear="all"/>
| |
| | |
| ==Isosceles case==
| |
| When ''a'' = ''b'', i.e., when the triangle is [[triangle#Types of triangle|isosceles]] with the two sides incident to the angle ''γ'' equal, the law of cosines simplifies significantly. Namely, because {{nowrap|''a''<sup>2</sup> + ''b''<sup>2</sup> {{=}} 2''a''<sup>2</sup> {{=}} 2''ab''}}, the law of cosines becomes
| |
| :<math>\cos\gamma = 1 - \frac{c^2}{2a^2}</math>
| |
| | |
| or | |
| :<math>c^2 = 2a^2 (1 - \cos\gamma).\;</math>
| |
| | |
| ==Analog for tetrahedra==
| |
| An analogous statement begins by taking ''α'', ''β'', ''γ'', ''δ'' to be the areas of the four faces of a [[tetrahedron]]. Denote the [[dihedral angle]]s by <math>\scriptstyle{ \widehat{\beta\gamma}, }</math> etc. Then<ref>{{cite book
| |
| |last=Casey
| |
| |first=John
| |
| |title=A Treatise on Spherical Trigonometry: And Its Application to Geodesy and Astronomy with Numerous Examples
| |
| |location=London
| |
| |publisher=Longmans, Green, & Company
| |
| |year=1889
| |
| |page=133}}</ref>
| |
| :<math>\alpha^2 = \beta^2 + \gamma^2 + \delta^2 - 2\left(\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).\,</math>
| |
| | |
| ==Law of cosines in non-Euclidean geometry==
| |
| {{Main|Spherical law of cosines|Hyperbolic law of cosines}}
| |
| [[Image:Law-of-haversines.svg|right|thumb|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 circle]]s 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 each of the following relationships hold:
| |
| :<math>\begin{align}
| |
| \cos a &= \cos b\cos c + \sin b\sin c\cos A\\
| |
| \cos A &= -\cos B\cos C + \sin B\sin C\cos a.
| |
| \end{align}</math>
| |
| | |
| In [[hyperbolic geometry]], a pair of equations are collectively known as the [[hyperbolic law of cosines]]. The first is
| |
| :<math>\cosh a = \cosh b\cosh c - \sinh b \sinh c \cos A\,</math>
| |
| | |
| where sinh and cosh are the [[hyperbolic functions|hyperbolic sine and cosine]], and the second is
| |
| :<math>\cos A = -\cos B \cos C + \sin B\sin C\cosh a.\,</math>
| |
| | |
| Like 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]]
| |
| *[[List of trigonometric identities]]
| |
| *[[Mollweide's formula]]
| |
| *[[Solution of triangles]]
| |
| *[[Triangulation]]
| |
| | |
| ==References==
| |
| {{Reflist}}
| |
| | |
| ==External links==
| |
| * {{springer|title=Cosine theorem|id=p/c026660}}
| |
| * [http://www.cut-the-knot.org/pythagoras/cosine.shtml Several derivations of the Cosine Law, including Euclid's] at [[cut-the-knot]]
| |
| * [http://www.mathwarehouse.com/trigonometry/law-of-cosines-formula-examples.php Interactive applet of Law of Cosines]
| |
| | |
| {{DEFAULTSORT:Law Of Cosines}}
| |
| [[Category:Trigonometry]]
| |
| [[Category:Angle]]
| |
| [[Category:Triangle geometry]]
| |
| [[Category:Articles containing proofs]]
| |
| [[Category:Theorems in plane geometry]]
| |
| | |
| {{Link GA|es}}
| |
| {{Link FA|ca}}
| |
| {{Link FA|fr}}
| |