Σελίδα 1 από 1

A' Παγκύπριος Διαγωνισμός Επιλογής για EGMO+BMO+IMO 2022

Δημοσιεύτηκε: Σάβ Ιαν 29, 2022 3:31 pm
από Demetres
Πρόβλημα 1: Να βρείτε όλα τα ζευγάρια πραγματικών αριθμών (x,y) για τα οποία
\displaystyle  x^2+y^2+xy=133
\displaystyle x+y+\sqrt{xy}=19

Πρόβλημα 2: Δίνονται θετικοί ακέραιοι αριθμοί n, m για τους οποίους ισχύει ότι
\displaystyle n(4n+1)=m(5m+1)
(α) Να αποδείξετε ότι η διαφορά n-m είναι τέλειο τετράγωνο κάποιου θετικού ακεραίου.
(β) Να βρείτε ένα ζευγάρι θετικών ακεραίων (n, m) για τους οποίους ισχύει η παραπάνω σχέση.

Πρόβλημα 3: Δίνεται οξυγώνιο τρίγωνο \triangle AB\varGamma με AB<A\varGamma και έστω (c) ο περιγεγραμμένος κύκλος του με κέντρο O. Ονομάζουμε M το μέσο του B\varGamma. Η προέκταση της AM τέμνει ξανά τον κύκλο (c) στο σημείο \varDelta. Ο περιγεγραμμένος κύκλος (c_1) του τριγώνου \triangle M\varDelta\varGamma τέμνει την ευθεία A\varGamma στα σημεία \varGamma και I και ο περιγεγραμμένος κύκλος (c_2) του τριγώνου \triangle AMI τέμνει την ευθεία AB στα σημεία A και Z.

Αν N το ίχνος της κάθετης από το B πάνω στην A\varGamma και P το δεύτερο σημείο τομής της ευθείας ZN με τον (c_2), να αποδείξετε ότι το τετράπλευρο με κορυφές τα σημεία N, P, I και M είναι παραλληλόγραμμο.

Πρόβλημα 4: Δίνονται θετικοί ακέραιοι αριθμοί m, n με m<n και μια σκακιέρα n\times n από την οποία έχει αφαιρεθεί το άνω αριστερά  m\times m κομμάτι της. Ένα παράδειγμα τέτοιας σκακιέρας για n=5 και m=2 φαίνεται παρακάτω.

Να εξεταστεί για ποια ζεύγη (m, n) η συγκεκριμένη σκακιέρα μπορεί να καλυφθεί με πλακίδια της μορφής  3\times 1. Κάθε πλακίδιο μπορεί να τοποθετηθεί οριζόντια ή κάθετα ώστε να καλύπτει ακριβώς τρία τετραγωνάκια της σκακιέρας. Τα πλακίδια δεν επιτρέπεται να αλληλοκαλύπτονται και δεν επιτρέπεται να καλύπτουν τετράγωνα εκτός της σκακιέρας.
skakiera2.png
skakiera2.png (7.99 KiB) Προβλήθηκε 2607 φορές

Re: A' Παγκύπριος Διαγωνισμός Επιλογής για EGMO+BMO+IMO 2022

Δημοσιεύτηκε: Σάβ Ιαν 29, 2022 4:25 pm
από Manolis Petrakis
Demetres έγραψε: Σάβ Ιαν 29, 2022 3:31 pm Πρόβλημα 1: Να βρείτε όλα τα ζευγάρια πραγματικών αριθμών (x,y) για τα οποία
\displaystyle  x^2+y^2+xy=133 \ (1)
\displaystyle x+y+\sqrt{xy}=19 \ (2)
Υψώνοντας τη 2η σχέση στο τετράγωνο παίρνουμε:
x^2+y^2+xy+2xy+2x\sqrt{xy}+2y\sqrt{xy}=361
\stackrel{(1)}{\Leftrightarrow} 133+2\sqrt{xy}( x+y+\sqrt{xy})=361
\stackrel{(2)}{\Leftrightarrow} 133+2\sqrt{xy}\cdot 19=361
\Leftrightarrow \sqrt{xy}=6\Leftrightarrow xy=36
Λόγω της (2): x+y=13.
Από τους τύπους του Vieta παίρνουμε τις λύσεις (x,y)=(9,4),(4,9) που πράγματι επαληθεύουν τις 2 δοθείσες σχέσεις.

Re: A' Παγκύπριος Διαγωνισμός Επιλογής για EGMO+BMO+IMO 2022

Δημοσιεύτηκε: Σάβ Ιαν 29, 2022 5:14 pm
από Mihalis_Lambrou
Demetres έγραψε: Σάβ Ιαν 29, 2022 3:31 pm Πρόβλημα 1: Να βρείτε όλα τα ζευγάρια πραγματικών αριθμών (x,y) για τα οποία
\displaystyle  x^2+y^2+xy=133
\displaystyle x+y+\sqrt{xy}=19
Ας δούμε αλλιώς την 1, μετά την ωραία λύση του Μανώλη.

Θέτουμε x+y=a, \, \sqrt {xy}=b, οπότε η δεύτερη εξίσωση γίνεται a+b=19 και η πρώτη 133=x^2+y^2+xy= (x+y)^2-xy=a^2-b^2.

'Ετσι 133=(a-b)(a+b)=19(a-b), οπότε a-b= 7. Συνοψίζοντας, έχουμε a+b=19,\, a-b=7 Άρα a=13,\, b=6, δηλαδή x+y=13,\, xy = b^2=36.

Τώρα λύνουμε νέο σύστημα, το x+y=13,\, xy = 36, που είναι γνώστού τύπου. Έχει λύσεις (όπως στην απάντηση του Μανώλη) x=9,\, y=4 ή ανάποδα.

Re: A' Παγκύπριος Διαγωνισμός Επιλογής για EGMO+BMO+IMO 2022

Δημοσιεύτηκε: Σάβ Ιαν 29, 2022 5:15 pm
από cretanman
Demetres έγραψε: Σάβ Ιαν 29, 2022 3:31 pm
Πρόβλημα 2: Δίνονται θετικοί ακέραιοι αριθμοί n, m για τους οποίους ισχύει ότι
\displaystyle n(4n+1)=m(5m+1)
(α) Να αποδείξετε ότι η διαφορά n-m είναι τέλειο τετράγωνο κάποιου θετικού ακεραίου.
(β) Να βρείτε ένα ζευγάρι θετικών ακεραίων (n, m) για τους οποίους ισχύει η παραπάνω σχέση.
(α) Πολλαπλασιάζοντας τη δοθείσα επί 16 γίνεται τελικά

(4m)^2+(8m+1)^2=(8n+1)^2 και επειδή οι αριθμοί 4m, \ 8m+1 είναι πρώτοι μεταξύ τους άρα η τριάδα (4m, 8m+1, 8n+1) είναι πρωταρχική πυθαγόρεια τριάδα οπότε υπάρχουν πρώτοι μεταξύ τους ακέραιοι x,y διαφορετικής αρτιότητας ώστε:

\begin{cases} 4m=2xy \\ 8m+1=x^2-y^2 \\ 8n+1=x^2+y^2 \end{cases}

Μάλιστα είναι εύκολο να δούμε ότι πιο συγκεκριμένα πρέπει ο x να είναι περιττός και ο y άρτιος (γιατί;).

Άρα n-m=\dfrac{x^2+y^2-1}{8}-\dfrac{x^2-y^2-1}{8}=\left(\dfrac{y}{2}\right)^2 δηλαδή όπως το θέλαμε, τετράγωνο ακεραίου.

(β) Από τις δύο πρώτες εξισώσεις του παραπάνω συστήματος, απαλείφοντας το m παίρνουμε 4xy+1=x^2-y^2 που είναι ισοδύναμη με την (x-2y)^2-5y^2=1 που είναι εξίσωση Pell της μορφής a^2-5b^2=1 για την οποία εύκολα βρίσκουμε τη λύση (a,b)=(9,4) απ' όπου (x,y)=(17,4) κι έτσι παίρνουμε (m,n)=(34,38) ως μία λύση.

Αλέξανδρος

Re: A' Παγκύπριος Διαγωνισμός Επιλογής για EGMO+BMO+IMO 2022

