Napiers analogier

Napiers analogier eller Napiers (Nepers) formler är en uppsättning av formler inom sfärisk trigonometri med vars hjälp man bland annat kan beräkna sidlängder och hörnvinklar för sfäriska trianglar (beteckningar enligt figur 1):

Motsvarande gäller för  och  respektive  och 

Om man dividerar de två formlerna till vänster med varandra, eller de två till höger med varandra, får man den sfäriska tangenssatsen:

Napiers analogier används i det fall man har givet två sidor och en mot endera av dessa stående hörnvinkel eller två hörnvinklar och en mot endera av dessa stående sida (övriga fall löses med sfäriska cosinussatsen, duala cosinussatsen eller de sfäriska formlerna för halva vinkeln och halva sidan). Den andra motstående sidan eller hörnvinkeln beräknas först med sfäriska sinussatsen, varefter den tredje sidan eller hörnvinkeln fås med hjälp av någon av Napiers analogier. Den återstående sidan/hörnvinkeln beräknas därefter enklast med hjälp av sfäriska sinussatsen.

Historia
Två av de fyra analogierna (de två till höger) härrör från John Napier, vars Mirifici Logarithmorum Canonis Constructio publicerades postumt 1619 (ny upplaga 1620) av dennes son Robert Napier. Robert fick hjälp från faderns vän Henry Briggs, som lade till de två andra (de "polära" till vänster) i sina kommentarer till verket. Inga bevis gavs dock och det första beviset publicerades av William Oughtred 1657 i Trigonometria. Numera härleds Napiers analogier vanligtvis med analytiska metoder som stammar från Leonhard Euler.

Härledning

Inbördes samband mellan analogierna
De olika analogierna kan ganska enkelt härledas ur varandra genom att betrakta en "kolunär" triangel till  och de båda polära trianglarna till dessa.

Med en "kolunär" triangel avses en triangel som delar en sida och två hörn med , men har sitt tredje hörn i antipoden till  tredje hörn. Tillsammans bildar dessa båda trianglar en "digon", på engelska "lune". Den "kolunära" triangeln som delar sidan  med  i figur 1 har sidlängderna ,  och  och dess hörnvinklar är ,  och . Insättning av dessa värden i den första av Napiers analogier ovan ger:

För sidor och hörn i den polära triangeln  till  gäller enligt den polära dualitetssatsen att:
 

Insättning av dessa i de två analogier vi redan har, ger de båda polära analogierna.

Härledning ur sfäriska sinussatsen och duala cosinussatsen
Nedan ges en härledning för den första av Napiers analogier. Den sfäriska sinussatsen

ger:

 och 

Från den duala cosinussatsen har vi: 

 och

vars summa är:

Vi flyttar om, ersätter enligt (1) och (2) ovan och sedan enligt den välkända summaformeln  från plan trigonometri:

Vi dividerar (3) med (4) och får:

Från den plana trigonometrin har vi  och , vilka vi applicerar. Vi har också att .

Vi förkortar vänsterledet och utnyttjar nu också att 

Övriga analogier kan härledas på liknande sätt (för hörnvinkelanalogierna untnyttjas sfäriska cosinussatsen i stället för den duala och ytterligare några formler från den plana trigonometrin får också användas), men det enklaste är såklart att utnyttja det samband mellan analogierna som visats ovan.

Härledning ur Delambres analogier
Napiers analogier kan erhållas ur Delambres analogier:

genom parvis division av dessa med varandra.  ger exempelvis formeln för  och  ger formeln för

Referenser

Noter

Källor 
Isaac Todhunter, 1886,  Spherical Trigonometry: For the Use of Colleges and Schools, Macmillan & Co, sid. 25–26 (artikel 52). Faksimil PDF (3 MB), TeX PDF (789 kB). 1883 års upplaga online på Google Books.
Robert E.Moritz, 1913, A Text Book On Spherical Trigonometry, John Wiley And Sons, sid. 44.

Sfärisk trigonometri