Can you summarize the following document?
        
  餘弦的符號為formula_6,取自拉丁文cosinus。該符號最早由瑞士數學家萊昂哈德·尤拉所採用。

  

  在直角三角形中,一個銳角formula_7的餘弦定義為它的鄰邊與斜邊的比值,也就是:  可以發現其定義和正割函式互為倒數。

  設formula_9是平面直角座標系xOy中的一個象限角,formula_10是角的終邊上一點,formula_11是P到原點O的距離,則formula_9的餘弦定義為:

  影象中給出了用弧度度量的某個公共角。逆時針方向的度量是正角而順時針的度量是負角。設一個過原點的線,同"x"軸正半部分得到一個角formula_14,並與單位圓相交。這個交點的"y"座標等於formula_15。  在這個圖形中的三角形確保了這個公式;半徑等於斜邊並有長度1,所以有了formula_16。單位圓可以被認為是通過改變鄰邊和對邊的長度並保持斜邊等於1檢視無限數目的三角形的一種方式。  對於大於formula_2或小於formula_18的角度,簡單的繼續繞單位圓旋轉。在這種方式下,餘弦變成了週期為2π的周期函式:  對於任何角度formula_14和任何整數formula_21。

  由於餘弦的導數是負的正弦,正弦的導數是餘弦,因此餘弦函式滿足初值問題  這就是餘弦的微分方程定義。

  餘弦定理(也叫做餘弦公式)是勾股定理的擴充套件:  也表示為:  這個定理也可以通過把三角形分為兩個直角三角形來證明。餘弦定律用於在一個三角形的兩個邊和一個角已知時確定未知的資料。  如果這個角不包含在這兩個邊之間,三角形可能不是唯一的(邊-邊-角全等歧義)。小心餘弦定律的這種歧義情況。
餘弦是三角函式的一種。它的定義域是整個實數集,值域是formula_1。它是周期函式,其最小正週期為formula_2。在自變數為formula_3(formula_4為整數)時,該函式有極大值1;在自變數為formula_5時,該函式有極小值-1。餘弦函式是偶函式,其影象關於y軸對稱。