Δημοσιεύτηκε: Σάβ Ιαν 29, 2022 5:24 pm
από Manolis Petrakis
Demetres έγραψε: Σάβ Ιαν 29, 2022 3:31 pm Πρόβλημα 3: Δίνεται οξυγώνιο τρίγωνο \triangle AB\varGamma με AB<A\varGamma και έστω (c) ο περιγεγραμμένος κύκλος του με κέντρο O. Ονομάζουμε M το μέσο του B\varGamma. Η προέκταση της AM τέμνει ξανά τον κύκλο (c) στο σημείο \varDelta. Ο περιγεγραμμένος κύκλος (c_1) του τριγώνου \triangle M\varDelta\varGamma τέμνει την ευθεία A\varGamma στα σημεία \varGamma και I και ο περιγεγραμμένος κύκλος (c_2) του τριγώνου \triangle AMI τέμνει την ευθεία AB στα σημεία A και Z.
Αν N το ίχνος της κάθετης από το B πάνω στην A\varGamma και P το δεύτερο σημείο τομής της ευθείας ZN με τον (c_2), να αποδείξετε ότι το τετράπλευρο με κορυφές τα σημεία N, P, I και M είναι παραλληλόγραμμο.
Στιγμιότυπο οθόνης (240).png
Στιγμιότυπο οθόνης (240).png (93.04 KiB) Προβλήθηκε 2537 φορές
Από τα εγγεγραμμένα AB\Delta\Gamma,\Gamma\Delta MI,AZMI έχουμε διαδοχικά:
\angle B=\angle \Gamma\Delta M=\angle AIM=\angle MZB επομένως το BMZ είναι ισοσκελές με MZ=MB=M\Gamma \Rightarrow \Gamma Z \perp AB.
Άρα το B\Gamma NZ είναι εγγράψιμο επομένως \angle ANZ=\angle B.
Άρα \angle ANZ=\angle AIM \Rightarrow NZ \parallel MI.
Τέλος \angle NMI=180^{\circ} -\angle MNI -\angle MIN=180^{\circ}-\angle \Gamma -\angle B=\angle A=\angle ZPI από το εγγεγραμμένο MIPZ.
Άρα \angle NPI=\angle NMI=180^{\circ}-\angle MNP
Επομένως MN \parallel PI από όπου έπεται το ζητούμενο.

Re: A' Παγκύπριος Διαγωνισμός Επιλογής για EGMO+BMO+IMO 2022

Δημοσιεύτηκε: Σάβ Ιαν 29, 2022 6:25 pm
από george visvikis
Demetres έγραψε: Σάβ Ιαν 29, 2022 3:31 pm Πρόβλημα 1: Να βρείτε όλα τα ζευγάρια πραγματικών αριθμών (x,y) για τα οποία
\displaystyle  x^2+y^2+xy=133
\displaystyle x+y+\sqrt{xy}=19
Αλλιώς, διαιρώντας κατά μέλη:

\displaystyle \frac{{{x^2} + {y^2} + xy}}{{x + y + \sqrt {xy} }} = \frac{{133}}{{19}} = 7 \Leftrightarrow x + y - \sqrt {xy}  = 7 \Rightarrow x + y = 13, οπότε xy=36, κλπ., όπως ο Μανώλης.

Τώρα παρατηρώ ότι μοιάζει με του Μιχάλη.

Re: A' Παγκύπριος Διαγωνισμός Επιλογής για EGMO+BMO+IMO 2022

Δημοσιεύτηκε: Σάβ Ιαν 29, 2022 6:58 pm
από 2nisic
Demetres έγραψε: Σάβ Ιαν 29, 2022 3:31 pm .

Πρόβλημα 4: Δίνονται θετικοί ακέραιοι αριθμοί m, n με m<n και μια σκακιέρα n\times n από την οποία έχει αφαιρεθεί το άνω αριστερά  m\times m κομμάτι της. Ένα παράδειγμα τέτοιας σκακιέρας για n=5 και m=2 φαίνεται παρακάτω.

Να εξεταστεί για ποια ζεύγη (m, n) η συγκεκριμένη σκακιέρα μπορεί να καλυφθεί με πλακίδια της μορφής  3\times 1. Κάθε πλακίδιο μπορεί να τοποθετηθεί οριζόντια ή κάθετα ώστε να καλύπτει ακριβώς τρία τετραγωνάκια της σκακιέρας. Τα πλακίδια δεν επιτρέπεται να αλληλοκαλύπτονται και δεν επιτρέπεται να καλύπτουν τετράγωνα εκτός της σκακιέρας.

skakiera2.png
Βάφουμε με τρία χρώματα τα 1,2,3 έτσι ώστε κάθε πλακίδιο να περιέχει ένα τετράγωνο από κάθε χρώμα.
(Όπως φένεται παρακάτω με κόκκινο=1, πράσινο=2,μοβ=3)

