Hoppa till innehållet

Korda

Från Wikipedia
För korda inom aero­naut­ik, se kordalinje.
Kordan (röd) med längden i en cirkel med radien . Bisektrisen (grön) till medelpunktsvinkeln är mittpunktsnormal till kordan[1] och diameter i cirkeln. Från definitionen av sinus får vi att halva kordans längd är .

Korda (från latin chorda, "sträng")[2] är den räta linje som sammanbinder två punkter på en cirkelbåge eller annan kroklinje.[3] Historiskt användes också korda som en trigonometrisk funktion, nämligen längden av den korda som i en cirkel med fix radie motsvarar en medelpunktsvinkel. Uttryckt i moderna termer är denna korda av vinkeln v detsamma som 2r sin (v/2), där r är cirkelns radie.

En korda delar cirkelns yta i två cirkelsegment. En korda genom cirkelns medelpunkt, som är den längsta möjliga kordan, kallas diameter.

Figur 1: Kordasatsen när skärningspunkten ligger inom cirkeln

Med hjälp av bland annat teorin för likformiga trianglar kunde man i den hellenistiska antika matematiken bevisa olika samband som involverar kordor. Bland dessa finns kordasatsen, enligt vilken om två kordor i samma cirkel skär varandra, så är produkten av längderna av de två segmentdelarna i den ena kordan lika stor som motsvarande produkt i den andra:

eftersom trianglarna och är likformiga, ty:

eftersom de är motstående vinklar i
eftersom de båda spänner över kordan på samma sida (se randvinkelsatsen)
eftersom de båda spänner över kordan på samma sida

Kordan som trigonometrisk funktion

[redigera | redigera wikitext]
Crd-funktionen inritad i enhetscirkeln

Kordafunktionen anger kordans längd i en enhetscirkel för en given medelpunktsvinkel. Den kan spåras redan på kilskriftstavlor från Mesopotamien. Under 100-talet gjorde astronomen och matematikern Klaudios Ptolemaios från Alexandria upp en noggrann kordatabell, som ingick i hans huvudverk Almagest.[4] Ptolemaios anger kordorna för alla halva och hela vinklar upp till ett halvt varv i en cirkel med radien 60 längdenheter. Sambandet med de moderna trigonometriska funktionerna är:

eftersom bisektrisen till är mittpunktsnormal till kordan.

Ett specialfall är en rätvinklig triangel

.

Den inversa funktionen existerar också:

[5]

Kordafunktionen har många identiteter som är analoga med sinusfunktionen:

Identitet Uttryckt med sinus Uttryckt med korda
Trigonometriska ettan
Halva vinkeln

Kordor och kägelsnitt

[redigera | redigera wikitext]
Att mittpunkterna på parallella kordor till en cirkel ligger på en rät linje är trivialt eftersom kordorna har samma diameter som mittpunktsnormal. Att det även gäller för en ellips kan visas genom uttöjning av cirkeln i storaxelns riktning, vilket leder till en skevning längs kordornas riktning som i bilden ovan.
Mittpunkterna på parallella kordor till en parabel sammanbinds av en "diameter" som är parallell med parabelns symmetrilinje.
Mittpunkterna på en uppsättning parallella kordor till en hyperbel sammanbinds av en rät linje genom medelpunkten.
Förhållandet gäller även för kordor mellan hyperbelns båda grenar.

Mittpunkterna på alla med varandra parallella kordor i en cirkel, ellips eller annat kägelsnitt är kollinjära, vilket visades av Apollonios under tredje århundradet f.Kr. i första boken av Κωνικά, Konika.[6] Denna sammanbindningslinje kallade Apollonios diameter (διαμέτρος, diametros - "diameter" är en latinisering)[7], ett begrepp som fortfarande används.

Beviset för en cirkel görs enklast geometriskt, eftersom alla kordor som är parallella har samma diameter som mittpunktsnormal; vilket i stort sett är hela beviset.

