Tangentti (geometria)

**Tangentti**, eli vanhalta nimeltään **sivuaja**, on geometriassa suora, jana tai taso, joka sivuaa (yksi yhteinen piste) "samansuuntaisena" käyrää tai pintaa. Tasogeometriassa tangenttina on tangenttisuora, joka sivuaa käyrää. Avaruusgeometriassa tangenttina voi olla suora tai tangenttipinta, joka sivuaa (kappaleen) pintaa.

## Historia
Antiikin kreikassa tangenttien ongelmaa käsiteltiin kartioleikkauksissa laajalti. Ensimmäinen moderni tangentin määritelmä esitettiin vasta keskiajan lopulla: tangentti on suora, joka koskettaa käyrää mutta ei leikkaa sitä. Pierre de Fermat keksi differentiaalilaskennassa jyrkkyyden käsitteen ja ilmaisi sen käyrän tangentilla. Ajatusta kehittivät eteenpäin muun muassa John Wallis, Isaac Barrow, Isaac Newton ja Gottfried Leibniz. Leibniz ajatteli tangentin olevan sekantti, jonka kaksi leikkauspistettä sijaitsivat äärettömän lähellä toisiaan.

Tangentin nimi tulee latinan sanasta "tangere", joka tarkoittaa verbiä *koskettaa*.

## Tangentti geometriassa
Kun suora kohtaa geometrisen kuvion, syntyy usein yksi tai useampi leikkauspiste. Suoran kohdatessa ympyrän voi leikkauspisteitä olla kaksi, kun suora leikkaa ympyrän sekanttina, yksi kun suora sivuaa ympyrää tangenttina, tai ei yhtään, jos suora ohittaa ympyrän kauempaa. Näitä tapahtumia pidetään erilaisina kohtaamisina, vaikka 1800-luvulla alettiin tangenttia pitää sekantin erikoistapauksena. Tangentissa sekantin kaksi leikkauspistettä olivat "yhtyneet äärettömän lähelle toisiaan".

### Ympyrän tangentti
Ympyrän tangentti määritellään siten, että suoralla ja ympyrällä on vain yksi yhteinen piste, jota kutsutaan *sivuamispisteeksi*. Tangentti piirretään harpilla ja viivoittimella asemoimalla se kohtisuoraan ympyrän sädettä vastaan. Tangentti on siten säteen normaali, joka kulkee säteen pituuden etäisyydellä ympyrän keskipisteestä. Lisäksi voidaan osoittaa, että ympyrän kehän mielivaltaiseen pisteeseen voidaan piirtää tasan yksi tangentti.

Ympyrän kehäpisteeseen piirretään tangentti harpilla ja viivoittimella seuraavasti. Piirretään viivoittimella kehäpisteen ja keskipisteen välille jana, joka on ympyrän säde. Sivuamispiste keskipisteenä pyöräytetään samansäteinen ympyrä, johon piirretään halkaisija jatkamalla sädettä. Tällä halkaisijalla mitataan harppiin uusi säde, jolla piirretään sivuamispiste keskipisteenä toisensa leikkaavat puoliympyrät. Näiden leikkauspisteiden kautta piirretään viivaimella suora, joka on tangentti koska se sivuaa ympyrää.

Lähtemällä ympyrän ulkopuolisesta pisteestä liikkeelle, voidaan ympyrälle piirtää kaksi tangenttia. Tangenttien välistä kulmaa kutsutaan *tangenttikulmaksi*. Ympyrän ja tangenttien väliset sivuamispisteet löydetään harpilla ja viivoittimella Thaleen lausetta hyödyntäen. Vedetään ympyrän keskipisteen ja ympyrän ulkopuolisen pisteen välille jana. Otetaan harppiin matka, joka on yli puolet janan pituudesta ja merkitään toisensa leikkaavat puoliympyrät janan keskiosaan ympyrän keskipiste ja ulkopuolinen piste keskipisteenä. Vedetään jana puoliympyröiden leikkauspisteiden kautta. Janat leikkaavat toisensa pisteessä, joka on ensimmäisen janan keskipisteessä. Kun tämän pisteen kautta piirtää ympyrän, jonka halkaisija on viimeksi mainittu jana, leikkaa se referenssiympyrän kahdessa pisteessä. Leikkauspisteet ovat tangenttien sivuamispisteet. Tämä näkee Thaleen lauseen avulla: ympyrän kehäpisteen (sivuamispiste) kautta kulkevat referenssiympyrän säde ja ulkopuolisesta pisteestä tuleva suora (tangentti), jotka ovat suorassa kulmassa toisiinsa. Siksi suora on ympyrän tangentti.

