Kirjatun ympyrän lause on peräisin japanilaisesta sangakusta ja viittaa seuraavaan rakenteeseen: sarja säteitä vedetään pisteestä tietylle suoralle siten , että vierekkäisten säteiden ja suoran muodostamiin tuloksena oleviin kolmioihin kirjoitetut ympyrät ovat samat. Kuvassa samat siniset ympyrät määrittävät säteiden välisen kulman, kuten edellä on kuvattu.
Lause väittää, että edellä kuvatulla konstruktiolla ympyrät, jotka on piirretty kolmioihin, jotka on kirjoitettu säteiden kautta yhden (eli kahden vierekkäisen kolmion yhdistämisellä), kahden jne. kautta, ovat myös yhtä suuret. Vierekkäisten kolmioiden tapaus on esitetty kuvassa vihreillä ympyröillä: niillä kaikilla on samat mitat.
Siitä tosiasiasta, että lauseen väite ei riipu alkusäteen ja annetun suoran välisestä kulmasta, voidaan päätellä, että lause koskee enemmän laskemista kuin geometriaa ja sen tulisi liittyä jatkuvaan mittakaavafunktioon, joka määrittää säteiden välinen etäisyys. Itse asiassa tämä funktio on hyperbolinen sini .
Lause on suora seuraus seuraavasta lemmasta .
Oletetaan, että n:nnellä säteellä on kulma perusviivan normaaliin nähden. Jos parametrisoidaan yhtälön mukaisesti , niin arvot , joissa ja ovat todellisia vakioita, määrittävät säteiden sarjan, joka täyttää ympyrän ehdot (katso edellä), ja lisäksi mikä tahansa sädesarja, joka täyttää nämä ehdot, voidaan saada oikea parametrien valinta ja .
Kuvassa suorat PS ja PT ovat vierekkäisiä säteitä, joilla on kulmia ja joiden viiva PR on kohtisuorassa perusviivaa RT vastaan.
Piirrä perusviivan suuntainen viiva QY kolmioon PST piirretyn ympyrän keskipisteen O läpi. Tämä ympyrä on tangentti pisteissä W ja Z sijaitseville säteille. Jakson PQ pituus on , ja segmentin QR pituus , joka on yhtä suuri kuin piirretyn ympyrän säde.
Sitten OWX on samanlainen kuin PQX, OZY on samanlainen kuin PQY ja XY = XO + OY saamme
Tämä kulmajoukon suhde ilmaisee piirrettyjen ympyröiden yhtäläisyyden ehtoa.
Todistaaksemme lemman asetimme . Tämä lauseke voidaan muuntaa muotoon .
Tasa-arvoa käyttämällä sovellamme lisäsääntöjä ja tarkistamme, että ympyrän tasa-arvon suhde täyttyy lausekkeella
Olemme saaneet parametrille lausekkeen geometristen suureiden ja . Lisäksi määrittämällä saadaan lauseke sisäänkirjoitettujen ympyröiden säteille, jotka muodostetaan valitsemalla kukin N :s säde kolmion sivuiksi: