Puolitusmenetelmä perustuu Bolzanon lauseeseen: jos suljetulla välillä jatkuvan funktion arvot välin päätepisteissä ovat erimerkkiset, funktiolla on tällä välillä (ainakin yksi) nollakohta. Puolitusmenetelmässä nollakohdan sijaintia tarkennetaan valitsemalla uuden välin yhdeksi päätepisteeksi aina tarkasteluvälin keskipiste. Toinen päätepiste valitaan siten, että funktion arvot välin päätepisteissä ovat jälleen erimerkkiset. Näin jatketaan, kunnes nollakohta on määritetty halutulla tarkkuudella.
Alla olevassa ohjelmassa puolitusmenetelmä on toteutettu Sagen avulla. Ennen algoritmin käyttöä tulee etsiä väli, jonka päätepisteissä funktiolla on erimerkkiset arvot. Sopiva väli voidaan löytää funktion kuvaajasta. Metodi \textsl{puolitusmenetelma} saa syötteenään funktion f ja välin päätepisteet a ja b. Muuttuja h merkitsee tarkkuutta, jolla nollakohta määrätään. Tarkkuus annetaan muodossa h=10^{-d}, missä d on käyttäjän valittavissa säätimellä. Algoritmin suoritus pysähtyy, kun funktion arvo on pienempi kuin annettu tarkkuus, eli f(c)<h, missä c on haarukoitu nollakohdan estimaatti. Metodi palauttaa pisteen c sekä listan algoritmin suorituksen aikana tutkituista väleistä.
Ohjelma esittää tarkastellut välit piirrettynä samaan kuvaan kuvaajan kanssa. Lisäksi ohjelma tulostaa ratkaistun nollakohdan c, funktion arvon tässä pisteessä sekä iterointikierrosten lukumäärän.
Kuva:

Click to the left again to hide and once more to show the dynamic interactive window |
|
|