Tangent (matematikk)

**Tangent** (latin *tangere*: berøre) er innen geometri  betegnelsen på en rett linje som berører en sirkel eller en  annen kurve i et punkt. Retningen til denne linjen er gitt ved en **tangentvektor**. Den samme linjen kan godt skjære kurven i andre punkt og vil der være en sekant.

Leibniz definerte tangenten som linjen som går gjennom to punkt på kurven i grensen der deres separasjon går mot null. Denne definisjonen er fortsatt gyldig.

Hvis en kurve i planet er gitt ved en funksjon  *y* = *f*(*x*), vil tangenten gjennom punktet (*x*0, *y*0) ha en retning som er gitt ved  stigningstallet . Da den deriverte av funksjonen er gitt som , vil *k* være tangens til vinkelen som linjen danner med *x*-aksen. Den vil dermed være gitt ved ligningen . På lignende vis kan tangenten til en kurve i rommet bestemmes ut fra den deriverte av den funksjonen som beskriver kurven.

For flater kan man på tilsvarende måte definere **tangentplan** i hvert punkt på flaten. Det vil inneholde to uavhengige tangentvektorer som tilsvarer derivasjon i forskjellige retninger. På samme måte kan man betrakte **tangentrom** for mangfoldigheter i høyere dimensjoner.

## Definisjon

Tangenten til en plan kurve i et punkt *P* gitt ved funksjonen *y* = *f*(*x*) kan finnes ved å trekke en rett linje gjennom et nærliggende punkt *Q* på kurven og deretter betrakte denne linjen i grensen der *Q* nærmer seg *P*. Hvis dette punktet har *x*-koordinaten *x*0 og *Q* har *x*0 + *h* hvor størrelsen *h* er så liten at funksjonen der vil ta en nærliggende verdi, er stigningstallet til denne rette linjen gitt ved

:  k = {f(x_0 + h) - f(x_0)\over h} 

Så lenge *h* er liten, men endelig, vil denne rette linjen være en sekant. Den er beskrevet ved ligningen

:  y = k(x - x_0) + f(x_0) 

Selve tangenten kommer frem i grensen der *h* &rarr; 0. Der tar stigningstallet grenseverdien 

:  k = \lim_{h\rightarrow 0} {f(x_0 + h) - f(x_0)\over h} = {df\over dx}(x_0) = f'(x_0) 

som er den deriverte av funksjonen  *f*(*x*) i punktet *P*. Dermed er også ligningen for tangentlinjen etablert i denne grensen. Når funksjonen har en ekstremalverdi, er stigningstallet null og tangentlinjen er horisontal i en grafisk fremstilling. Om dette er et maksimum eller minimum, bestemmes ut fra kurvens krumning som er gitt ved den andrederiverte av funksjonen.

Denne definisjonen viser tydelig den tette sammenhengen som eksisterer mellom de matematiske begrepene *tangent* og *derivasjon* som ble tydelig gjennom etableringen av matematisk analyse.

### Implisitt fremstilling

En kurve ofte på mer generelle måter enn ved en eksplisitt funksjon *y* = *f*(*x*)  i planet. Den kan for eksempel beskrives ved en implitt ligning *F*(*x,y*) = 0 eller som skjæringspunktene mellom to flater i rommet.

I det første tilfellet kan tangenten bestemmes fra differensialet til funksjonen *F*(*x,y*). Det fører til at kurven må oppfylle ligningen

:  dF = F_x dx + F_y dy = 0 

hvor de to partialderiverte  er *F<sub>x</sub>* = &part;*F*/&part;*x* og . Stigningstallet til tangenten i et vilkårlig punkt på kurven er da gitt som

:  k ={dy\over dx} = - {F_x\over F_y} 

Ligningen for tangentlinjen  y = k(x - x_0) + y_0  i et bestemt punkt med koordinater (*x*0, *y*0) blir dermed

:  F_x(x_0,y_0) (x - x_0) + F_y(x_0,y_0) (y - y_0) = 0 

I det spesielle tilfelle at   F(x,y) = y - f(x)  gjenfinner man det tidligere resultatet for denne linjen.

Som et eksempel kan man betrakte en ellipse med hovedakser *a* og *b* som kan beskrives ved den implisitte ligningen

:  {x^2\over a^2} + {y^2\over b^2} = 1

