კოსინუსების თეორემა

200პქ|მინი|სამკუთხედი
**კოსინუსების თეორემა** — ტრიგონომეტრიის ერთ-ერთი თეორემა, რომლის თანახმადაც სამკუთხედის გვერდის კვადრატი უდრის დანარჩენი ორი გვერდის კვადრატების ჯამს ამ გვერდისა და მათ შორის მდებარე კუთხის კოსინუსის გაორკეცებული ნამრავლის გამოკლებით. 

: c^2 = a^2 + b^2 - 2ab\cos \gamma\,
: b^2 = c^2 + a^2 - 2ca\cos \beta\,
: a^2 = b^2 + c^2 - 2bc\cos \alpha\,

## ისტორია 
მინი|200პქ|ბლაგვკუთხა სამკუთხედი ABC სიმაღლით BH
ბერძენი მათემატიკოსის, გეომეტრიის ფუძემდებლად წოდებული ევკლიდეს, „საწყისებში“, რომელიც ქრ.შ-მდე III საუკუნით თარიღდება, განხილულია კოსინუსების თეორემა ბლაგვკუთხა და მახვილკუთხა სამკუთხედებისთვის. ევკლიდეს დებულება შეიძლება, ნახაზიდან გამომდინარე, ასე გადმოვცეთ:
:AB^2 = CA^2 - CB^2 + 2 \cdot CA \cdot CH\,
ეს ფორმულა შეიძლება ჩაიწეროს, როგორც კოსინუსების თეორემა, რადგან
:CH = CB \cos (180^\circ - \gamma) = -CB \cos \gamma\,
ევკლიდე ანალოგიურ დებულებას გადმოგვცემს მახვილკუთხა სამკუთხედებისთვისაც.
საინტერესოა ის, რომ ევკლიდეს დროს არ იყო შესწავლილი ალგებრა (კერძოდ, უარყოფითი რიცხვები) და ტრიგონომეტრიული ფუნქციები, ამიტომაც ევკლიდეს დებულებებს გეომეტრიული ელფერი დაჰკრავთ.
დასავლეთს კოსინუსების თეორემა ფრანსუა ვიეტმა გააცნო, რომელიც მან სავარაუდოდ დამოუკიდებლად აღმოაჩინა. თეორემამ დღევანდელი სახე XIX საუკუნის დასაწყისში მიიღო.

## დამტკიცება 
ვთქვათ, ABC სამკუთხედში B წვეროდან AC გვერდის მიმართ გავლებულია სიმაღლე BD. სიმაღლე შეიძლება მდებარეობდეს როგორც სამკუთხედის შიგნით (შემთხვევა 1), ისე ემთხვეოდეს მის გვერდს (შემთხვევა 2), ან მდებარეობდეს სამკუთხედის გარეთ (შემთხვევა 3):
150პქ|მინი|შემთხვევა 1
**შემთხვევა 1**: D წერტილი A და C წერტილებს შორისაა.
BCD სამკუთხედიდან
:BC^2 = BD^2 + DC^2\,
ABD სამკუთხედიდან
:BD^2 = AB^2 - AD^2\,
მაშინ
:BC^2 = AB^2 - AD^2 + DC^2 = AB^2 - AD^2 + (AC - AD)^2 = AB^2 - AD^2 + AC^2 - 2AC \cdot AD + AD^2 = AB^2 + AC^2 - 2AC \cdot AD\,
იმის გათვალისწინებით, რომ
:AD = AB \cos A\,
მიიღება:
:BC^2 = AB^2 + AC^2 - 2AB \cdot AC \cos A\,
150პქ|მინი|შემთხვევა 2
**შემთხვევა 2**: BD სიმაღლე ერთ-ერთ გვერდს ემთხვევა (ABC სამკუთხედი მართკუთხაა).
მაშინ, პითაგორას თეორემის თანახმად,
:BC^2 = AB^2 + AC^2\,
რადგან
:\cos 90^\circ = 0
ეს ტოლობა ასეც შეიძლება ჩაიწეროს:
:BC^2 = AB^2 + AC^2 - 2AB \cdot AC \cos A\,
150პქ|მინი|შემთხვევა 3
**შემთხვევა 3**: C წერტილი A და D წერტილებს შორისაა.
CBD სამკუთხედიდან:
:BC^2 = BD^2 + CD^2\,
ABD სამკუთხედიდან
:BD^2 = AB^2 - AD^2\,
მაშინ
:BC^2 = AB^2 - AD^2 + CD^2 = AB^2 - AD^2 + (AD - AC)^2 = AB^2 - AD^2 + AD^2 - 2AD \cdot AC + AC^2 = AB^2 + AC^2 - 2AD \cdot AC\,
იმის გათვალისწინებით, რომ
:AD = AB \cos A\,
მიიღება:
:BC^2 = AB^2 + AC^2 - 2AB \cdot AC \cos A\,

თეორემა დამტკიცებულია ყველა შესაძლო შემთხვევისთვის.

## გამოყენება 
კოსინუსების თეორემა გამოიყენება სამკუთხედების ამოხსნისას (მისი ყველა ელემენტის პოვნისას).
მაგალითად, როდესაც მოცემულია სამკუთხედის ყველა გვერდი, შეგვიძლია ვიპოვოთ მისი ყველა კუთხე. კოსინუსების თეორემიდან ვიღებთ, რომ
:\cos \alpha = {b^2 + c^2 - a^2 \over 2bc}
:\cos \beta = {a^2 + c^2 - b^2 \over 2ac}
:\cos \gamma = {a^2 + b^2 - c^2 \over 2ab}
ცხადია, კოსინუსების თეორემას ვიყენებთ მაშინაც, როდესაც ცნობილია სამკუთხედის ორი გვერდი და მათ შორის მდებარე კუთხე. ამ დროს მესამე გვერდი იქნება:
:c = \sqrt{a^2 + b^2 - 2ab \cos \gamma}

## ტოლფერდა სამკუთხედის შემთხვევა 
როცა a=b, ანუ როდესაც სამკუთხედი ტოლფერდაა, სამკუთხედის წვეროს პოვნის ფორმულა მნიშვნელოვანწილად მარტივდება.
როგორც ვიცით
:\cos \gamma = {a^2 + b^2 - c^2 \over 2ab}
რადგან
:a^2 + b^2 = 2a^2 = 2ab\,
მაშინ
:\cos \gamma = {2ab - c^2 \over 2ab} = 1 - {c^2 \over 2ab} = 1 - {c^2 \over 2a^2}

## იხილეთ აგრეთვე 
* სინუსების თეორემა
* ტანგესების თეორემა

## ლიტერატურა
კატეგორია:თეორემები სამკუთხედების შესახებ
კატეგორია:ტრიგონომეტრია