52. Kansainväliset matematiikkaolympialaiset

Samankaltaiset tiedostot
Kansainväliset matematiikkaolympialaiset 2008

Lukion matematiikkakilpailun alkukilpailu 2015

Harjoitustehtävät, syyskuu Helpommat

33. pohjoismainen matematiikkakilpailu 2019 Ratkaisut

Ratkaisut vuosien tehtäviin

! 7! = N! x 8. x x 4 x + 1 = 6.

Matematiikan olympiavalmennus 2015 helmikuun helpommat

Hilbertin aksioomat ja tarvittavat määritelmät Tiivistelmä Geometria-luentomonisteesta Heikki Pitkänen

= = = 1 3.

Matematiikan olympiavalmennus

Matematiikan olympiavalmennus

Tekijä Pitkä matematiikka

Matematiikan peruskurssi 2

4.3 Kehäkulma. Keskuskulma

Vanhoja koetehtäviä. Analyyttinen geometria 2016

2 Pistejoukko koordinaatistossa

Approbatur 3, demo 1, ratkaisut A sanoo: Vähintään yksi meistä on retku. Tehtävänä on päätellä, mitä tyyppiä A ja B ovat.

3.1 Väliarvolause. Funktion kasvaminen ja väheneminen

Kansainväliset matematiikkaolympialaiset 2015 tehtävien ratkaisuja

(iv) Ratkaisu 1. Sovelletaan Eukleideen algoritmia osoittajaan ja nimittäjään. (i) 7 = , 7 6 = = =

Kansainväliset matematiikkaolympialaiset 2012

Matematiikan ja tilastotieteen laitos Matematiikka tutuksi Harjoitus 2, malliratkaisut

Geometrian perusteet. Luvun 4 harjoitustehtävien ratkaisuhahmotelmia

isomeerejä yhteensä yhdeksän kappaletta.

203 Asetetaan neliöt tasoon niin, että niiden keskipisteet yhtyvät ja eräiden sivujen välille muodostuu 45 kulma.

1. a. Ratkaise yhtälö 8 x 5 4 x + 2 x+2 = 0 b. Määrää joku toisen asteen epäyhtälö, jonka ratkaisu on 2 x 1.

Tehtävien ratkaisut. 77 cm Ratkaisu. Toisen kierron jälkeen syntyvä neliö on

Esitetään tehtävälle kaksi hieman erilaista ratkaisua. Ratkaisutapa 1. Lähdetään sieventämään epäyhtälön vasenta puolta:

Algebra I, Harjoitus 6, , Ratkaisut

Geometriaa kuvauksin. Siirto eli translaatio

Diplomi-insinööri- ja arkkitehtikoulutuksen yhteisvalinta 2018 Insinöörivalinnan matematiikan koe, , Ratkaisut (Sarja A)

joissa on 0 4 oikeata vastausta. Laskimet eivät ole sallittuja.

Tehtävien ratkaisut

Preliminäärikoe Tehtävät A-osio Pitkä matematiikka kevät 2016 Sivu 1 / 4

Matematiikan olympiavalmennus 2015 syyskuun tehtävät

Laudatur 4 MAA4 ratkaisut kertausharjoituksiin

1 2 x2 + 1 dx. (2p) x + 2dx. Kummankin integraalin laskeminen oikein (vastaukset 12 ja 20 ) antaa erikseen (2p) (integraalifunktiot

4 Matemaattinen induktio


Ratkaisut vuosien tehtäviin

Cantorin joukon suoristuvuus tasossa

Kuusi haastavaa tehtävää: Euroopan tyttöjen matematiikkaolympialaiset Luxemburgissa

Kaikki kurssin laskuharjoitukset pidetään Exactumin salissa C123. Malliratkaisut tulevat nettiin kurssisivulle.

Matematiikan tukikurssi, kurssikerta 1

7. Olemassaolo ja yksikäsitteisyys Galois n kunta GF(q) = F q, jossa on q alkiota, määriteltiin jäännösluokkarenkaaksi

x+3 = n(y 3) y +n = 3(x n). Kun ylemmästä yhtälöstä ratkaistaan x = n(y 3) 3 ja sijoitetaan alempaan, saadaan

Harjoitustehtävät, joulukuu 2013, (ehkä vähän) vaativammat

{ 2v + 2h + m = 8 v + 3h + m = 7,5 2v + 3m = 7, mistä laskemmalla yhtälöt puolittain yhteen saadaan 5v + 5h + 5m = 22,5 v +

Tehtäväsarja I Seuraavissa tehtävissä harjoitellaan erilaisia todistustekniikoita. Luentokalvoista 11, sekä voi olla apua.

Lineaariavaruudet. Span. Sisätulo. Normi. Matriisinormit. Matriisinormit. aiheita. Aiheet. Reaalinen lineaariavaruus. Span. Sisätulo.

Johdatus matemaattiseen päättelyyn

Todistusmenetelmiä Miksi pitää todistaa?

Algebra I Matematiikan ja tilastotieteen laitos Ratkaisuehdotuksia harjoituksiin 3 (9 sivua) OT

z Im (z +1) 2 = 0. Mitkä muut kompleksitason pisteet toteuttavat tämän yhtälön? ( 1) 0 z ( 1) z ( 1) arg = arg(z 0) arg(z ( 1)), z ( 1) z ( 1)

joissa on 0 4 oikeata vastausta. Laskimet eivät ole sallittuja.

1 Lukujen jaollisuudesta

Preliminäärikoe Tehtävät A-osio Pitkä matematiikka kevät 2016 Sivu 1 / 4

a b c d

Määritelmä, alkuluku/yhdistetty luku: Esimerkki . c) Huomautus Määritelmä, alkutekijä: Esimerkki

saadaan kvanttorien järjestystä vaihtamalla ehto Tarkoittaako tämä ehto mitään järkevää ja jos, niin mitä?

= 5! 2 2!3! = = 10. Edelleen tästä joukosta voidaan valita kolme särmää yhteensä = 10! 3 3!7! = = 120

Matematiikan tukikurssi, kurssikerta 3

1 Ensimmäisen asteen polynomifunktio

MATEMATIIKAN KOE, PITKÄ OPPIMÄÄRÄ HYVÄN VASTAUKSEN PIIRTEITÄ

= 9 = 3 2 = 2( ) = = 2

Karteesinen tulo. Olkoot A = {1, 2, 3, 5} ja B = {a, b, c}. Näiden karteesista tuloa A B voidaan havainnollistaa kuvalla 1 / 21

w + x + y + z =4, wx + wy + wz + xy + xz + yz =2, wxy + wxz + wyz + xyz = 4, wxyz = 1.

5.6 Yhdistetty kuvaus

Tehtävä 4 : 2. b a+1 (mod 3)

Sekalaiset tehtävät, 11. syyskuuta 2005, sivu 1 / 13. Tehtäviä

2.1. Tehtävänä on osoittaa induktiolla, että kaikille n N pätee n = 1 n(n + 1). (1)

y=-3x+2 y=2x-3 y=3x+2 x = = 6

Ympyrän yhtälö

Pythagoraan polku

Ympyrä 1/6 Sisältö ESITIEDOT: käyrä, kulma, piste, suora

missä on myös käytetty monisteen kaavaa 12. Pistä perustelut kohdilleen!

Matematiikan tukikurssi

Matematiikan olympiavalmennus

Preliminäärikoe Pitkä Matematiikka

Solmu 3/2001 Solmu 3/2001. Kevään 2001 ylioppilaskirjoitusten pitkän matematiikan kokeessa oli seuraava tehtävä:

DIFFERENTIAALI- JA INTEGRAALILASKENTA I.1. Ritva Hurri-Syrjänen/Syksy 1999/Luennot 6. FUNKTION JATKUVUUS

Maksimit ja minimit 1/5 Sisältö ESITIEDOT: reaalifunktiot, derivaatta

Matematiikan mestariluokka, syksy

3. Kirjoita seuraavat joukot luettelemalla niiden alkiot, jos mahdollista. Onko jokin joukoista tyhjä joukko?

Matematiikan tukikurssi, kurssikerta 2

Harjoitustehtävät, syys lokakuu Helpommat

29. Pohjoismainen matematiikkakilpailu

6 Geometria koordinaatistossa

Paraabeli suuntaisia suoria.

Algebra 1, harjoitus 9, h = xkx 1 xhx 1. a) Käytetään molemmissa tapauksissa isomorfialausetta. Tarkastellaan kuvauksia

Diplomi-insinööri- ja arkkitehtikoulutuksen yhteisvalinta 2017 Insinöörivalinnan matematiikan koe , Ratkaisut (Sarja A)

5 Funktion jatkuvuus ANALYYSI A, HARJOITUSTEHTÄVIÄ, KEVÄT Määritelmä ja perustuloksia. 1. Tarkastellaan väitettä

Matematiikan tukikurssi

(2n 1) = n 2

Miten osoitetaan joukot samoiksi?

Matematiikan olympiavalmennus 2015 toukokuun tehtävät

a k+1 = 2a k + 1 = 2(2 k 1) + 1 = 2 k+1 1. xxxxxx xxxxxx xxxxxx xxxxxx

Transkriptio:

52. Kansainväliset matematiikkaolympialaiset Tehtävien ratkaisuja Tehtävä 1.Olkoon A = {a 1,a 2,a 3,a 4 } joukko, jonka alkioina on neljä eri suurta positiivista kokonaislukua. Joukon alkioiden summaa a 1 + a 2 + a 3 + a 4 merkitään S A :lla. Olkoon n A niiden parien (i, j) lukumäärä, joille 1 i<j 4 ja a i + a j on S A :n tekijä. Määritä kaikki sellaiset neljän eri suuren kokonaisluvun joukot A, joillen A on mahdollisimman suuri. Ratkaisu. Joukolla {1, 2, 3, 4} on 6 kaksialkioista osajoukkoa. Varmasti siis n A 6. Mutta jos jokin A:n kahden eri alkion a i,a j summa on tekijänä luvussa S A,seontekijänä myös luvussa S A (a i + a j ), joka on A:n kahden muun alkion summa. Voidaan olettaa, että a 1 <a 2 <a 3 <a 4.Koskaa 3 + a 4 >a 1 + a 2 ja a 2 + a 4 >a 1 + a 3, summat a 3 + a 4 ja a 2 + a 4 eivät voi olla luvun S A tekijöitä. Siis n A 4. Osoitetaan, että n A = 4 on mahdollista. Katsotaan ensin välttämättömiä seurauksia oletuksesta n A =4. Josn A = 4, kaikki muut A:n kahden eri alkion sumat kuin summat kuin a 3 + a 4 ja a 2 + a 4 ovat S A :n tekijöitä. Erityisesti silloin a 1 + a 4 on luvun a 2 + a 3 tekijä jaa 2 + a 3 on luvun a 1 + a 4 tekijä. Tämä on mahdollista vain, jos a 1 + a 4 = a 2 + a 3 ja S A =2(a 2 + a 3 ). Merkitään a 1 + a 2 = x ja a 1 + a 3 = y. Silloin S A =2(x + y 2a 1 ). Koska y on S A :n tekijä, se on luvun 2(x 2a 1 )=2(a 2 a 1 ) > 0tekijä. Koska y>x, y>x 2a 1. Jos luku on toisen luvun tekijä ja enemmän kuin puolet tästä luvusta, luvut ovat yhtä suuret. Siis y =2(x 2a 1 )=2(a 2 a 1 ). Toisaalta x = a 1 + a2 on luvun 2(y 2a 1 )=2(2a 2 4a 1 )=4(a 1 + a 2 ) 12a 1 tekijä, joten se on luvun 12a 1 tekijä. Mutta tiedetään, että x<yeli a 1 + a 2 < 2(a 2 a 1 )=2(a 1 + a 2 ) 4a 1,jotena 1 + a 2 > 4a 1. Tämä merkitsee, että vainyhtälöt a 1 + a 2 = 6a 1 ja a 1 + a 2 = 12a 1 eli a 2 = 5a 1 ja a 2 =11a 1 ovat mahdollisia. Koska a 3 = y a 1 =2a 2 3a 1, edellinen vaihtoehto johtaa tilanteeseen a 3 =7a 1 ja a 4 =11a 1,jälkimmäinen tilanteeseen a 3 =19a 1, a 4 =29a 1. Välittömästi voidaan tarkastaa, että josa on mielivaltainen positiivinen kokonaisluku, joukot A = {a, 5a, 7a, 11a} ja A = {a, 11a, 19a, 29a} toteuttavat tehtävän ehdon. Ne ovat siis tehtävässä kysytyt joukot. Tehtävä 2.Tason äärellisessä joukossa S on ainakin kaksi pistettäjämitkään kolme S:n pistettä eivät ole samalla suoralla. Seuraavaa prosessia kutsutaan tuulimyllyksi. Alkutilanteessa suora l kulkee joukkoon yhden joukon S pisteen P kautta. Se kiertyy myötäpäivään kierron keskipisteen P ympäri, kunnes se kohtaa jonkin toisen joukkoon S kuuluvan pisteen Q. Pisteestä Q tulee nyt kierron koskipiste, ja suora kiertyy Q:n ympäri myötäpäivään, kunnes se jäleen kohtaa jonkin CalS:n pisteen. Prosessi jatkuu loputtomasti. Osoita, että on mahdollista valita P Sja P :n kautta kulkeva suora l niin, että näistä aloitettu tuulimylly käyttää jokaista S:n pistettä kierron keskipisteenä äärettömän monta kertaa. Ratkaisu. Oletetaan ensin, että joukossa S on 2n + 1 pistettä. Valitaan pisteistä yksi, esimerkiksi A, ja asetetaan A:n kautta suora l 0 niin, että suoran molemmilla puolilla on n A:n pistettä. Alkutilanteessa l = l 0. Kiinnitetään suoran l suunta; silloin voidaan puhua l:n oikeasta ja vasemmasta puolesta. Kun l kiertyy A:n ympäri, se kohtaa ensin joko

jonkin alkuaan l:n oikealla puolella olevan pisteen B; kunl on kiertynyt vielä vähän B:n ympäri, mutta ei ole vielä osunut mihinkään uuteen S:n pisteeseen, A on muuttunut l:n oikean puolen pisteeksi, mutta muut pisteet ovat edelleen sillä puolen l:ää, missä olivat alkutilanteessa. Jos taas l kohtaa ensin jonkin vasemmalla puolellaan olevan pisteen C, niin (kun on kierretty vielä vähän C:n ympäri) A on muuttunut l:n vasemman puolen pisteeksi. Kaikkiaan siis aina silloin, kun l koskettaa vain yhtä S:n pistettä, l:n molemmilla puolilla on yhtä montas:n pistettä. Piste siirtyy l:n puolelta toiselle tasan silloin, kun se on kierron keskipisteenä. Koska S on äärellinen joukko, l:n suunta (jonkin kiinteän referenssin, esimerkiksi kahden annetun S:n pisteen kautta kulkevan suoran suhteen), muttuu kulmalla, jonka suuruudella on positiivinen alaraja. Tämä merkitsee, että äärellisen monen askeleen jälkeen l on tehnyt 180 kierron. Voidaan että, tällöin l koskee vain yhtä S: pistettä (ellei näin ole, voidaan tarkastella alkutilannetta, jossa l:naento hiukan muutetaan). Olkoon l 1 se suora, jonka päällä 180 kiertynyt l on. Silloin l 1 l 0. Kummankin suoran l 0 ja l 1 kummallakin puolella on n joukon S pistettä. Tästä seuraa, että suorienvälissä ei ole yhtään S pistettä ja jokainen alussa l:n vasemmalla puolella ollut piste on siirtynyt l:n oikealle puolelle ja päin vastoin. Kierron keskipiste on jälleen A ja jokaisen S:n on täytynyt olla ainakin kerran kierron keskipisteenä. Prosessi toistuu samana äärettömän monta kertaa, joten jokainen piste on ärettömän monta kertaa kierron keskipisteenä. Olkoon sitten S:ssä 2n pistettä. Olkoon A Sja olkoon l 0 sellainen A:n kautta kulkeva (suunnalla varustettu) suora, että l 0 :n vasemmalla puolella on n ja oikealla puolella n 1 pistettä. Kun tilanteesta l = l 0 on edetty tilanteeseen l = l 1, missä l 1 koskettaa joukkoa S pisteessä B, l 1 l 0, mutta l 1 ja l 0 ovat vastakkaissuuntaiset, niin l 1 :n vasemmalla puolella on edelleen n ja oikealla puolella n 1 pistettä. Tämä on mahdollista vain, jos B on l 0 :n vasemmalla puolella ja A on l 1 :n vasemmalla puolella ja jokainen muu l 0 :n vasemmalla puolella oleva piste on l 1 :n oikealla puolella sekä jokainen l 0 :n oikealla puolella oleva piste on l 1 :n vasemmalla puolella. Jokainen S:n piste on ollut ainakin keran kierron keskipiste. Kun l kiertyy seuraavat 180, se on taas l 0 :n päällä, ja kierros alkaa uudelleen; se voidaan toistaa äärettömän monta kertaa. Tehtävä 3.Funktio f : R R toteuttaa ehdon f(x + y) yf(x)+f(f(x)) kaikilla reaaliluvuilla x ja y. Osoita, että f(x) =0kaikilla x 0. Ratkaisu. Sijoitetaan x =0tehtävän epäyhtälöön. Saadaan f(y) yf(0) + f(f(0)) kaikilla y. Valitaan x ja y niin, että x + y = f(0). Kun sovelletaan tehtävän epäyhtälöä ja juuri johdettua epäyhtälöä, saadaan f(f(0)) (f(0) x)f(x)+f(f(x)) (f(0) x)f(x)+f(x)f(0) + f(f(0)), mikä sievenee muotoon 0 (2f(0) x)f(x). Tästä seuraa, että f(x) 0 kaikilla x<2f(0). Osoitetaan, että f(x) 0 kaikilla x. Ellei näin olisi, olisi jollain af(a) > 0. Silloin olisi f(y + a) yf(a)+f(f(a)) eli f(y + a) < 0, kun y< f(f(a))/f(a). Molemmat kaksi edellistä väittämää eivät selvästikään voi toteutua. Siis f(x) 0 kaikilla x R. Koksa silloin myös f(f(x)) 0 kaikilla x, saadaan tehtävän epäyhtälöstä f(x + y) yf(x). (1)