### Ellipsin tangentti
Ellipsin sivuamispisteeseen piirretyn tangentin ja polttopisteistä sivuamispisteeseen piirrettyjen janojen väliset kulmat ovat molemmat samat. Koska tangentin normaali on kohtisuorassa tangenttiin nähden, on myös edellä mainittujen janojen ja normaalin väliset kulmat samat. Voidaan sanoa, että normaali puolittaa janojen välisen kulman. Tangentti voidaan piirtää seuraavasti. Yhdistetään polttopisteet sivuamispisteeseen janoilla, joiden välinen kulma puolitetaan janalla (normaali). Tälle janalle piirretään kohtisuora janan ja ellipsin leikkauspisteeseen, joka on haluttu tangentti.

Ellipsin ison akselin jatkeelta voidaan piirtää tangentti ellipsille. Merkitään ison akselin jatkeelta jokin piste ja piirretään ellipsin ympäri ympyrä säteenään iso akseli. Ympyrän kehältä määritetään tangentin sivuamispiste, josta piirretään kohtisuora isolle akselille. Kohtisuora leikkaa ellipsin pisteessä, joka yhdistää ison akselin pisteen ellipsin tangentilla.

EllipseTangent.svg|Ellipsin polttopisteistä kehäpisteeseen piirrettyjen janojen ja kehän suuntaisen tangentin väliin jää yhtäsuuret kulmat.
Elipse tangent.svg|Tangentti puolittaa polttopisteistä piirrettyjen säteiden välisen kulman.
Ellipse tangent.svg|Tangentti ulkopuolisesta pisteestä ellipsille piirrettynä apuympyrän avulla.


### Paraabelin tangentti
Paraabelille voidaan piirtää kaksi tangenttia pisteestä, joka sijaitsee käyrän kuperan puolen ulkopuolella. Piste yhdistetään aluksi paraabelin polttopisteeseen janalla, joka on samalla ympyrän halkaisija. Paraabelille piirretään sen huippupisteeseen symmetria-akselin normaali, jonka leikkauspisteet ympyrän kanssa merkitään. Ensimmäisen pisteen ja leikkauspisteiden kautta piirretään kaksi suoraa. Molemmat suorat ovat paraabelin tangentteja.

Tangent lines to a parabola.png|Paraabelin ulkopuolisesta pisteestä piirrettyjä tangentteja.
Parabola tangent.png|Paraabelin käyränpisteestä piirretty tangentti.


### Hyperbelin tangentti
Hyperbelille voidaan piirtää tangentti seuraavasti. Valitaan käyrältä piste, johon tangentti halutaan. Kummastakin hyperbelin polttopisteestä piirretään pisteen kautta kulkevat puolisuorat. Puolisuorat vastaavat valonsädettä, joka alkaa lähimmästä polttopisteestä ja heijastuu hyperbelin käyrältä. Heijastuminen edellyttää käyrän normaalia, jonka suhteen tulo- ja heijastuskulmat ovat yhtä suuret. Tämä normaali on kohtisuorassa käyrän tangentia vastaan. Tangentti saadaankin normaalista, joka on tulevan- ja heijastuvan säteiden kulmanpuolittaja.

Hyperbole tangente.png|Hyperbelille piirretty tangentti. Polttopisteistä F ja F' piirretyt janat.


## Käyrän tangentti
Matematiikassa käsitellään muitakin käyriä kuin kartioleikkauksia. Nämä ovat syntyneet analyyttisistä funktioista ja esitetään erityyppisinä kuvaajina.
* sekantin raja-asento

