0,999... (kirjoitetaan myös 0,9 ja luetaan muodossa "0,9 pistettä 9 toistoa") on yksi tapa, jolla luku 1 (yksi) voidaan kirjoittaa. Vaikka se kirjoitetankin näin, se on silti yhtä suuri kuin 1 riippumatta siitä, kuinka monta ysiä on ennen ellipsiä.
Tässä selitetään, miksi 0,999... = 1 useilla eri tavoilla — sekä intuitiivisesti että matemaattisesti täsmällisesti. Kaikki osoitukset perustuvat siihen, miten desimaalilukujen esitykset, sarjat ja reaalilukujen raja-arvot toimivat.
1. Yksinkertainen algebrallinen todistus
Merkitään x = 0,999.... Kerrotaan yhtälö 10:llä:
10x = 9,999....
Vähennetään alkuperäinen yhtälö: 10x − x = 9,999... − 0,999... jolloin saadaan 9x = 9. Tästä x = 1. Siis 0,999... = 1.
2. Geometrinen sarja / raja-arvo
Desimaaliesitys 0,999... tarkoittaa lukujonojen raja-arvoa: 0,9, 0,99, 0,999, ... Sama kuin sarja
0,9 + 0,09 + 0,009 + ... = sum_{k=1}^∞ 9·10−k.
Tämä on geometrinen sarja, jonka ensimmäinen termi on 0,9 (eli 9·10−1) ja suhdeluku 1/10. Geometrisen sarjan summa on a/(1−r), joten
sum = 9·10−1 / (1 − 10−1) = (9/10) / (9/10) = 1.
Toisin sanoen äärettömien osasummien raja-arvo on 1, joten 0,999... = 1.
3. Murtolukulaskenta (esimerkki 1/3)
Tuttujen murtolukujen avulla: 1/3 = 0,333... joten kertomalla yhtälöllä 3 saadaan 1 = 0,999.... Tämä on yksinkertainen ja yleisesti käytetty tapa havainnollistaa yhtäsuuruus.
4. Raja-arvojen ja ylärajan näkökulma
Otetaan jono s_n, jossa s_n on desimaali, jossa on n kappaletta ysiä: s_1 = 0,9, s_2 = 0,99, jne. Tämä jono on kasvava ja kaikilla n s_n < 1. Luku 1 on tälle jonolle yläraja, ja koska jonon raja-arvo on pienin yläraja (supremum), raja-arvo on 1. Näin ollen 0,999... eli jonon raja on 1.
5. Desimaali-esitysten epäyhtenäisyys (kaksinaiset esitykset)
On hyvä huomata, että joillain reaaliluvuilla on kaksi desimaali-esitystä: yksi, joka päättyy loputtomiin nolliin, ja toinen, joka päättyy loputtomiin ysiin. Esimerkki: 0,24999... = 0,25. Tämä ei ole ristiriita — se on vain desimaaliesitysten ominaisuus. Samalla tavalla 1 = 0,999.... Desimaalikirjoitus ei ole aina yksikäsitteinen lopussa olevien 9:ien ja 0:ien kohdalla.
Yleiset väärinkäsitykset
- ”0,999... on vähän pienempi kuin 1” — ei: jokainen mahdollinen etäisyys positiivisesta luvusta 1 tarkoittaisi, että erotus olisi jotakin positiivista epsilonia, mutta ei ole mitään positiivista reaalilukua, joka olisi yhä suurempi kuin 0,999... ja pienempi kuin 1. Erotus on nolla.
- ”Tässä on käytetty ikään kuin ääretöntä laskentaa, se ei ole kelvollinen” — äärettömät sarjat ja raja-arvot ovat vakiintyneitä käsitteitä analyysissa; yllä olevat todistukset käyttävät näitä täsmällisesti. Algebrallinen todistus on myös yksinkertainen ja pätevä.
Yhteenvetona: eri näkökulmista — algebrallisesti, sarjan summana, raja-arvona ja murtoluku-esimerkin kautta — kaikki johtavat samaan tulokseen: 0,999... on sama luku kuin 1. Tämä on esimerkki siitä, miten äärettömät desimaalit voivat antaa useampia esityksiä samalle reaaliluvulle.