Koska f(x) 0 tarpeeksi pienillä x ja toisaalta f(x) 0 kaikilla x, on olemassa lukuja x, joille f(x) = 0. Olkoon x tällainen ja olkoon y =0. Tehtävän epäyhtälö antaa nyt 0=f(x) f(f(x)) = f(0). Koska f(0) 0, on oltava f(0) = 0. Olkoon nyt x<0, joloin x >0. Epäyhtälöstä (1) saadaan 0 = f(0) = f(x x) xf(x). Tämä merkitsee, että f(x) 0, eli koska f(x) 0, f(x) =0. Väite on todistettu. Tehtävä 4.Olkoon n > 0 kokonaisluku. Käytössä on kaksivartinen vaaka ja n punnusta, joiden massat ovat 2 0, 2 1,..., 2 n 1. Punnukset on asetettava yksitellen vaa alle niin, että oikea vaakakuppi ei koskaan paina enempää kuin vasen vaakakuppi. Joka vaiheessa valitaan yksi jäljellä olevista punnuksista ja se asetetaan joko vasempaan tai oikeaan vaakakuppiin, kunnes kaikki punnukset ovat vaa alla. Määritä, kuinka monella eri tavalla tämä voidaan tehdä. Ratkaisu. Olkoon x n sijoittelujen määrä. Selvästi x 1 = 1: ainoa punnus voidaan asettaa vain vasempaan kuppiin. Olkoon sitten käytössä n punnusta. Punnukset, joiden paino on 2, 2 2,..., 2 n 1, voidaan sijoitella x n 1 :llä eri tavalla. Kevein punnus voidaan sijoittaa ennen muita punnuksia, minkä tahansa kahden muun punnuksen välissä tai kaikkien muiden punnusten jälkeen. Jos kevein sijoitetaan ensimmäisenä, se voidaan asettaa vain vasempaan vaakakuppiin. Jos se sijoitetaan missä muussa tahansa vaiheessa, vasen vaakakuppi painaa ainakin kaksi yksikköä enemmän kuin oikea, ja yhden painoinen punnus voidaan sijoittaa kumpaan tahansa kuppiin. Jokaista painavampien punnusten sijoittelua kohden keveimmällä punnuksella on siten 1+(n 1) 2 =2n 1 eri mahdollisuutta. Tämä merkitsee, että x n =(2n 1)x n 1. Kun otetaan huomioon x 1 = 1, saadaan x n =(2n 1)(2n 3) 3 1. (Tätä lukua merkitään joskus symbolilla (2n 1)!!.) Tehtävä 5. Funktio f on määritelty kokonaislukujen joukossa, ja sen arvot ovat positiivisia kokonaislukuja. Oletetaan, että jokaisella kahdella kokonaisluvulla m ja n erotus f(m) f(n) on jaollinen luvulla f(m n). Osoita, että kaikilla sellaisilla kokonaisluvuilla m ja n, joillaf(m) f(n), f(n) on jaollinen luvulla f(m). Ratkaisu. Todistettavaa on vain niissä tapauksissa, joissa f(m) f(n). Oletetaan, että f(m) <f(n). Oletuksen mukaan positiivinen luku f(n) f(m) on jaollinen luvulla f(n m). Koska f(m) > 0, f(n m) f(n) f(m) <f(n). Siis f(n) < f(m n) <f(m) f(m n) <f(m) <f(n). (1) Koska f(n) =f(m (m n)), tehtävän oletuksesta seuraa, että f(m) f(m n) on jaollinen f(n):llä. Epäyhtälöiden (1) mukaan tämä on mahdollista vain, jos f(m) f(m n) =0eli f(m n) =f(m). Mutta tehtävän oletuksesta seuraa nyt, että f(n) f(m) on jaollinen f(m):llä. Tästä taas seuraa, että f(n) on jaollinen f(m):llä. Tehtävä 6. Teräväkulmaisen kolmion ABC ympäri piirretty ympyrä onγ. Suoral on ympyrän Γ tangentti ja suorat l a, l b ja l c ovat suoran l kuvat peilauksissa yli suorien BC, CA ja AB, tässä järjestyksessä. Osoita, että suorienl a, l b ja l c määrittelemän kolmion ympäri piirretty ympyrä sivuaa ympyrää Γ. Ratkaisu. Todistus on varsin mutkikas ja siinä nojaudutaan tunnettuun, muttei ihan alkeelliseen Pascalin lauseeseen. Pascalin lause kertoo, ettäjosa, B, C, D, E ja F ovat saman ympyrän pisteitä missä tahansa järjestyksessä, niin suorien BC ja EF leikkauspiste

Q, suoriencd ja FA leikkauspiste P ja suorien DE ja AB leikkauspiste R ovat samalla suoralla. Olkoon A l b :n ja l c :n leikkauspiste, B l c :n ja l a :n leikkauspiste ja C l b :n ja l a :n leikkauspiste ja olkoon Γ kolmion A B C ympäri piirretty ympyrä. Olkoon T Γ:n ja l:n sivuamispiste. Olkoot A, B ja C ne Γ:n pisteet, joille A, B ja C ovat kaarien TA, TB ja TC keskipisteet. Tehtävän väite tulee todistetuksi, kun osoitetaan, että kolmiot A B C ja A B C ovat homoteettiset ja että homotetiakeskus on ympyrällä Γ. Osoitetaan ensin, että kolmioiden A B C ja A B C sivut ovat pareittain yhdensuuntaiset. Osoitetaan, että B C B C ; muilla sivupareilla todistus menee periaatteessa samoin. Olkoon JB C :n ja l:n leikkauspiste, FAB:n ja l:n leikkauspiste ja DBC:n ja l:n leikkauspiste. Jos, kuten kuvassa, J on janalla TF, niin kehäkulmalauseseen ja pisteiden B ja C määritelmään sekä siihen, että l a on l:n kuva peilauksessa yli suoran BC nojautuen saadaan FJC = JTC + JC T = JTC + B BT = (180 DTC )+ (180 2 TB B) = 360 2 ( DTC + TB B)=2 (180 TB B) 2 DTC = 2 TCB 2 DTC =2 TDC = TDC. Siis B C B C. Kolmiot, joiden sivut ovat pareittain yhdensuuntaiset, ovat homoteettisia. Osoitetaan seuraavaksi, että suorienbc ja CB leikkauspiste N on suoralla l a.koskac on kaaren TC keskipiste, BC on kulman TBN puolittaja, joten BC ja BT ovat toistensa kuvia peilauksessa yli BC:n. Koska B on kaaren TBB keskipiste, B CB = TB B = 180 TCB = TCD. Suorat TC ja B C ovat toistensa kuvia peilauksessa yli BC:n. Suorien BT ja B T leikkauspiste T, joka on suoralla l, kuvautuu siis peilauksessa suorien BC ja CB leikkauspisteeksi N, jonka on oltava l:n kuvasuoralla l a. Olkoon sitten I suorien BB ja CC leikkauspiste. Osoitetaan, että I on ympyrälläγ. Tätä varten pyritään osoittamaan, että CIB = CAB. Tähän taas riittää, jos osoitetaan, että BB C + CC B = CAB. Osoitetaan tämä. Koska FB on kulman TFA puolittaja ja DB on kulman TDC puolittaja (suorien l c ja l a määrittelyn mukaan), B on kolmion B FD kahden kulman vieruskulman puolittajilla ja siten kolmion kolmannen kulman puolittajalla. Kolmion kulmien summan kaavasta saadaan nyt BDF + BFD DB B = 90.Tästä seuraa C B B = DB B = BDF + BFD 90 =90 ABC. Vastaavasti, jos G on CC :n ja l:n leikkauspiste, C on kolmion CDG kulmanpuolittajien leikkauspiste, ja CDG+ DGC + DC C =90. Silloin B C C =90 ( CDG+ DGC) = 90 ACB. Kaikkiaan siis C BB + B C C = 180 ( ABC + ACB) = CAB. I on siis ympyrällä Γ. (Edellisen päättelyn yksityiskohdat voivat muuttua T :n sijainnin mukaan.) Olkoon nyt K suoran B B ja Γ:n leikkauspiste. Pyritään osoittamaan, että K on sen homotetian keskus, joka kuvaa kolmion A B C kolmiolle A B C. Sovelletaan Pascalin lausetta ympyrän Γ pisteisiin K, I, B, C, B ja C. Pascalin lauseen mukaan suorien B K ja BI leikkauspiste B,suorienB C ja BC leikkauspiste N sekä suorienic ja

KC leikkauspiste ovat samalla suoralla. Mutta suora B N on suora l a,jal a :n ja IC:n leikkauspiste on C. Siis K on suoralla C C. Mutta tämä merkitsee, että K on todellakin kolmiot A B C ja A B C yhdistävän homotetian homotetiakeskus, ja väite on todistettu.