### Funktion kuvaajat
Perinteisen yhden muuttujan funktion F(x) kuvaaja piirretään xy-koordinaatistoon merkitsemällä siihen pisteet (x,y)=(x,F(x)). Funktion lauseke voidaan tällöin esittää implisiittisessä muodossa. Tällaisten käyrien jyrkkyyttä ilmaistaan tangentilla, joka piirretään käyrän pisteeseen asentoon, jossa suoran kulmakerroin on funktion derivaatta k = F^\prime(x) x-koordinaatin osoittamassa kohdassa.

Jos funktio on derivoituva kyseisessä kohdassa, voidaan tangentin yhtälö kirjoittaa
:y-y_0=F^\prime(x_0) (x-x_0).

Mikäli funktion y=F(x) käyrän koordinaatit esitetään parametriesityksenä (esimerkkinä tasoavaruus)

:\begin{cases}
    x = f(t) \\
    y = g(t), \; t \in \mathbb{R}
\end{cases}

määritetään tangentin kulmakertoimen derivaatta
:k = F^\prime(x) = \frac{dy}{dx} = \frac{\frac{dy}{dt}}{\frac{dx}{dt}} = \frac{g^\prime(t)}{f^\prime(t)}

Yleensä funktion tangentti sivuaa käyrää, koska käyrän kaarevuus jatkuu samanlaisena sivuamispisteen molemmilla puolilla. Jos käyrän kaarevuussuunta vaihtuu sivuamispisteessä päinvastaiseksi, ollaan käyrän käännepisteessä. Tällainen suora ei ole varsinainen sivuava tangentti, mutta sillä on kaikki muut tangenttien ominaisuudet.


Tangent to a curve.svg|Tangentti piirretään samantapaisesti kuin ympyrälle eli käyrän suuntaisesti.
Derivative.svg|Sekantin asento on varsin lähellä tangentin asentoa. Mitä lähempänä sekantin pisteet ovat toisiaan, sen lähempänä sen asento on tangentin asentoa.
Derivative-SVG.svg|Viemällä sekantin jälkimmäistä pistettä lähemmäksi ensimmäistä pistettä, saadaan raja-arvona tangentin asento.
Simple curve showing tangents.svg|Tangentilla ilmaistaan yleensä käyrän jyrkkyyttä, mikä voidaan laskea tangentin kulmakertoimesta.


### Parametrimuotoiset tasokäyrät
Parametrimuotoinen esitystapa mahdollistaa funktioiden käyrien lisäksi myös monen muuntyyppisten käyrien esittämisen. Käyrän kuvaajan pohjana on koordinaatisto, jossa käyrän pisteiden koordinaatit ilmaistaan funktioilla. Kunkin koordinaatin muutosnopeus on tangenttisuoran suuntavektorin \vec s komponentin kertoimena, jolloin tangentin suunta voidaan määrittää (esimerkkinä tila-avaruus)
:\begin{cases}
    x = f(t) \\
    y = g(t)\\
    z = h(t), \; t \in \mathbb{R}
\end{cases} \Rightarrow\begin{cases}
    s_x = \frac{dx}{dt} = f^\prime(t) \\
    s_y = \frac{dy}{dt} = g^\prime(t)\\
    s_z = \frac{dz}{dt} = h^\prime(t), \; t \in \mathbb{R}
\end{cases}

Tangentin yhtälö parametrin arvolla t=a on silloin
:\begin{cases}
    x = f(a) + r\cdot s_x \\
    y = g(a) + r\cdot s_y \\
    z = h(a) + r\cdot s_z , \; r \in \mathbb{R}
\end{cases} 

## Tangenttipinnat
Jos tila-avaruudessa on pinta, joka voidaan esittää esimerkiksi muodossa z = f(x,y), voidaan sille asettaa pisteeseen (x_0,x_0) tangenttitaso, jonka yhtälö on yleisessä muodossa z = f(x_0,y_0) + f_x(x_0,y_0)(x-x_0) + f_y(x_0,y_0)(y-y_0). 


Image Tangent-plane.svg|Tangenttipinta
Tangentialvektor.svg|Tangenttipinnalla voidaan suunnata vielä tangenttivektori.


## Lähteet
*
* 
* 

### Viitteet

## Kirjallisuutta
*