Den gir *F<sub>x</sub>* = 2*x*/*a*&thinsp;2 og *F<sub>y</sub>* = 2*y*/*b*&thinsp;2. Da punktet  (*x*0, *y*0)  ligger på ellipsen, blir derfor tangenten i dette punktet

:  {x_0 x\over a_2} + {y_0 y\over b^2} = 1 

I kvadranten der begge koordinatene er (*x*0, *y*0)  er positive, har denne tangentlinjen negativt stigningstall.

### Kurver i rommet

Hvert punkt på en kurve i det tredimensjonale, euklidske rommet **E**3 kan beskrives ved posisjonsvektoren

: \mathbf{r}(t) = x(t)\mathbf{i}+ y(t)\mathbf{j} + z(t)\mathbf{k} 

når den er parametrisert ved den kontinuerlige variable *t*. Tangenten i et vilkårlig punkt kan igjen defineres ved linjen mellom to nærliggende punkt på kurven i grensen der separasjonen mellom punktene går mot null. Det gir **tangentvektoren**

:  \mathbf{T} = \lim_{h\rightarrow 0} {\mathbf{r}(t + h) - \mathbf{r}(t)\over h} =  {d\mathbf{r}\over dt} 

som gir retningen til tangentlinjen gjennom punktet.

En plan kurve har *z* = 0 slik at tangentvektoren er   når derivasjon med hensyn på parameteren vises med et merke. Dens retning tilsvarer et stigningstall . 

For en eksplisitt fremstilling av kurven i planet med funksjonen  *y* = *f*(*x*) kan man velge koordinaten *x* som parameter. Da blir  og . Tangentvektoren forenkles i dette tilfellet til  som igjen viser at den deriverte *f'&thinsp;* gir stigningstallet til tangenten.

## Tangentplan

For en flate i rommet kan man definere et tangentplan i et punkt *P* på lignende måte som en tangentlinje er definert for en kurve. Man kan tenke seg et plan gjennom *P* og to andre, nærliggende punkter. I grensen der disse punktene nærmer seg *P*, vil planet gå over til å bli et tangentplan. På den måten gir det den beste approksimasjon av å beskrive flaten som plan i et lite område rundt punktet *P* der det er definert.

Når den todimensjonale flaten ligger i et ytre, tredimensjonalt rom **E**3, kan hvert punkt på den angis ved vektoren

: \mathbf{r}(u,v) = x(u,v)\mathbf{i}+ y(u,v)\mathbf{j} + z(u,v)\mathbf{k} 

der *u* og *v* er kontinerlige parametre. De kan betraktes som krumlinjete koordinater på flaten. Når den ene holdes konstant, vil variasjon av den andre parameteren beskrive en kurve på flaten. I hvert punkt vil den derfor ha de to tangentvektorene

:  \mathbf{e}_u = {\partial\mathbf{r}\over\partial u}, \;\;\; \mathbf{e}_v = {\partial\mathbf{r}\over\partial v}  

som definerer et plan i dette punktet som er tangentplanet. Normalen til flaten i dette punktet er gitt ved vektorproduktet av tangentvektorene som  som står vinkelrett på begge tangentvektoren. Dermed er ligningen for tangentplanet i punktet **r**0 =  (*x*0, *y*0, *z*0) gitt ved ligningen

:  \mathbf{N}\cdot (\mathbf{r} - \mathbf{r}_0) = 0 

Normalvektoren kan beregnes på flere måter. Er den implisitt gitt som løsningen av en ligning  , kan den finnes direkte fra gradienten som . Da vil dens komponenter være gitt ved de partiellderiverte  hvor  og så videre som for normalen til en kurve gitt på implitt vis.

For eksempel, overflaten til en kule med radius *a* er gitt ved funksjonen *F* = *x*&thinsp;2 + *y*&thinsp;2 + *z*&thinsp;2  - *a*&thinsp;2. Det betyr at komponentene til normalen i et vilkår punkt på flaten er ,  og . Tangentplanet i punktet (*x*0, *y*0, *z*0) er dermed

:  x_0x + y_0y + z_0z = a^2 

I mange tilfeller er flaten gitt eksplisitt ved en funksjon som *z* = *f*(*x,y*). Det tilsvarer en implisitt fremstilling med . Normalvektoren som følger fra gradienten, er **N** =  slik at ligningen for tangentplanet blir