Παρατηρούμε:
Σε σκακιέρα 3k\times 3k έχουμε ίσο πλήθος από κάθε χρώμα.
Σε σκακιέρα(3k+1)\times (3k+1) έχουμε ένα παραπάνω τετραγωνάκι χρώματος 1.
Σε σκακιέρα(3k+2)\times (3k+2) έχουμε ένα παραπάνω τετραγωνάκι χρώματος 2.


Ισχυριζόμαστε ότι m=n(mod3)

Αν n=0(mod3) τότε αφού κάθε πλακίδιο περιέχει τρία τετράγωνα προφανώς m=0(mod3)

Αν n=1(mod3) και m=2(mod3) τότε σύμφωνα με τα παραπάνω έχουμε:Στην σκακιέρα n*n το πλήθος χρωματον 1,2,3 θα είναι a+1,a,a αντίστοιχα.
Στην σκακιέρα m*m το πλήθος χρωμάτων 1,2,3 θα είναι b,b+1,b αντίστοιχα.
Άρα στο σχήμα που θέλουμε το πλήθος χρωμάτων 1,2,3 θα είναι a+1-b,a-b-1,a-b αντίστοιχα.
Και αφού κάθε πλακίδιο 1*3 περιέχει ένα τετράγωνο από κάθε χρώμα θα είναι αδύνατο.

Για n=2(mod3) και m=1(mod3) ομοίως έχουμε αδύνατο.

Άρα n=m(mod3).
Για n=m(mod3) είναι εύκολο να δούμε ότι υπάρχει τέτοια κάλυψη (θα πρέπει όμως n>3 διότι n>m).

Re: A' Παγκύπριος Διαγωνισμός Επιλογής για EGMO+BMO+IMO 2022

Δημοσιεύτηκε: Σάβ Ιαν 29, 2022 7:42 pm
από 2nisic
Demetres έγραψε: Σάβ Ιαν 29, 2022 3:31 pm

Πρόβλημα 2: Δίνονται θετικοί ακέραιοι αριθμοί n, m για τους οποίους ισχύει ότι
\displaystyle n(4n+1)=m(5m+1)
(α) Να αποδείξετε ότι η διαφορά n-m είναι τέλειο τετράγωνο κάποιου θετικού ακεραίου.
(β) Να βρείτε ένα ζευγάρι θετικών ακεραίων (n, m) για τους οποίους ισχύει η παραπάνω σχέση.

Προφανώς n>m.
Έστω n=m+a τότε αντικαταστοντας στην αρχική έχουμε:m^2-8am-4a^2-a=0 (1)

(α) Έστω προς άτοπο πώς ο a δεν είναι τέλειο τετράγωνο τότε θα υπάρχει πρώτος p τέτοιος ώστε:U_p(a)=2k+1 τότε στην(1) έχουμε p^{2k+1}|m^2 οπότε p^{k+1}|m κοιτάζοντας πάλη στην (1) έχουμε p^{2k+2}|a άτοπο.
Άρα a=b^2 και έτσι η (1) γίνεται: m^2-8b^2m-4b^4-b^2(2).

(β) Επειδή είναι θετικοί ακερεοι η διακρινουσα (στην(2)) θα πρέπει να είναι τέλειο τετράγωνο.
Οπότε  4b^2(20b^2+1)=A^2 ισοδύναμα 20b^2+1=B^2
Βλέπουμε ότι για b=2 έχουμε B=9 που δίνει την λύση (n,m):(38,34)

Re: A' Παγκύπριος Διαγωνισμός Επιλογής για EGMO+BMO+IMO 2022

Δημοσιεύτηκε: Σάβ Ιαν 29, 2022 7:54 pm
από Joaakim
Demetres έγραψε: Σάβ Ιαν 29, 2022 3:31 pm
Πρόβλημα 2: Δίνονται θετικοί ακέραιοι αριθμοί n, m για τους οποίους ισχύει ότι
\displaystyle n(4n+1)=m(5m+1)
(α) Να αποδείξετε ότι η διαφορά n-m είναι τέλειο τετράγωνο κάποιου θετικού ακεραίου.
(β) Να βρείτε ένα ζευγάρι θετικών ακεραίων (n, m) για τους οποίους ισχύει η παραπάνω σχέση.
Μια διαφορετική αντιμετώπιση για το α) του Προβλήματος 2 είναι η εξής:

