ΕΠΙΤΡΟΠΗ ΔΙΑΓΩΝΙΣΜΩΝ ΕΜΕ 28 η Ελληνική Μαθηματική Ολυμπιάδα "Ο Αρχιμήδης" ΣΑΒΒΑΤΟ, 26 ΦΕΒΡΟΥΑΡΙΟΥ 2011 ( )

Transcript

1 ΕΠΙΤΡΟΠΗ ΔΙΑΓΩΝΙΣΜΩΝ ΕΜΕ 8 η Ελληνική Μαθηματική Ολυμπιάδα "Ο Αρχιμήδης" ΣΑΒΒΑΤΟ, 6 ΦΕΒΡΟΥΑΡΙΟΥ 011 Ενδεικτικές Λύσεις θεμάτων μεγάλων τάξεων ΠΡΟΒΛΗΜΑ 1 Να λύσετε στους ακέραιους την εξίσωση 4 xy y x = xy 6. ( ) Λύση Μετά τις πράξεις διαπιστώνουμε ότι η δεδομένη εξίσωση είναι ισοδύναμη με την εξίσωση xy x y 6 = 0, xy,, ( ) xy ( x y) xy ( x y) + = x y ( ) ( ) ( ) ( ) Από τη μορφή των (1) και () προκύπτει ότι, αν (, ) 6 6 0,,, xy x y = 6, x, y, ή xy x y = 6, x, y. xy x y = 6, x, y, (1) ή xy y x = 6, x, y. () x0 y 0 είναι λύση της (1), τότε το ζευγάρι ( y 0, x 0 ) είναι λύση της () και αντιστρόφως. Επομένως, αρκεί να λύσουμε μόνον την εξίσωση (1). Επειδή xy,, η εξίσωση (1) είναι ισοδύναμη με : { xy = 6, x y = 1}( Σ 1) ή { xy = 6, x y = 1}( Σ) ή{ xy =, x y = }( Σ ) ή { xy =, x y = }( Σ4) ή{ xy = 1, x y = 6}( Σ 5) ή { xy = 1, x y = 6}( Σ6) ή{ xy =, x y = }( Σ 7) ή { xy =, x y = }( Σ8). Από τα 8 συστήματα μόνον τα ( Σ1), ( Σ), ( Σ 8) δίνουν τις ακέραιες λύσεις: ( xy, ) = (, ),( xy, ) = (, ), ( xy, ) = (,1 ), ( xy, ) = ( 1, ), ( xy, ) = (,1) και ( xy, ) = ( 1, ).. Σύμφωνα με όσα είπαμε παραπάνω, η εξίσωση () έχει στους ακέραιους τις λύσεις ( xy, ) = (, ),( xy, ) = (, ),( xy, ) = ( 1, ), xy, =, 1, xy, = 1, και xy, =, 1 ).. ( ) ( ) ( ) ( ) ( ) ( ΠΡΟΒΛΗΜΑ Στο καρτεσιανό επίπεδο Oxy θεωρούμε τα σημεία A(40,1) 1, A(40,),, A 40(40,40) καθώς και τα ευθύγραμμα τμήματα OA 1,OA,,OA 40. Ένα σημείο του καρτεσιανού επιπέδου Oxy θα το ονομάζουμε καλό, όταν οι συντεταγμένες του είναι ακέραιοι αριθμοί και βρίσκεται στο εσωτερικό (δηλαδή δεν ταυτίζεται με κάποιο από τα άκρα του) ενός ευθυγράμμου τμήματος ΟΑ i i = 1,,,, 40. Επίσης, ένα από τα ευθύγραμμα τμήματα OA 1,OA,,OA 40, θα το ονομάζουμε καλό, όταν περιέχει ένα τουλάχιστον καλό σημείο. Να υπολογισθεί το πλήθος των καλών σημείων και το πλήθος των καλών ευθυγράμμων τμημάτων.

2 Λύση. Στη λύση που ακολουθεί, θα συμβολίζουμε με MK Δ ( kl, ), το μέγιστο κοινό διαιρέτη των ακεραίων αριθμών k,l. Σχήμα 1 Ένα σημείο M( kl, ) θα ανήκει στο εσωτερικό του ευθυγράμμου τμήματος OA i, αν και μόνο αν, τα διανύσματα OM και OA i έχουν τον ίδιο συντελεστή διεύθυνσης i l (με k,l ακέραιους αριθμούς και 0< k 40), δηλαδή πρέπει να ισχύει = (με k,l 40 k ακέραιους αριθμούς και 0< k 40). i Για να είναι τώρα το ευθύγραμμο τμήμα OA i καλό, θα πρέπει το κλάσμα να 40 μην είναι ανάγωγο (ώστε να δημιουργούνται ισοδύναμα με το ακέραιους όρους που θα δημιουργούν το συντελεστή διεύθυνσης k l i 40 κλάσματα με και τις αντίστοιχες συντεταγμένες του καλού σημείου M( kl, ) ). Επομένως, για να υπάρχει καλό σημείο στο ευθύγραμμο τμήμα OA i (ώστε να χαρακτηριστεί και το ίδιο ως καλό ) θα πρέπει MK Δ (40, i) > 1. Αν τώρα MK Δ (40, i) > 1, τότε θα υπάρχουν MK Δ (40, i) 1 καλά σημεία στο ευθύγραμμο τμήμα OAi. Στο σημείο A (40,) αντιστοιχεί το καλό ευθύγραμμο τμήμα OA, στο οποίο ανήκει το καλό σημείο (0,1). Στο σημείο A 4(40,4) αντιστοιχεί το καλό ευθύγραμμο τμήμα OA, στο οποίο ανήκουν τα καλά σημεία (10,1), (0,), (0,). Με αυτό τον τρόπο δημιουργούμε τον πίνακα: 4 A(40,) ΜΚΔ(40,)= 1 A40(40,40) ΜΚΔ(40,40)=40 9 A4(40,4) ΜΚΔ(40,4)=4 A8(40,8) ΜΚΔ(40,8)= 1 A5(40,5) ΜΚΔ(40,5)=5 4 A6(40,6) ΜΚΔ(40,6)=4 A6(40,6) ΜΚΔ(40,6)= 1 A5(40,5) ΜΚΔ(40,5)=5 4 A8(40,8) ΜΚΔ(40,8)=8 7 A4(40,4) ΜΚΔ(40,4)= 1 A10(40,10) ΜΚΔ(40,10)=10 9 A(40,) ΜΚΔ(40,)=8 7 A1(40,1) ΜΚΔ(40,1)=4 A0(40,0) ΜΚΔ(40,0)=10 9 A14(40,14) ΜΚΔ(40,14)= 1 A8(40,8) ΜΚΔ(40,8)=4 A15(40,15) ΜΚΔ(40,15)=5 4 A6(40,6) ΜΚΔ(40,6)= 1 A16(40,16) ΜΚΔ(40,16)=8 7 A5(40,5) ΜΚΔ(40,5)=5 4

3 A18(40,18) ΜΚΔ(40,18)= 1 A4(40,4) ΜΚΔ(40,4)=8 7 A0(40,0) ΜΚΔ(40,0)=0 19 A(40,) ΜΚΔ(40,)= Από τον παραπάνω πίνακα συμπεραίνουμε ότι το πλήθος των καλών τμημάτων είναι 4 και το πλήθος των καλών σημείων 140. Παρατηρήσεις 1. Ο παραπάνω πίνακας έχει ευρεία ανάπτυξη για διδακτικούς λόγους.. Ο υπολογισμός του πίνακα διευκολύνεται σημαντικά με τη χρησιμοποίηση των ιδιοτήτων του μέγιστου κοινού διαιρέτη: MK Δ ( kl, ) = MK Δ ( lk, ) = MK Δ ( l k, k) = MK Δ( l k, k).. Το πλήθος των καλών ευθυγράμμων τμημάτων μπορεί να υπολογιστεί με τη βοήθεια της συνάρτησης φ του Euler. Είναι γνωστό ότι n φ( n) παριστά το πλήθος των θετικών ακεραίων που είναι μικρότεροι ή ίσοι με τον n και δεν είναι πρώτοι προς αυτόν. Επειδή όμως 40 = 5, έχουμε: φ(40) = = 40 = Άρα το πλήθος των καλών ευθυγράμμων τμημάτων είναι 40 φ(40) = 4. ΠΡΟΒΛΗΜΑ Αν abc,, είναι θετικοί πραγματικοί αριθμοί με άθροισμα 6, να προσδιορίσετε τη μέγιστη τιμή της παράστασης: S = a + bc + b + ca + c +ab.. Λύση. Χρησιμοποιούμε την ανισότητα αριθμητικού γεωμετρικού μέσου ως εξής: 1 1 a + bc a + bc = ( a + bc) 1 1 = ( a + bc+4 ), b + ca b + ca = ( b + ca) 1 1 = ( b + ca+ 4 ), c + ab c + ab = ( c + ab) 1 1 = ( c + ab+4 ), από τις οποίες με πρόσθεση κατά μέλη λαμβάνουμε 1 S = a + bc + b + ca + c + ab ( a + b + c + ab + bc + ca + 7) ( a b c) 7 18 = = = = Η ισότητα ισχύει όταν

4 1, 1, 1 ( a b)( a+ b c) = ( b c)( b+ c a) = c + ab= ( a b)( 6 c) = 0, ( b c)( 6 a) = 0, c + ab= 1 a = b= c=. Επομένως η μέγιστη τιμή της παράστασης είναι a= b= c=. a + bc= b + ca = c + ab= 0, 0, 1 1 και λαμβάνεται όταν είναι Παρατήρηση 1. Η επιλογή του αριθμού 1 ως δεύτερου και τρίτου όρου για την εφαρμογή της ανισότητας αριθμητικού γεωμετρικού μέσου οφείλεται στο ότι μόνον για αυτόν είναι δυνατόν να αληθεύει η ισότητα και στις τρεις επιμέρους ανισότητες. Αυτό είναι αναγκαίο για είναι δυνατόν η παράσταση να πάρει την τιμή που εμφανίζεται ως ένα πάνω φράγμα της. Για παράδειγμα, αν είχαμε χρησιμοποιήσει τις ανισότητες a + bc+ a + bc = ( a + bc ) 1 1, b + ca+ b + ca = ( b + ca ) 1 1, c + ab+ c + ab = ( c + ab ) 1 1, τότε με πρόσθεση κατά μέλη θα βρίσκαμε a + b + c + ab + bc + ca +6 S = a + bc + b + ca + c + ab ( a+ b+ c) = = = 14. Η ισότητα στην τελευταία σχέση δεν μπορεί να αληθεύει, όπως προκύπτει από το σύστημα a + bc= 1, b + ca= 1, c + ab= 1 ( a b c) + + =, άτοπο.. Εναλλακτικά, θα μπορούσαμε να χρησιμοποιήσουμε τον μετασχηματισμό x = a + bc, y = b + ca, z = c + ab, μέσω του οποίου η συνάρτηση γίνεται S( x, y, z) = x+ y+ z, της οποίας ζητάμε τη μέγιστη τιμή υπό τη συνθήκη ( ) x + y + z = a+ b+ c = 6. Στη συνέχεια θα μπορούσε κανείς να χρησιμοποιήσει τη μέθοδο των πολλαπλασιαστών του Lagrange, χωρίς σοβαρό πρόβλημα στις πράξεις. Επίσης θα μπορούσε κάποιος να εργαστεί χρησιμοποιώντας και άλλες κλασικές ανισότητες, όπως η ανισότητα του Holder ή την ανισότητα των δυνάμεων. ΠΡΟΒΛΗΜΑ 4 Δίνεται οξυγώνιο τρίγωνο ABC ( με AB < AC ), εγγεγραμμένο σε κύκλο cor (, ) (με κέντρο το σημείο O και ακτίνα R ). Η προέκταση του ύψους AD τέμνει τον περιγεγραμμένο κύκλο στο σημείο E και η μεσοκάθετη ( μ ) της πλευράς AB τέμνει την AD στο σημείο L. Η BL τέμνει την AC στο σημείο M και τον περιγεγραμμένο κύκλο cor (, ) στο σημείο N. Τέλος η EN τέμνει τη μεσοκάθετη ( μ ) στο σημείο Z.

5 Να αποδείξετε ότι: MZ BC ( CA = CB ή Ζ Ο ), δηλαδή ότι η MZ είναι κάθετη στην BC, αν, και μόνο αν, το τρίγωνο ABC είναι ισοσκελές με CA = CB ή το σημείο Z ταυτίζεται με το κέντρο O του περιγεγραμμένου κύκλου cor (, ). Λύση Επειδή το σημείο L ανήκει στη μεσοκάθετη του AB, θα ισχύει: Â1 1 = = Bˆ ωˆ και κατά συνέπεια AN = BE. Άρα το τετράπλευρο ABEN είναι ισοσκελές τραπέζιο με AB // EN, οπότε η ευθεία ( μ ) είναι μεσοκάθετος της EN και = Nˆ ωˆ. Ê 1 1 = Σχήμα Έστω ότι το σημείο Z ταυτίζεται με το σημείο O (Σχήμα ). o Τότε η EN γίνεται διάμετρος του κύκλου, οπότε E Bˆ N = Bˆ + Bˆ = 90. Αν o Ĉ = ϕˆ τότε από το εγγεγραμμένο τετράπλευρο ABEC έχουμε: Bˆ = Â = 90 ϕˆ. Από τη τελευταία ισότητα (σε συνδυασμό με την ισότητα Bˆ Bˆ = 90 o + ) έχουμε: Bˆ = ϕˆ. Άρα το M ανήκει στη μεσοκάθετη του BC ( MB = MC ). Το σημείο ανήκει επίσης στη μεσοκάθετη του BC και επειδή ταυτίζεται με το σημείο Z, συμπεραίνουμε ότι η MZ είναι μεσοκάθετος της BC. Έστω ότι το τρίγωνο ABC είναι ισοσκελές ( CA = CB ). Τότε η μεσοκάθετος ( μ ) της AB είναι ύψος του τριγώνου ABC (Σχήμα ), δηλαδή το L είναι το ορθόκεντρο του τριγώνου ABC και κατά συνέπεια το σημείο M είναι το μέσο του τμήματος LN (η BM είναι ύψος και το σημείο N είναι το συμμετρικό του ορθοκέντρου L ως προς την AC ). O

6 Σχήμα Το σημείο Z είναι το μέσο του τμήματος EN (διότι η ευθεία ( μ ) είναι μεσοκάθετος της EN ). Άρα η MZ είναι παράλληλη με την AD. Στη συνέχεια θα υποθέσουμε ότι η MZ είναι κάθετη στην BC και θα αποδείξουμε ότι το τρίγωνο ABC είναι ισοσκελές ( CA = CB ) ή το σημείο Z ταυτίζεται με το κέντρο O του περιγεγραμμένου κύκλου (Σχήμα 4). Έστω λοιπόν ότι η MZ είναι κάθετη στην BC. Τότε η MZ θα είναι παράλληλη με την AE ( MZ // AE ). Αν T είναι η τομή της MZ με την AN τότε το T είναι το μέσο AN (διότι Z είναι το μέσο της NE και MZ // AE ). Άρα τα τρίγωνα MTA και MTN έχουν το ίδιο εμβαδό ( E = ( MTA) = ( MTN ) = ). 1 E Σχήμα 4 Από την παραλληλία MZ // AE, προκύπτει η μεταφορά γωνιών στο τρίγωνο AMN στο οποίο η MT είναι διάμεσος. Σημειώνουμε ότι:

7 B Lˆ D = ωˆ (διότι η B Lˆ D είναι εξωτερική γωνία του ισοσκελούς τριγώνου LEN ). L Mˆ Z = ωˆ (διότι LD // MZ οπότε BLˆ D = L Mˆ Z = ωˆ ). 1 Χρησιμοποιώντας τώρα το γνωστό τύπο E = βγ ημa για το εμβαδό τριγώνου, έχουμε: 1 1 E 1 = mnημ( 90 ϕ ) = mxημ( 90 ω ) 1 1 E = knημω = kxημϕ Διαιρώντας κατά μέλη τις παραπάνω σχέσεις, έχουμε: συν ϕ συν ω = ημ ϕ = ημ 4ω. ημ ω ημ ϕ Από τη τελευταία ισότητα ημιτόνων (και με δεδομένο ότι οι γωνίες ω, ϕ είναι γωνίες τριγώνου) καταλήγουμε στις ισότητες: π ϕ = 4ω ϕ = ω ( A ) ή ϕ = π 4ω ϕ + ω = ( B ). Από την ισότητα ( A ) συμπεραίνουμε ότι το τρίγωνο MTN είναι ισοσκελές ( TM = TN ) και κατά συνέπεια το τρίγωνο AMN είναι ορθογώνιο στο o M ( A Mˆ N = 90 ). Άρα η BM είναι ύψος του τριγώνου ABC και επομένως το L ορθόκεντρο, δηλαδή το τρίγωνο ABC είναι ισοσκελές ( CA = CB ) διότι η μεσοκάθετος KZ είναι και ύψος. Από την ισότητα ( B ) συμπεραίνουμε ότι το τρίγωνο MTN είναι ορθογώνιο στο T, δηλαδή η MT είναι μεσοκάθετος της AN. Άρα η MT θα διέρχεται από το O (οπότε Z O ). Παρατήρηση Σχήμα 5 Σχήμα 6 o Αν το τρίγωνο ABC είναι ισοσκελές με CA = CB και Ĉ = ˆ ϕ = 45, τότε τα τρίγωνα TMN, TMA και AMN είναι ορθογώνια και ισοσκελή. Το τετράπλευρο ABCN είναι ισοσκελές τραπέζιο. Άρα η TM είναι μεσοκάθετη της BC.

8 Στη περίπτωση αυτή και το σημείο Z ταυτίζεται με το σημείο O, οπότε η διάζευξη των προτάσεων CA = CB ή Ζ Ο είναι εγκλειστική. ( )

9 ΕΠΙΤΡΟΠΗ ΔΙΑΓΩΝΙΣΜΩΝ 8 η Ελληνική Μαθηματική Ολυμπιάδα "Ο Αρχιμήδης" ΣΑΒΒΑΤΟ, 6 ΦΕΒΡΟΥΑΡΙΟΥ 011 Ενδεικτικές Λύσεις θεμάτων μικρών τάξεων ΠΡΟΒΛΗΜΑ 1 Έστω τρίγωνο ΑΒΓ με ˆ ΒΑΓ = 10. Αν Δ είναι το μέσον της πλευράς ΒΓ, δίνεται ότι η ευθεία ΑΔ είναι κάθετη προς την πλευρά ΑΒ και τέμνει τον περιγεγραμμένο κύκλο του τριγώνου ΑΒΓ στο σημείο Ε. Οι ευθείες ΒΑ και ΕΓ τέμνονται στο Ζ. Να αποδείξετε ότι: (α) ΖΔ ΒΕ, (β) ΖΔ = ΒΓ. Λύση (α) Επειδή είναι ˆ ΒΑΕ = 90 η BΕ είναι διάμετρος του περιγεγραμμένου κύκλου του τριγώνου ΑΒΓ. Επομένως θα είναι και ˆ ΒΓΕ = 90. Έτσι στο τρίγωνο ΖΒΕ τα ευθύγραμμα τμήματα ΕΑ και ΒΓ είναι ύψη του τριγώνου που τέμνονται στο σημείο Δ. Επομένως η ευθεία ΖΔ είναι η ευθεία του τρίτου ύψους του τριγώνου ΖΒΕ, δηλαδή είναι ΖΔ ΒΕ. Σχήμα 1 Διαφορετικά, θα μπορούσαμε να αποδείξουμε ότι: ˆ ΖΒΗ = 90. Πράγματι, έχουμε ΖΒΗ ˆ = 180 ( HBZ+BZH ˆ ˆ ) (1) Όμως έχουμε ˆ ˆ ˆ ˆ ˆ HBZ = EBΓ+ ΓBA=EAΓ+ ΓBA= ΓBA ˆ = 0 +Βˆ. ()

10 Επίσης από το εγγράψιμο τετράπλευρο ΑΔΓΖ (γιατί ˆ ˆ ΑΔΖ=ΔΓΖ= 90 ) έχουμε ότι: ΒΖΗ ˆ = ΑΖΔ ˆ = Γˆ () Λόγω των () και () η σχέση (1) γίνεται: ˆ Β+Γ ˆ ˆ 150 Β+Γ ˆ ˆ ΖΒΗ = = = = 90. ( ) ( ) ( ) (β) Παρατηρούμε ότι το τετράπλευρο ΑΔΓΖ είναι εγγράψιμο, αφού ΔΑΖ ˆ + ΔΓΖ ˆ = = 180. Άρα θα έχουμε ˆ ˆ ˆ ˆ ΔΖΓ = ΔΑΓ = ΒΑΓ ΒΑΔ = = 0. Επομένως στο ορθογώνιο τρίγωνο ΔΓΖ η υποτείνουσα ΖΔ θα είναι διπλάσια της κάθετης πλευράς ΔΓ, δηλαδή ΖΔ = ΔΓ = ΒΓ, αφού Δ μέσο της πλευράς ΒΓ. ΠΡΟΒΛΗΜΑ Θεωρούμε το σύνολο των τετραψήφιων θετικών ακέραιων αριθμών x = α β γ δ των οποίων όλα τα ψηφία είναι διαφορετικά από το μηδέν και διαφορετικά μεταξύ τους. Θεωρούμε επίσης τους αριθμούς y = δ γ β α και υποθέτουμε x > y. Βρείτε τη μεγαλύτερη και τη μικρότερη τιμή της διαφοράς x y, καθώς και τους αντίστοιχους τετραψήφιους ακέραιους x, y για τις οποίες λαμβάνονται αυτές οι τιμές. Λύση Θεωρούμε τη δεκαδική αναπαράσταση των αριθμών : x y = 1000α + 100β + 10γ + δ 1000δ 100γ 10β α = 1000( α δ) + 100( β γ) + 10( γ β) + δ α = 999( α δ) + 90( β γ ) = 9( 111( α δ) + 10( β γ) ). Αρκεί να προσδιορίσουμε τη μέγιστη και ελάχιστη τιμή της παράστασης: A = 111( α δ) + 10( β γ). Οι αριθμοί α, β, γ, δ είναι θετικοί μονοψήφιοι ακέραιοι (διαφορετικοί μεταξύ τους). Εφόσον x > y, θα ισχύει α > δ. Η παράσταση Α γίνεται μέγιστη, όταν οι αριθμοί α δ και β γ γίνουν μέγιστοι και επί πλέον α δ > β γ. Η διαφορά α δ γίνεται μέγιστη όταν α = 9 και δ = 1. Η διαφορά β γ γίνεται μέγιστη όταν β = 8 και γ =. Άρα x = 981 και y = 189 είναι οι ζητούμενοι ακέραιοι οι οποίοι δημιουργούν τη μεγαλύτερη διαφορά x y = = 85. Η παράσταση Α γίνεται ελάχιστη, όταν οι αριθμοί α δ και β γ γίνουν ελάχιστοι. Η ελάχιστη τιμή της διαφοράς α δ είναι το 1. Άρα οι δυνατές τιμές του ζεύγους ( α, δ ) είναι: (9,8), (8,7), ( 7,6) (6,5) (5, 4) (4,) (, ) και (,1). Για όλες τις παραπάνω δυνατές τιμές του ζεύγους ( α, δ ), η τιμή της παράστασης Α γίνεται: A = ( β γ ). Η ελάχιστη τιμή τώρα της διαφοράς β γ είναι το 8 που δημιουργείται για β = 1 και γ = 9.

11 Απορρίπτοντας τέλος τα ζεύγη (9,8) και (,1) (διότι τα ψηφία του τετραψήφιου αριθμού είναι διαφορετικά μεταξύ τους), καταλήγουμε στον παρακάτω πίνακα δυνατών τιμών των αριθμών x, y καθώς και την ελάχιστη διαφορά ΠΡΟΒΛΗΜΑ Αν ο αριθμός ν + 1, όπου ν ακέραιος, είναι πολλαπλάσιο του 7, να βρείτε τα δυνατά υπόλοιπα της διαίρεσης: (α) του ν με το 7, m (β) του ν με το 7, για τις διάφορες τιμές του θετικού ακέραιου m. Λύση (α) Έστω ν + 1= 7 κ, όπου ν, κ ακέραιοι. Ο ακέραιος ν έχει τη μορφή ν 7ρ υ υ 0,1,,, 4,5,6 και ρ ακέραιος. Τότε έχουμε: = +, όπου { } ( ) 7ρ+ υ + 1= 7κ 1ρ+ υ+ 1= 7κ υ+ 1= πολλαπλάσιο του 7, οπότε η μόνη δυνατή τιμή για το υ είναι το. Έτσι έχουμε ν = 7ρ +, όπου ρ ακέραιος, οπότε το μοναδικό δυνατό υπόλοιπο της διαίρεσης του ν με το 7 είναι το. (β) Έχουμε m m m m m i i m ν = ( 7ρ + ) = ( 7ρ) = πολ.7 +. i= 0 i Επομένως, αρκεί να βρούμε τα δυνατά υπόλοιπα της διαίρεσης του m με το 7. Αν υποθέσουμε ότι m σ υ, υ 0,1,, τότε λαμβάνουμε: = + όπου { } σ ( ) ( πολ ) όπου υ { 0,1, }. Άρα τα δυνατά υπόλοιπα της διαίρεσης του m σ + = υ = 8 σ υ = 7+ 1 υ =.7+ 1 υ = πολ.7+ υ, 0 1 διάφορες τιμές του θετικού ακέραιου m είναι τα = 1, = και = 4. m ν με το 7, για τις ΠΡΟΒΛΗΜΑ 4 Αν x, yz, είναι θετικοί πραγματικοί αριθμοί με άθροισμα 1, να αποδείξετε ότι: x y z x + y + z. y z x Πότε ισχύει η ισότητα; Λύση Επειδή οι θετικοί πραγματικοί αριθμοί x, yz, έχουν άθροισμα 1, αρκεί να αποδείξουμε την ανισότητα x y z x+ y+ z y z x 4 x + y + z. (1)

12 Επειδή οι πραγματικοί αριθμοί x, yz, είναι θετικοί, από την ανισότητα αριθμητικού γεωμετρικού μέσου έχουμε x + y x y = x, () y 4 y 4 y + z y z = y, () z 4 z 4 z + x z x = z. (4) x 4 x 4 Με πρόσθεση κατά μέλη των (), () και (4) προκύπτει η ανισότητα (1). Η ισότητα ισχύει, όταν οι ανισότητες (), () και (4) αληθεύουν και οι τρεις ως ισότητες., δηλαδή όταν 4 x y y z z x y z x y z 1 y y =, =, = x=, y =, z = x=, y =, z = = y 4 z 4 x y z 1 z x=, y =, z = y z 1 8 x=, y =, z = z y z x= y = z = x= y = z = ,,