Napiers analogier

Figur 1.

Napiers analogier eller Napiers (Nepers[1]) 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[2] 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.[3] Inga bevis gavs dock och det första beviset publicerades av William Oughtred 1657 i Trigonometria.[4] Numera härleds Napiers analogier vanligtvis med analytiska metoder som stammar från Leonhard Euler.[3]

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[5] 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:[6]

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

Referenser

Noter

  1. ^ Från Ioannes Neper, latiniserad form av John Napier. Se exempelvis Napier, 1. John i Nordisk familjebok (andra upplagan, 1913)
  2. ^ John Napier och Henry Briggs, 1620, Mirifici Logarithmorum Canonis Constructio, Bartholomaeus Vincentius, Lyon. Formlerna på sid. 50ff.
  3. ^ [a b] Urs Dietrich och Kurt Girstmair, 2014, Napier’s main application: spherical trigonometry, sid. 12. Utgiven till 400-års minnet av Napiers Mirifici Logarithmorum Canonis Descriptio av Collacteana de Logarithmis.
  4. ^ William Oughtred, 1657, Trigonometria, Thomas Johnson, London.
  5. ^ Se artikeln Polär triangel för denna sats.
  6. ^ Se Moritz (1913) sid. 44.

Källor

Media som används på denna webbplats

Triangle sphérique.svg
Triangle sphérique avec trois angles aux sommets et longueur des côtés