Η δεδομένη εξίσωση γράφεται ισοδύναμα:
4n^2+n=5m^2+m \Rightarrow (5n^2-5m^2)+(n-m)=n^2 \Rightarrow (n-m)(5m+5n)+(n-m)=n^2 \Rightarrow
(n-m)(5m+5n+1)=n^2 (1)

Έστω d=(n-m,5m+5n+1). Αρκεί να δείξουμε ότι d=1. Έστω προς άτοπο ότι d>1.
Μπορούμε τώρα να θεωρήσουμε έναν πρώτο διαιρέτη p του d.
Τότε p|n-m, p|5m+5n+1, καθώς και p|n^2 λόγω της (1).
Είναι p|n^{2} \Rightarrow p|n, άρα p|n-m \Rightarrow p|n-(n-m)=m.
Τότε όμως p|5(m+n)+1 \Rightarrow p|1 \Rightarrow p=1,
άτοπο, και το ζητούμενο έπεται.

Re: A' Παγκύπριος Διαγωνισμός Επιλογής για EGMO+BMO+IMO 2022

Δημοσιεύτηκε: Σάβ Ιαν 29, 2022 8:06 pm
από cretanman
2nisic έγραψε: Σάβ Ιαν 29, 2022 7:42 pm
Προφανώς n>m.
Έστω n=m+a τότε αντικαταστοντας στην αρχική έχουμε:m^2-8am-4a^2-a=0 (1)

(α) Έστω προς άτοπο πώς ο a δεν είναι τέλειο τετράγωνο τότε θα υπάρχει πρώτος p τέτοιος ώστε:U_p(a)=2k+1 τότε στην(1) έχουμε p^{2k+1}|m^2 οπότε p^{k+1}|m κοιτάζοντας πάλη στην (1) έχουμε p^{2k+2}|a άτοπο.
Άρα a=b^2 και έτσι η (1) γίνεται: m^2-8b^2m-4b^4-b^2(2).
Ωραίο επιχείρημα! :clap:

Re: A' Παγκύπριος Διαγωνισμός Επιλογής για EGMO+BMO+IMO 2022

Δημοσιεύτηκε: Σάβ Ιαν 29, 2022 8:51 pm
από cretanman
Demetres έγραψε: Σάβ Ιαν 29, 2022 3:31 pm Πρόβλημα 4: Δίνονται θετικοί ακέραιοι αριθμοί m, n με m<n και μια σκακιέρα n\times n από την οποία έχει αφαιρεθεί το άνω αριστερά  m\times m κομμάτι της. Ένα παράδειγμα τέτοιας σκακιέρας για n=5 και m=2 φαίνεται παρακάτω.

Να εξεταστεί για ποια ζεύγη (m, n) η συγκεκριμένη σκακιέρα μπορεί να καλυφθεί με πλακίδια της μορφής  3\times 1. Κάθε πλακίδιο μπορεί να τοποθετηθεί οριζόντια ή κάθετα ώστε να καλύπτει ακριβώς τρία τετραγωνάκια της σκακιέρας. Τα πλακίδια δεν επιτρέπεται να αλληλοκαλύπτονται και δεν επιτρέπεται να καλύπτουν τετράγωνα εκτός της σκακιέρας.
Το πλήθος των τετραγώνων που μένουν είναι n^2-m^2. Προφανώς για να γίνεται η κάλυψη πρέπει 3|n^2-m^2.

\bullet Αν 3|n-m δηλαδή n-m=3k τότε τα πράγματα είναι απλά γιατί π.χ. την πρώτη οριζόντια πλευρά (γραμμή) με n-m τετραγωνάκια την γεμίζω με k πλακίδια και συνεχίζω όμοια μέχρι κάτω και στις n σειρές. Μένει ένα ορθογώνιο διαστάσεων (n-m)\times n στ' αριστερά. Στην πρώτη κατακόρυφη πλευρά από αριστερά (στήλη) που έχει n-m τετραγωνάκια βάζω k πλακίδια τοποθετημένα κατακόρυφα και συνεχίζω με όμοιο τρόπο σε όλες τις επόμενες στήλες και η κάλυψη έχει ολοκληρωθεί (εφαρμογή στο σχήμα της εκφώνησης).

\bullet Αν 3|n+m τότε διακρίνω τις εξής 2 υποπεριπτώσεις:

α) Αν κάποιος εκ των n, m διαιρείται από το n τότε διαιρείται και ο άλλος άρα 3|n-m και η κάλυψη ανάγεται στην προηγούμενη περίπτωση.

β) Αν κανένας εκ των n,m δεν διαιρείται από το n τότε επειδή 3|n+m άρα έχουμε είναι n=3k+1, \ m=3l+2 είτε n=3k+2, \ m=3l+1.

Ας πάρουμε την πρώτη περίπτωση όπου n=3k+1 και m=3l+2 (εντελώς όμοια θα απορρίψουμε και τη δεύτερη). Βάφουμε το τελικό σχήμα με 3 χρώματα ως εξής. Την πρώτη γραμμή με το χρώμα 1, την δεύτερη με το χρώμα 2 την τρίτη με το χρώμα 3, την τέταρτη με το χρώμα 1, κ.ο.κ. εναλλάξ μέχρι την τελευταία γραμμή.

Τότε τα τετράγωνα χρώματος 1 είναι σε πλήθος (k+1)(n-m) + (l-k)n = ln+n-km-m
ενώ τα τετράγωνα χρώματος 2 είναι είναι σε πλήθος k(n-m)+(l-k+1)n=ln+n-km

Κάθε πλακίδιο 3\times 1 καλύπτει είτε 3 τετράγωνα ίδιου χρώματος είτε 3 τετράγωνα χρωματισμένα με 3 διαφορετικά χρώματα.
Αν υποθέσουμε ότι μία τέτοια κάλυψη ήταν δυνατή, η διαφορά του πλήθους των τετραγώνων που είναι χρωματισμένα με χρώμα 1 από το πλήθος των τετραγώνων που είναι χρωματισμένα με χρώμα 2 πρέπει να είναι αριθμός διαιρετός από το 3.

Όμως αυτή η διαφορά αυτή είναι ίση με (ln+n-km) - (ln+n-km-m) = m που από την υπόθεση είναι αριθμός ΜΗ διαιρετός από το 3 κι έτσι καταλήγουμε σε άτοπο άρα μία τέτοια κάλυψη δεν είναι δυνατή.

Τελικά η κάλυψη είναι δυνατή αν και μόνο αν n\equiv m\pmod{3}.

Αλέξανδρος

Re: A' Παγκύπριος Διαγωνισμός Επιλογής για EGMO+BMO+IMO 2022

Δημοσιεύτηκε: Κυρ Ιαν 30, 2022 2:41 pm
από 2nisic
<ABC=<ADC=<MIA=<BZC οπότε BM=MZ=MC\Rightarrow <CZB=90
Τώρα μπορούμε να αγνοήσουμε το σημείο D και τον κύκλο (MDC).


Αντίστρεφουμε με κέντρο A και ακτίνα\sqrt{AB\cdot AZ} τότε:

1) Τα Z,B αλλάζουν μεταξύ τους και ομοίως τά E,C.

2)Το σημείο M θα πάει στο A-humpty.point.

3) Ο κύκλος AZMIPθα γίνει ευθεία αφού περνά από το A. Επειδή όμως Z\rightarrow B,M\rightarrow M' ο κύκλος AZMIP θα γίνει η ευθεία BM'.

4)Το σημείο I ανήκει στον κύκλο AZMIP και στην ευθεία AC(η οποία μένει αμετάβλητη ) οπότε I'=AC\cap BM'

5)Η ευθεία ZE θα γίνει κύκλο;ς που περνά από το A αλλά επειδήZ\rightarrow B,E\rightarrow C η ευθεία ZE θα γίνει ο κύκλος ABC

6)το σημείο P=ZE\cap (AZM)\Rightarrow P'=(ABC)\cap BM'

Για να αποδείξουμε ότιMI//EP αρκεί να δείξουμε ότι οι κύκλοι (ABC) και (AM'I') εφάπτονται.
Φέρνουμε την εφαπτομένη AX στον (ABC) τότε:
< XAM'=<XAB+<BAM'=<ACB+<M'BC=AI'M'
Οπότε η AX εφάπτεται και στον AM'I'

Για να αποδείξουμε ότιME//IP αρκεί να δείξουμε ότι οι κύκλοι (AI'P') και (AM'B) εφάπτονται.
Φέρνουμε την εφαπτομένη AY στον (AM'C) τότε:
<YAI'=<YAM'+<M'AC=<ACM'+<M'CB=<ACB=AP'I'
Οπότε η AY εφάπτεται και στον AI'P'