Visa källa för Sekant

{{Källor|datum=2022-09}}
:''För multiplikativa inversen av [[cosinus]], förkortad "sec", se [[Trigonometrisk funktion]].''
----

En '''sekantlinje''' till en [[kurva]] är en rät linje som skär två eller flera [[Punkt (matematik)|punkt]]er på kurvan. En sekantlinje kallas oftast för en  '''sekant''', men det ordet används också ibland för enbart sträckan mellan de två punkterna på sekantlinjen.  Själva ordet sekant kommer från latinets "secare" som betyder "att skära" eller "att klippa", och används också för den trigonometriska funktion som har kortformen sec.

==Cirklar==
[[Fil:Tangent-secant-secant.svg|miniatyr|'''Figur 1.'''Två röda sekanter som bildar kordorna <math>\scriptstyle \overline{AB}</math> och <math>\scriptstyle \overline{CD}</math>.]]
En rät linje som skär en cirkel i två punkter är en sekant till cirkeln och det avsnitt av sekanten som befinner sig mellan skärningspunkterna kallas [[korda]].

===Sekantsatsen===
Sekantsatsen, som egentligen bara är en "fortsättning på" [[kordasatsen]] utanför cirkeln, säger att för två sekanter till en cirkel som skär varandra i en punkt utanför cirkeln gäller (se figur 1):
:<math>|\overline{PA}| \cdot |\overline{PB}| = |\overline{PC}| \cdot |\overline{PD}|</math>
Sekantsatsen följer direkt ur att trianglarna <math>\triangle PAD</math> och <math>\triangle PCB</math> är likformiga eftersom de har två (och därmed även tre) lika vinklar, <math>\angle APC</math> som ju är gemensam för trianglarna och <math>\angle PBC = \angle PDA</math>, vilket följer ur [[randvinkelsatsen]]. Likformigheten ger:
:<math>\frac{|\overline{PA}|}{|\overline{PD}|} = \frac{|\overline{PC}|}{|\overline{PB}|}\Leftrightarrow |\overline{PA}| \cdot |\overline{PB}| = |\overline{PC}| \cdot |\overline{PD}|</math>

Sekantsatsen kan "slås ihop" med kordasatsen till:
:För två icke parallella sekanter gäller att produkten av avstånden från sekanternas gemensamma skärningspunkt till vardera sekantens två skärningspunkter med cirkeln är lika för båda sekanterna.

===Tangent-sekantsatsen===
Tangent-sekantsatsen är sekantsatsens gränsfall då man i stället för den ena sekanten har en tangent. Satsen säger att för en sekant och en tangent (med tangeringspunkten <math>T</math>) till en cirkel gäller (figur 1):
:<math>|\overline{PT}|^2 = |\overline{PE}| \cdot |\overline{PF}| = |\overline{PA}| \cdot |\overline{PB}| = |\overline{PC}| \cdot |\overline{PD}| = \ ...</math>

Att <math>|\overline{PT}|^2 = |\overline{PE}| \cdot |\overline{PF}|</math> där <math> \overline{PF}</math> går genom cirkelns medelpunkt (och sålunda har vi tre radier: <math>|\overline{OT}|=|\overline{OE}|=|\overline{OF}|=r</math>) kan visas med hjälp av [[Pythagoras sats]] eftersom vinkeln <math>\angle PTO</math> mellan tangenten och radien till tangeringspunkten är rät:

:<math>
\begin{align}|\overline{PT}|^2 &= |\overline{OP}|^2 - |\overline{OT}|^2 = (|\overline{PE}| + r)^2 - r^2 = \\
&= |\overline{PE}|^2 +2r|\overline{PE}| + r^2 - r^2 = |\overline{PE}| \cdot (|\overline{PE}| + 2r) = \\
&= |\overline{PE}| \cdot (|\overline{PE}| + |\overline{EF}|) = |\overline{PE}| \cdot |\overline{PF}|
\end{align}
</math>

Eftersom tangent-sekantsatsen gäller för sekanten <math>\overline{PF}</math> gäller den via sekantsatsen för övriga sekanter också.

===Sekantvinkelsatsen===
[[Fil:Sekantvinkelsatsen riktningsbyte.svg|miniatyr|'''Figur 2.''']]
Sekantvinkelsatsen säger att skärningsvinkeln mellan två ickeparallella sekanter som skär varandra utanför cirkeln är lika med halva skillnaden mellan medelpunktsvinklarna för de cirkelbågsegment sekanterna innesluter, med beteckningar som i figur 1 ovan:
:<math>\angle BPD = \frac {\angle BOD - \angle AOC}{2}</math>

Betrakta triangeln <math>\triangle PAD</math>, med hjälp av vinkelsumman i en triangel och [[randvinkelsatsen]] får vi:
:<math> \angle BPD = 180^\circ - \angle PAD -\angle ADP = 180^\circ - (180^\circ - \angle BAD) - \angle ADC =</math>
:<math>=  \angle BAD - \angle ADC = \frac {\angle BOD - \angle AOC}{2}</math>


I det fall att skärningspunkten mellan sekanterna ligger på cirkelns omkrets är sekantvinkelsatsen detsamma som randvinkelsatsen, eftersom sekantvinkeln är en randvinkel till cirkeln och därför lika med halva medelpunktsvinkeln för det enda cirkelbågsegmentet.


I det fall skärningspunkten ligger inuti cirkeln är sekantvinkeln lika med halva summan av medelpunktsvinklarna för cirkelbågsegmenten. Betrakta skärningspunkten <math>G</math> mellan <math>\overline{AD}</math> och <math>\overline{BC}</math> i figur 1. Med hjälp av randvinkelsatsen och vinkelsumman i <math>\triangle ABG</math> får vi:

:<math>\angle BOD + \angle AOC = 2 \angle BAD + 2 \angle ABC = 2 \cdot (180^\circ - \angle AGB) = 2 \angle BGD = 2 \angle AGC \Leftrightarrow </math>
:<math>\angle BGD = \angle AGC = \frac {\angle BOD + \angle AOC}{2}</math>

I det ovanstående har vinklarnas [[absolutbelopp|belopp]] använts, men om man (som inom [[trigonometri]]n) låter vinklar anta negativa värden, det vill säga att <math>\angle AOC = - \angle COA</math>, så kan sekantvinkelsatsen formuleras entydigt. Om man flyttar skärningspunkten <math>G</math> mellan <math>\overline{AD}</math> och <math>\overline{BC}</math> via <math>G'</math> till <math>G''</math> i figur 2 närmar sig <math>A</math> och <math>C</math> varandra för att sammanfalla då skärningspunkten når cirkelns omkrets i <math>G'</math> och byta plats när den passerat denna (<math>G''</math>). Detta gör att medelpunktsvinkeln <math>\angle AOC</math> kommer att "mätas i motsatt riktning" och alltså byta tecken. Det är dock enklare att komma ihåg att "addera på insidan, subtrahera på utsidan", men en formulering med "trigonometriska vinklar" skulle kunna skrivas:
:<math>\angle DGB = \frac {\angle DOB + \angle AOC}{2}</math>

==Kurvor==
Sekantlinjen kan användas för att approximera [[tangent (matematik)|tangenten]] för en kurva i en punkt ''P''. Om sekanten för kurvan definieras genom de två punkterna ''P'' och ''Q'', med ''P'' fixerad och ''Q'' varierbar, så kommer sekanten att närma sig tangenten när ''Q'' närmar sig ''P'' (antag att punkten bara har en tangent).

Som en konsekvens av detta kan man säga att sekantens [[lutning]], eller riktning, går mot tangenten.

=== Sekantapproximationen ===
[[Fil:Secant-graph-sverdrup.png|miniatyr|250px|Sekantapproximation]]
Betrakta kurvan som definieras av ''y'' = ''f''(''x'') i det [[Kartesiskt koordinatsystem|kartesiska koordinatsystemet]] och betrakta punkten ''P'' med [[koordinat]]er (''c'', ''f''(''c'')) och en annan punkt ''Q'' med koordinater (''c'' + Δ''x'', ''f''(''c'' + Δ''x'')). Lutningen ''k'' av sekantlinjen, uttryckta i ''P'' och ''Q'', ges av

:<math>k = \frac{\Delta y}{\Delta x} = \frac{f(c + \Delta x) - f(c)}{(c + \Delta x) - c} = \frac{f(c + \Delta x) - f(c)}{\Delta x}</math>

Högerledet av ovanstående ekvation är en variant av [[Isaac Newton|Newtons]] [[derivata|deriveringskvot]]. När Δ''x'' närmar sig noll kommer uttrycket närma sig [[derivata]]n av ''f''(''c'') under antagandet att derivatan existerar.

==Se även==
*[[Korda]]
*[[Potens (geometri)]]

[[Kategori:Trigonometri]]
[[Kategori:Matematisk analys]]