Burchakning yarmining tangensini butun burchakning trigonometrik funktsiyalari bilan bog'laydi
Yilda trigonometriya, tangens yarim burchakli formulalar burchakning yarmining tangensini butun burchakning trigonometrik funktsiyalari bilan bog'lash. Bular orasida quyidagilar mavjud
![{ displaystyle { begin {aligned}  tan  left ({ frac { eta  pm  theta} {2}}  right) & = { frac { sin  eta  pm  sin  theta} {  cos  eta +  cos  theta}} = - { frac { cos  eta -  cos  theta} { sin  eta  mp  sin  theta}},  [10pt]  tan  left ( pm { frac { theta} {2}}  right) & = { frac { pm  sin  theta} {1+  cos  theta}} = { frac { pm  tan  theta } { sec  theta +1}} = { frac { pm 1} { csc  theta +  cot  theta}}, && ( eta = 0)  [10pt]  tan  left ( pm { frac { theta} {2}}  right) & = { frac {1-  cos  theta} { pm  sin  theta}} = { frac { sec  theta -1} {  pm  tan  theta}} =  pm ( csc  theta -  cot  theta), && ( eta = 0)  [10pt]  tan  left ({ frac {1} {2}} ( theta  pm { frac { pi} {2}})  o'ng) & = { frac {1  pm  sin  theta} { cos  theta}} = = sec  theta  pm  tan  theta = { frac { csc  theta  pm 1} { cot  theta}}, && ( eta = { frac { pi} {2}})  [10pt]  tan  left ( { frac {1} {2}} ( theta  pm { frac { pi} {2}})  right) & = { frac { cos  theta} {1  mp  sin  theta} } = { frac {1} { sec  theta  mp  tan  theta}} = { frac { cot  theta} { csc  theta  mp 1}}, && ( eta = { f rac { pi} {2}})  [10pt] { frac {1-  tan ( theta / 2)} {1+  tan ( theta / 2)}} & =  pm { sqrt { frac {1-  sin  theta} {1+  sin  theta}}}  [10pt]  tan { frac { theta} {2}} & =  pm { sqrt { frac { 1-  cos  theta} {1+  cos  theta}}}  end {hizalanmış}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/ad713e98433a7048f4e338e1eb21a2dba895400a)
Ulardan sinus, kosinus va tangensni yarim burchakli tanjens funktsiyalari sifatida ifodalaydigan identifikatorlarni olish mumkin:
![{ displaystyle { begin {aligned}  sin  alpha & = { frac {2  tan { dfrac { alpha} {2}}} {1+  tan ^ {2} { dfrac { alpha} {2}}}}  [7pt]  cos  alpha & = { frac {1-  tan ^ {2} { dfrac { alpha} {2}}} {1+  tan ^ {2} { dfrac { alpha} {2}}}}  [7pt]  tan  alpha & = { frac {2  tan { dfrac { alpha} {2}}} {1-  tan ^ { 2} { dfrac { alpha} {2}}}}  end {aligned}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/1488a5e85116f8ce790eba2c42d30f83be62cd62)
Isbot
Algebraik dalillar
Foydalanish ikki burchakli formulalar va gunoh2 a + cos2 a = 1,


sinus va kosinus rentabelligi uchun formulalar miqdorini olish

Pifagor kimligini birlashtirish 
  kosinusning ikki burchakli formulasi bilan, 
, 
qayta tashkil etish va kvadrat ildizlarning hosilini olish 
  va 
bo'linishidan keyin beradi
 = 
 = 
 = 
yoki muqobil ravishda 
 = 
 = 
 = 
.
Sinus va kosinus uchun burchak qo'shish va ayirish formulalaridan foydalanib, quyidagilar olinadi:




Yuqoridagi to'rtta formulani birma-bir qo'shish natijasida hosil bo'ladi:
![{ displaystyle { begin {aligned}  sin (a + b) +  sin (ab) & =  sin a  cos b +  cos a  sin b +  sin a  cos b-  cos a  sin b   & = 2  sin a  cos b  [3pt]  cos (a + b) +  cos (ab) & =  cos a  cos b-  sin a  sin b +  cos a  cos b +  sin a  sin b  & = 2  cos a  cos b  end {hizalanmış}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/b3be35629cf9d7bd95926935e26b3491ca0ebe1c)
O'rnatish 
 va 
 va hosilni almashtirish:
![{ displaystyle { begin {aligned}  sin  left ({ frac {p + q} {2}} + { frac {pq} {2}}  right) + + sin  left ({ frac { p + q} {2}} - { frac {pq} {2}}  o'ng) & =  sin (p) +  sin (q)  & = 2  sin  chap ({ frac {p + q} {2}}  o'ng)  cos  chap ({ frac {pq} {2}}  o'ng)  [6pt]  cos  chap ({ frac {p + q} {2}} + { frac {pq} {2}}  o'ng) +  cos  chap ({ frac {p + q} {2}} - { frac {pq} {2}}  o'ng) & =  cos (p) +  cos (q)  & = 2  cos  chap ({ frac {p + q} {2}}  o'ng)  cos  chap ({ frac {pq} {2}}  o'ng)  end {hizalangan}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/47546d4aaba974124267370b6d6f3d9bc4c40aee)
Sinuslar yig'indisini kosinuslar yig'indisiga bo'lish quyidagicha keladi:

Geometrik isbotlar
Yuqorida keltirilgan formulalarni o'ngdagi romb shakliga qo'llasak, buni darhol ko'rsatish mumkin
  Ushbu rombning yon tomonlari uzunligi 1. Gorizontal chiziq va ko'rsatilgan diagonal orasidagi burchakka teng
(a + b)/2. Tangens yarim burchakli formulani isbotlashning geometrik usuli. Formulalar 
gunoh ((a + b)/2) va 
cos ((a + b)/2) ularning haqiqiy qiymatiga emas, balki diagonalga bo'lgan munosabatini ko'rsating.

Birlik doirasida yuqoridagilarning qo'llanilishi shuni ko'rsatadiki 
. Ga binoan o'xshash uchburchaklar,
  A 
geometrik tangens yarim burchakli formulaning isboti
. Bundan kelib chiqadiki 
Integral hisobdagi yarim burchakni teginish bilan almashtirish
Ning turli xil ilovalarida trigonometriya, ni qayta yozish foydalidir trigonometrik funktsiyalar (kabi sinus va kosinus) xususida ratsional funktsiyalar yangi o'zgaruvchining t. Ushbu identifikatorlar umumiy sifatida tanilgan tangens yarim burchakli formulalar ning ta'rifi tufayli t. Ushbu identifikatorlar foydali bo'lishi mumkin hisob-kitob sinus va kosinusdagi ratsional funktsiyalarni funktsiyalariga o'tkazish uchun t ularni topish uchun antidiviv vositalar.
Texnika nuqtai nazaridan yarim burchakli formulalarning mavjudligi doira bu algebraik egri chiziq ning tur 0. Keyin kutish kerak dairesel funktsiyalar ratsional funktsiyalarga qisqartirilishi kerak.
Geometrik ravishda qurilish quyidagi tarzda amalga oshiriladi: ning har qanday nuqtasi (cos φ, sin φ) uchun birlik doirasi, u orqali o'tuvchi chiziq va nuqta chiziladi (−1, 0). Ushbu nuqta y-axsus nuqtada y = t. Buni oddiy geometriya yordamida ko'rsatish mumkin t = tan (φ / 2). Chizilgan chiziq uchun tenglama y = (1 + x)t. Chiziq va aylananing kesishishi tenglamasi keyin a bo'ladi kvadrat tenglama jalb qilish t. Ushbu tenglamaning ikkita echimi (−1, 0) va (cos φ, gunoh φ). Bu bizni ikkinchisini ning ratsional funktsiyalari sifatida yozishga imkon beradi t (echimlar quyida keltirilgan).
Parametr t ifodalaydi stereografik proektsiya nuqta (cos φ, gunoh φ) ustiga y- proektsiya markazi at-ga teng bo'lgan eksa (−1, 0). Shunday qilib, tangens yarim burchakli formulalar stereografik koordinata o'rtasida konversiyani beradi t birlik doirasi va standart burchak koordinatasida φ.
Keyin bizda bor
![{ displaystyle { begin {aligned} &  cos  varphi = { frac {1-t ^ {2}} {1 + t ^ {2}}}, &&  sin  varphi = { frac {2t} {1 + t ^ {2}}},  [8pt] &  tan  varphi = { frac {2t} {1-t ^ {2}}} &&  cot  varphi = { frac {1- t ^ {2}} {2t}},  [8pt] &  sec  varphi = { frac {1 + t ^ {2}} {1-t ^ {2}}}, &&  csc  varphi = { frac {1 + t ^ {2}} {2t}},  end {aligned}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/08f98c12115730e5358bc22c958bd46f540687d6)
va

To'g'ridan-to'g'ri yuqoridagi va boshlang'ich ta'rifi orasidagi phi-ni yo'q qilish orqali t, biri uchun quyidagi foydali munosabatlarga keladi arktangens jihatidan tabiiy logaritma

Yilda hisob-kitob, Weierstrass o'rnini almashtirish antidivivlarini topish uchun ishlatiladi ratsional funktsiyalar ning gunoh φ vacos φ. Sozlamadan keyin

Bu shuni anglatadiki

butun son uchun nva shuning uchun

Giperbolik identifikatorlar
Bilan to'liq o'xshash o'yin o'ynash mumkin giperbolik funktsiyalar. A (o'ng filiali) a giperbola tomonidan berilgan(cosh.) θ, sinx θ). Buni loyihalash y- markazdan (−1, 0) quyidagilarni beradi:

identifikatorlari bilan
![{ displaystyle { begin {aligned} &  cosh  theta = { frac {1 + t ^ {2}} {1-t ^ {2}}}, &&  sinh  theta = { frac {2t} {1-t ^ {2}}},  [8pt] &  tanh  theta = { frac {2t} {1 + t ^ {2}}}, &&  coth  theta = { frac {1 + t ^ {2}} {2t}},  [8pt] &  operatorname {sech} ,  theta = { frac {1-t ^ {2}} {1 + t ^ {2}}} , &&  operatorname {csch} ,  theta = { frac {1-t ^ {2}} {2t}},  end {aligned}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/9f5052ad2f66a79fd7a06ef3ac0dac8cc8f8ecfa)
va

Antividivlarni topish uchun ushbu almashtirishdan foydalanish tomonidan kiritilgan Karl Vaystrass.[iqtibos kerak]
Topish θ xususida t giperbolik arktangent va tabiiy logaritma o'rtasidagi quyidagi munosabatlarga olib keladi:

("ar-" o'rniga "arc" ishlatiladi, chunki "arc" yoy uzunligi haqida va "ar" "maydon" ni qisqartiradi. Bu ikki nur va giperbola orasidagi maydon, o'lchangan ikki nur orasidagi yoy uzunligi emas. aylana yoyi bo'ylab.)
Gudermanniya funktsiyasi
Giperbolik identifikatorlarni aylana bilan taqqoslaganda, ularning bir xil funktsiyalarni o'z ichiga olganligini payqash mumkin t, shunchaki buzilgan. Agar parametrni aniqlasak t ikkala holatda ham dumaloq funktsiyalar va giperbolik funktsiyalar o'rtasidagi munosabatlarga erishamiz. Ya'ni, agar

keyin

qayerda gd (θ) bo'ladi Gudermanniya funktsiyasi. Gudermannian funktsiyasi dumaloq funktsiyalar bilan murakkab sonlarni o'z ichiga olmaydigan giperbolik funktsiyalar o'rtasida to'g'ridan-to'g'ri bog'liqlikni beradi. Tangens yarim burchakli formulalarning yuqoridagi tavsiflari (birlik doirasi va standart giperbolani y-aksis) ushbu funktsiyani geometrik talqin qilish.
Pifagor uch marta
A ning keskin burchagi yarmining tangensi to'g'ri uchburchak uning tomonlari Pifagor uchligi bo'lib, albatta a bo'ladi ratsional raqam oralig'ida (0, 1). Aksincha, yarim burchakli tangens intervaldagi ratsional son bo'lsa (0, 1), to'liq burchakka ega bo'lgan va Pifagor uchligi bo'lgan yon uzunliklarga ega bo'lgan to'rtburchak uchburchak mavjud.
Shuningdek qarang
Tashqi havolalar