Harukin lause

Wikipedia

Harukin lause on geometriaan liittyvä lause, joka kuuluu seuraavasti:

Olkoon a,b ja c kolme ympyrää. Oletetaan että b ja c leikkaavat pisteissä A ja A', a ja c pisteissä B ja B' sekä a ja b pisteissä C ja C'. Tällöin \frac{BA'}{CA'}\cdot \frac{CB'}{AB'}\cdot \frac{AC'}{BC'}=1.

Harukin lause
Suurenna
Harukin lause


Todistus: Janat AA', BB' ja CC' ovat kukin ympyröiden radikaaliakseleita, joten ne leikkaavat yhteisessä pisteessä R. Koska A,A',B,B' ovat kaikki C:n kehällä, on AB'R ja BA'R yhdenmuotoisia inversion suhteen. Siten BA'/AB'=BR/AR, ja vastaavasti CB'/BC'=CR/BR, AC'/CA'=AR/CR. Tällöin BA'/CA'*CB'/AB'*AC'/BC'=BA'/AB'*CB'/BC'*AC'/CA'=BR/AR*CR/BR*AR/CR=1.

Harukin lause Cut the Knotissa Keskustelua Harukin lauseesta

Tämä matematiikkaan liittyvä artikkeli on tynkä.
Voit auttaa Wikipediaa laajentamalla artikkelia.