:  z - z_0 = {\partial f\over\partial x}(x_0, y_0)(x - x_0)  + {\partial f\over\partial y}(x_0, y_0)(y - y_0) 

Dette er en direkte generalisering av ligningen for tangentlinjen til en kurve i planet. 

Alternativt kunne flatenormalen finnes ved å la *x* og *y* være de to parametrene som beskriver flaten ved posisjonsvektoren

: \mathbf{r}(x,y) = x\mathbf{i}+ y\mathbf{j} + f(x,y)\mathbf{k} 

De to tangentvektorene til flaten blir nå  og . Dermed følger normalen fra kryssproduktet   som gir samme resultatet som gradienten.

## Tangentvektorer på mangfoldigheter

En flate er et eksempel på en todimensjonal mangfoldighet. Dens geometriske egenskaper kan beskrives ved å legge den inn i et tredimensjonalt, euklidsk rom hvis geometri er kjent. På lignende måte kan en mangfoldighet med høyere dimensjon *n* beskrives som en del av et euklidsk rom med dimensjon *m* &ge; *n* + 1. Men ved en intrinsikk beskrivelse av mangfoldigheten som er uavhengig av eksistensen av et omsluttende rom, vil man unngå en slik antagelse. Det er denne situasjonen som ligger til grunn for differensialgeometrien som benyttes for tidrommet i generell relativitetsteori.

Når mangfoldigheten er utstyrt med *n* intrinsikke koordinater *x<sup>&mu;</sup>*, vil en skalar funksjon *F*&thinsp; ta en bestemt verdi  i hvert punkt **x**. For å undersøke hvordan denne varierer i forskjellige retninger, tenker man seg en kurve på mangfoldigheten. Er den beskrevet ved en parameter *t*, vil den gå gjennom punkter **x**(*t*&thinsp;) med koordinater . Variasjonen av funksjonen langs denne kurven følger dermed fra kjerneregelen for derivasjon som

:  {dF\over dt}(\mathbf{x}) =  {dx^\mu\over dt}{\partial F\over\partial x^\mu}(\mathbf{x}) 

når man benytter Einsteins summekonvensjon og summerer over de to indeksene fra 1 til *n*. Denne deriverte er ikke noe annet enn den retningsderiverte av funksjonen *F* i punktet **x** og i en retning gitt ved vektoren **v** med komponenter  og som er tangentvektor til kurven. 

Ved å betrakte flere slike kurver på mangfoldigheten, kan funksjonens oppførsel undersøkes i forskjellige retninger gitt ved tilsvarende tangenter til kurvene. I et vilkårlig punkt kan man derfor skrive en slik retningsderivert langs **v** som

:  {dF\over dt} = v^\mu  {\partial F\over\partial x^\mu} 

Hvis man skriver dette som  dF/dt = \mathbf{v}F , kan man identifisere tangentvektoren med operatoren

:   \mathbf{v} =  v^\mu  {\partial \over\partial x^\mu} 

Det betyr at de partiellderiverte **e***&mu;* = &part;/&part;*x<sup>&mu;</sup>* har overtatt rollen som basisvektorer på mangfoldigheten. Hvis den istedet hadde blitt beskrevet som en del av et omsluttende rom, ville disse basisvektorene tilsvart tangentene til mangfoldighetens koordinatlinjer.

### Tangentrom

I hvert punkt **x** på mangfoldigheten finnes *n* basisvektorer  **e***&mu;* = &part;*&mu;* som tangerer de forskjellige koordinatlinjene i dette punktet. En generell vektor på samme sted kan skrives som

:  \mathbf{v}_\mathbf{x} = v^\mu (\mathbf{x})\mathbf{e}_\mu 

hvor komponentene *v<sup>&mu;</sup>* er skalare funksjoner av koordinatene til punktet. Den kan adderes til en annen vektor  i samme punkt slik at

:   a\mathbf{u}_\mathbf{x} + b \mathbf{v}_\mathbf{x} = (a\mathbf{u} + b \mathbf{v})_\mathbf{x} 

der *a* og *b* er konstanter. Tilsammen utgjør disse vektorene et lineært vektorrom i hvert punkt og kalles for mangfoldighetens **tangentrom**. Det kan identifiseres med **R***n* &thinsp; slik at basisvektoren  **e**1 har komponentene (1,0,0,...,0),  **e**2 = (0,1,0,...,0) og så videre.

## Referanser


## Eksterne lenker
*