Regula falsi -menetelmä

**Regula falsi -menetelmä** on numeerisen analyysin algoritmi funktion nollakohdan löytämiseksi. Menetelmässä käytetään käyrän sekantteja uuden, 
edellistä tarkemman likiarvon löytämiseksi juurelle. 

## Menetelmän kuvaus

Regula falsi -menetelmä aloitetaan valitsemalla kaksi pistettä *a*0 ja *b*0 siten, että *f*(*a*0) ja *f*(*b*0) ovat erimerkkiset. Menetelmä etenee tuottaen jonon suppenevia välejä [*a**k*, *b**k*] siten, että väli sisältää sellaisen arvon *x*, että *f*(*x*) = 0.

Iteraatiolla numero *k* lasketaan lukuarvo
: c_k = \frac{f(b_k)a_k-f(a_k)b_k}{f(b_k)-f(a_k)} . 
*c**k* on pisteiden (*a**k*, f(*a**k*)) ja (*b**k*, f(*b**k*)) kautta kulkevan sekantin nollakohta. Jos f(*a**k*) ja f(*c**k*) ovat samanmerkkiset, valitaan *a**k*+1 = *c**k* ja *b**k*+1 = *b**k*, muutoin valitaan *a**k*+1 = *a**k* ja *b**k*+1 = *c**k*. Tätä prosessia toistetaan, kunnes juuri on saatu laskettua halutulla tarkkuudella.

Yllä olevaa kaavaa käytetään myös sekanttimenetelmässä, mutta sekanttimenetelmässä seuraava arvo lasketaan aina kahden viimeksi lasketun pisteen avulla. Regula falsi -menetelmässä taas käytetään viimeksi lasketun pisteen parina edellistä sellaista pistettä, jossa funktion arvo oli erimerkkinen.

### Sekantin nollakohdan löytäminen

Kun tunnetaan *a**k* ja *b**k*, voidaan konstruoida pisteiden (*a**k*, *f*(*a**k*)) ja(*b**k*, *f*(*b**k*)) kautta kulkeva suora, kuten yllä olevasta kuvasta nähdään. Huomaa, että tämä suora on funktion *f* sekantti. Sen yhtälö voidaan laskea seuraavasti:

: y - f(b_k) = \frac{f(b_k)-f(a_k)}{b_k-a_k} (x-b_k). 

Valitaan nyt arvoksi *c**k* tämän suoran nollakohta, jolloin *c**k* on valittu siten, että 

: f(b_k) + \frac{f(b_k)-f(a_k)}{b_k-a_k} (c_k-b_k) = 0. 

Tämän yhtälön ratkaisuna saadaan ylempänä oleva yhtälö arvolle *c**k*.

## Analyysi

Jos alkuperäiset päätepisteet
*a*0 ja *b*0 on valittu siten, että  *f*(*a*0) ja *f*(*b*0) ovat erimerkkiset, toinen päätepisteistä suppenee iterointia jatkettaessa kohti funktion *f* nollakohtaa.
Vastaavasti toinen päätepiste pysyy samana kaikille iteraatioille. Seurauksena päätepisteiden välimatka ei suppene kohti nollaa. Tästä taas seuraa, että funktion *f*(*x*) lineaarinen approksimaatio ei muutu paremmaksi.

Esimerkkinä tästä ilmiöstä mainittakoon funktio
: f(x) = 2x^3-4x^2+3x 
jonka iteroinnin alkuarvoiksi valitaan
[&minus;1,1].  Vasen päätepiste, &minus;1, ei koskaan korvaudu ja näin ollen välin pituus ei koskaan mene ykköstä pienemmäksi (koska funktion nollakohta on nolla). Näin ollen oikea päätepiste lähestyy nollaa.

Jos regula falsi -menetelmä ei tuo ratkaisua juurelle (eli sama päätepiste saadaan kahdesti peräkkäin), voidaan ongelma kiertää muuntamalla menetelmää painokertoimin. Valitaan esimerkiksi

: c_k = \frac{\frac{1}{2}f(b_k) a_k- f(a_k) b_k}{\frac{1}{2}f(b_k)-f(a_k)}
tai
: c_k = \frac{f(b_k) a_k- \frac{1}{2}f(a_k) b_k}{f(b_k)-\frac{1}{2}f(a_k)}

Tällöin toista päätepisteistä on painotettu siten, että seuraava *c*k saadaan kyseisellä puolella funktiota. Lisäetuna saavutetaan suurempi suppenemisnopeus.

## Historia

Vanhimmat dokumentit alkeellisen Regula falsi -menetelmän käytöstä löytyvät intialaisesta matemaattisesta tekstistä *[[Vaishali Ganit]]* noin kolmannelta vuosisadalta ennen ajanlaskun alkua. Vanha kiinalainen teksti *[[The Nine Chapters on the Mathematical Art]]* (九章算術) vuosien 200 eaa. - 100 jaa. mainitsee myös menetelmän. Tässä yhteydessä esimerkit soveltavat menetelmää kuitenkin vain lineaarisiin yhtälöihin, joten ratkaisu saadaan jo ensimmäisellä askeleella. Leonardo Pisalainen eli Fibonacci mainitsee arabilähteistä oppimansa menetelmän kirjassaan Liber Abaci vuonna 1202.

## Kirjallisuutta
* 

## Aiheesta muualla
* J.A. Ford (1995), *[http://citeseer.ist.psu.edu/67440.html Improved Algorithms of Illinois-type for the Numerical Solution of Nonlinear Equations]*, Technical Report CSM-257, University of Essex, 1995 (englanniksi)
*Richard L. Burden, J. Douglas Faires (2000), "Numerical Analysis, (7th Ed)", Brooks/Cole.  (englanniksi)
* L.E. Sigler, Fibonacci's Liber Abaci, Leonardo Pisno's Book of Calculation (2002), Springer-Verlag, New York, . (englanniksi)