Beviset för en ellips följer direkt ur beviset för cirkeln: utgå från en cirkel med samma radie som halva lillaxeln, "töj" sedan ut cirkeln i "storaxel-ledd" (eller ändra längdskalan i denna ledd!) till den önskade ellipsen - kordor som var parallella i cirkeln är fortfarande parallella i ellipsen och låg kordonas mittpunkter på en linje i cirkeln, vilket de gjorde, kommer de att ligga på en linje även i ellipsen. Töjning (skalning i en riktning) är en affin avbildning och kollinearitet, parallellitet och relativa avstånd mellan punkter på en linje tillhör de egenskaper som bevaras under en sådan.

Nedan ges ett bevis för parabler, att det gäller även för hyperbler kan visas analogt (enklast visat för hyperbeln eftersom alla andra hyperbler är affina avbildningar av denna).

Bevis för en parabel
Givet en parabel. Välj ett kartesiskt koordinatsystem sådant att origo ligger i parabelns spets och punkten i dess fokus. Vi har då parabelns ekvation:
En korda är en rät linje, så låt kordan (som inte ju kan vara vertikal, eftersom den då inte skär parabeln i två punkter) ha ekvationen
Alla parallella kordor har samma riktningskoeffecient och endast värdet på (var de skär y-axeln) skiljer dem sålunda.
Lösning av
ger de båda skärningspunkterna mellan parabeln och kordan
Låt beteckna mittpunkten på kordan, då är
De olika kordornas mittpunkter har alltså samma x-värde eftersom de har samma riktningskoefficient, vilket innebär att alla ligger på den vertikala räta linjen genom .
Vi har också att
Viket visar att avståndet mellan kordorna i y-ledd är skillnaden i värdet på , något vi redan visste, och att mittpunkten för en korda med ekvationen ligger i punkten .
  1. ^ Bisektrisen delar triangeln i två trianglar som har en sida gemensam och har ytterligare en sida lika. Då de dessutom har samma vinkel i , , är de kongruenta, om än spegelvända. Sålunda är den tredje sidans längd och vinkeln mellan bisektrisen och kordan rät (eftersom summan av de båda trianglarnas likstora vinklar i detta hörn är lika med ).
  2. ^ Beteckningen korda kommer ursprungligen från Indien (där kallat jiva, "bågsträng"), via arabiskan och översattes därifrån på 1100-talet till latinets "chorda". Se Boris A. Rosenfeld, 2012, A History of Non-Euclidean Geometry: Evolution of the Concept of a Geometric Space, sid. 11. ISBN 9781441986801
  3. ^ Gunnarsson Gunnar, red (1927). Norstedts uppslagsbok: illustrerad encyklopedi i ett band. Stockholm: Norstedt. Libris 1341168 
  4. ^ Johan Ludvig Heiberg (ed), 1898, Claudii Ptolemaei Opera quae exstant omnia: Syntaxis mathematica, B.G. Teubneri, Leipzig, är en utgåva av Almagest del 1-4 på grekiska. Kordatabellerna återfinns på sidorna 48-63. Även som PDF 17,4 MB (med tabellerna på 28/589). Observera att, förutom att texten är på grekiska, även "grekiska siffror" används.
  5. ^ Simpson, David G. (2001-11-08). ”AUXTRIG”. AUXTRIG. Greenbelt, Maryland, USA: NASA Goddard Space Flight Center. http://www.davidgsimpson.com/software/auxtrig_f90.txt. 
  6. ^ Judith Devaney, The Role of Choice in Discovery i Setsuo Arikawa, Shinichi Morishita (eds), 2000, Discovery Science: Third International Conference, DS 2000 Kyoto, Japan, December 4-6, 2000 Proceedings, sid. 249-250. ISBN 9783540444183.
  7. ^ Craig Smorynski, 2017, MVT: A Most Valuable Theorem, sid. 183. ISBN 9783319529561