Μάθηµα Θεωρίας Αριθµών Ε.Μ.Ε

Σχετικά έγγραφα
ΘΕΩΡΙΑ ΑΡΙΘΜΩΝ Λυσεις Ασκησεων - Φυλλαδιο 1

Ασκήσεις για το µάθηµα «Ανάλυση Ι και Εφαρµογές» (ε) Κάθε συγκλίνουσα ακολουθία άρρητων αριθµών συγκλίνει σε άρρητο αριθµό.

Ασκήσεις για το µάθηµα «Ανάλυση Ι και Εφαρµογές»

ΘΕΩΡΙΑ ΑΡΙΘΜΩΝ. Λυσεις Ασκησεων - Φυλλαδιο 2

ΘΕΩΡΙΑ ΑΡΙΘΜΩΝ Ασκησεις - Φυλλαδιο 3

ΘΕΩΡΙΑ ΑΡΙΘΜΩΝ Ασκησεις - Φυλλαδιο 2

ΘΕΩΡΙΑ ΑΡΙΘΜΩΝ. Λυσεις Ασκησεων - Φυλλαδιο 1

ΘΕΩΡΙΑ ΑΡΙΘΜΩΝ. Λυσεις Ασκησεων - Φυλλαδιο 1

ΘΕΩΡΙΑ ΑΡΙΘΜΩΝ. Λυσεις Ασκησεων - Φυλλαδιο 3

f (x) = l R, τότε f (x 0 ) = l. = lim (0) = lim f(x) = f(x) f(0) = xf (ξ x ). = l. Εστω ε > 0. Αφού lim f (x) = l R, υπάρχει δ > 0

ΘΕΩΡΙΑ ΑΡΙΘΜΩΝ. Λυσεις Ασκησεων - Φυλλαδιο 9

< 1 για κάθε k N, τότε η σειρά a k συγκλίνει. +, τότε η η σειρά a k αποκλίνει.

ΘΕΩΡΙΑ ΑΡΙΘΜΩΝ Ασκησεις - Φυλλαδιο 3

ΘΕΩΡΙΑ ΑΡΙΘΜΩΝ Ασκησεις - Φυλλαδιο 7

ΘΕΩΡΙΑ ΑΡΙΘΜΩΝ. Λυσεις Ασκησεων - Φυλλαδιο 5

ΘΕΩΡΙΑ ΑΡΙΘΜΩΝ. Λυσεις Ασκησεων - Φυλλαδιο 7

ΘΕΩΡΙΑ ΑΡΙΘΜΩΝ. Ασκησεις - Φυλλαδιο 5. ιδασκων: Α. Μπεληγιάννης Ιστοσελιδα Μαθηµατος :

τη µέθοδο της µαθηµατικής επαγωγής για να αποδείξουµε τη Ϲητούµενη ισότητα.

ΑΛΓΕΒΡΙΚΕΣ ΟΜΕΣ Ι. Ασκησεις - Φυλλαδιο 2

ΘΕΩΡΙΑ ΑΡΙΘΜΩΝ Ασκησεις - Φυλλαδιο 6

ΘΕΩΡΙΑ ΑΡΙΘΜΩΝ Ασκησεις - Φυλλαδιο 2

Αριθµοί Liouville. Ιωάννης Μπαρµπαγιάννης

Μαθηµατική Επαγωγή. Ορέστης Τελέλης. Τµήµα Ψηφιακών Συστηµάτων, Πανεπιστήµιο Πειραιώς

ΘΕΩΡΙΑ ΑΡΙΘΜΩΝ. Ασκησεις - Φυλλαδιο 5

Αρµονική Ανάλυση. Ενότητα: Ολοκλήρωµα Lebesgue - Ασκήσεις. Απόστολος Γιαννόπουλος. Τµήµα Μαθηµατικών

ΘΕΩΡΙΑ ΑΡΙΘΜΩΝ Ασκησεις - Φυλλαδιο 9

Θεωρια Αριθµων. Θεωρητικα Θεµατα. Ακαδηµαϊκο Ετος ιδασκοντες: Α. Μπεληγιάννης & Σ. Παπαδάκης

Η εξίσωση του Fermat για τον εκθέτη n=3. Μία στοιχειώδης προσέγγιση

ΘΕΩΡΙΑ ΑΡΙΘΜΩΝ Ασκησεις Επαναληψης

Αλγεβρικες οµες Ι Ασκησεις - Φυλλαδιο 2

Αρµονική Ανάλυση. Ενότητα: L p Σύγκλιση. Απόστολος Γιαννόπουλος. Τµήµα Μαθηµατικών

Αρµονική Ανάλυση. Ενότητα: Μέτρο Lebesgue - Ασκήσεις. Απόστολος Γιαννόπουλος. Τµήµα Μαθηµατικών

ΘΕΩΡΙΑ ΑΡΙΘΜΩΝ. Προτεινοµενες Ασκησεις - Φυλλαδιο 9

Γενικές Παρατηρήσεις. Μη Κανονικές Γλώσσες - Χωρίς Συµφραζόµενα (1) Το Λήµµα της Αντλησης. Χρήση του Λήµµατος Αντλησης.

ΘΕΩΡΙΑ ΑΡΙΘΜΩΝ. Ασκησεις - Επανάληψης. ιδασκων: Α. Μπεληγιάννης Ιστοσελιδα Μαθηµατος :

ΘΕΩΡΙΑ ΑΡΙΘΜΩΝ. Λυσεις Ασκησεων - Φυλλαδιο 6

Γραµµικη Αλγεβρα Ι Επιλυση Επιλεγµενων Ασκησεων Φυλλαδιου 4

Αλγεβρικες οµες Ι Ασκησεις - Φυλλαδιο 2

1 Ορισµός ακολουθίας πραγµατικών αριθµών

Αρµονική Ανάλυση. Ενότητα: Το ϑεώρηµα παρεµβολής του Riesz και η ανισότητα Hausdorff-Young. Απόστολος Γιαννόπουλος.

Υπόδειξη. (α) Άµεσο αφού κάθε υποσύνολο µηδενικού συνόλου είναι µετρήσιµο.

2 o Καλοκαιρινό σχολείο Μαθηµατικών Νάουσα 2008

Αρµονική Ανάλυση. Ενότητα: Μέτρο Lebesgue. Απόστολος Γιαννόπουλος. Τµήµα Μαθηµατικών

Θεωρια Αριθµων. Θεωρητικα Θεµατα. Ακαδηµαϊκο Ετος Α. Μπεληγιάννης

ΓΡΑΜΜΙΚΗ ΑΛΓΕΒΡΑ Ι (ΠΕΡΙΤΤΟΙ) Λυσεις Ασκησεων - Φυλλαδιο 2

ΚΕΦΑΛΑΙΟ 2: Ηµιαπλοί ακτύλιοι

Ανω Φράγµα στην Τάξη των Συναρτήσεων. Ρυθµός Αύξησης (Τάξη) των Συναρτήσεων. Παράδειγµα (1/2) O( g(n) ) είναι σύνολο συναρτήσεων:

ΘΕΩΡΙΑ ΑΡΙΘΜΩΝ. Ασκησεις Επαναληψης. ιδασκων: Α. Μπεληγιάννης Ιστοσελιδα Μαθηµατος :

ΘΕΩΡΙΑ ΑΡΙΘΜΩΝ. Ασκησεις - Φυλλαδιο 4. ιδασκων: Α. Μπεληγιάννης Ιστοσελιδα Μαθηµατος :

Αρµονική Ανάλυση. Ενότητα: Χώροι L p - Ασκήσεις. Απόστολος Γιαννόπουλος. Τµήµα Μαθηµατικών

f(x) dx. f(x)dx = 0. f(x) dx = 1 < 1 = f(x) dx. Θα είχαµε f(c) = 0, ενώ η f δεν µηδενίζεται πουθενά στο [0, 2].

Αρµονική Ανάλυση. Ενότητα: L 2 -σύγκλιση σειρών Fourier. Απόστολος Γιαννόπουλος. Τµήµα Μαθηµατικών

Κεφάλαιο 6. Πεπερασµένα παραγόµενες αβελιανές οµάδες. Z 4 = 1 και Z 2 Z 2.

Μέτρο Lebesgue. Κεφάλαιο Οµάδα Α. λ(a) (µε A B συµβολίζουµε τη συµµετρική διαφορά (A \ B) (B \ A) των A και B).

ΑΛΓΕΒΡΙΚΕΣ ΟΜΕΣ Ι. Επιλυση Ασκησεων - Φυλλαδιο 2

Εισαγωγή στη Θεωρία Αριθµών για το Λύκειο. Ασκήσεις

Επιπλέον Ασκήσεις. Μαθηµατική Επαγωγή. ιαιρετότητα. Προβλήµατα ιαιρετότητας.

Αρµονική Ανάλυση. Ενότητα: Προσεγγίσεις της µονάδας και Αθροισιµότητα - Ασκήσεις. Απόστολος Γιαννόπουλος. Τµήµα Μαθηµατικών

11 Το ολοκλήρωµα Riemann

3 o Καλοκαιρινό Μαθηµατικό σχολείο Ε.Μ.Ε. Λεπτοκαρυά Πιερίας 2009

ΓΡΑΜΜΙΚΗ ΑΛΓΕΒΡΑ Ι (ΑΡΤΙΟΙ) Λυσεις Ασκησεων - Φυλλαδιο 4

Εισαγωγή στην Τοπολογία

Μαθηµατική Επαγωγή. Ορέστης Τελέλης. Τµήµα Ψηφιακών Συστηµάτων, Πανεπιστήµιο Πειραιώς

ιδασκοντες: x R y x y Q x y Q = x z Q = x z y z Q := x + Q Τετάρτη 10 Οκτωβρίου 2012

1 Το ϑεώρηµα του Rademacher

Διδάσκων: Καθηγητής Νικόλαος Μαρμαρίδης, Καθηγητής Ιωάννης Μπεληγιάννης

Αρµονική Ανάλυση. Ενότητα: Προσεγγίσεις της µονάδας και Αθροισιµότητα. Απόστολος Γιαννόπουλος. Τµήµα Μαθηµατικών

Κεφάλαιο 2. Παραγοντοποίηση σε Ακέραιες Περιοχές

Εισαγωγή στην Τοπολογία

ΘΕΩΡΙΑ ΑΡΙΘΜΩΝ Ασκησεις - Φυλλαδιο 4

ΘΕΩΡΙΑ ΑΡΙΘΜΩΝ Ασκησεις - Φυλλαδιο 8

ΓΡΑΜΜΙΚΗ ΑΛΓΕΒΡΑ ΙΙ (ΠΕΡΙΤΤΟΙ) Ασκησεις - Φυλλαδιο 5

2 o Καλοκαιρινό σχολείο Μαθηµατικών Νάουσα 2008

ΓΡΑΜΜΙΚΗ ΑΛΓΕΒΡΑ Ι (ΠΕΡΙΤΤΟΙ) Λυσεις Ασκησεων - Φυλλαδιο 4

2 Αποδείξεις. 2.1 Εξαντλητική µέθοδος. Εκδοση 2005/03/22. Υπάρχουν πολλών ειδών αποδείξεις. Εδώ ϑα δούµε τις πιο κοινές:

ΘΕΩΡΙΑ ΑΡΙΘΜΩΝ Ασκησεις - Φυλλαδιο 6

ΘΕΩΡΙΑ ΑΡΙΘΜΩΝ Ασκησεις - Φυλλαδιο 4

Ακρότατα υπό συνθήκη και οι πολλαπλασιαστές του Lagrange

1 Οι πραγµατικοί αριθµοί

ΘΕΩΡΙΑ ΑΡΙΘΜΩΝ Ασκησεις - Φυλλαδιο 7

Εισαγωγή στην Τοπολογία

Όρια συναρτήσεων. ε > υπάρχει ( ) { } = ± ορίζονται αναλόγως. Η διατύπωση αυτών των ορισµών αφήνεται ως άσκηση. x y = +. = και για κάθε (, ) ( 0,0)

Κεφάλαιο 1. Εισαγωγικές Εννοιες. 1.1 Σύνολα

ΘΕΩΡΙΑ ΑΡΙΘΜΩΝ. Λυσεις Ασκησεων - Φυλλαδιο 4

Κυρτή Ανάλυση. Ενότητα: Το ϑεώρηµα του Dvoretzky. Απόστολος Γιαννόπουλος. Τµήµα Μαθηµατικών

ΓΡΑΜΜΙΚΗ ΑΛΓΕΒΡΑ Ι (ΑΡΤΙΟΙ) Ασκησεις - Φυλλαδιο 1

Μέτρο Lebesgue. Κεφάλαιο Εξωτερικό µέτρο Lebesgue

Θέµατα και απαντήσεις 1 στα «Σύνολα και Αριθµοί» Εξεταστική Ιανουαρίου 2012 ιδάξας Χ. Κορνάρος.

ΠΟΛΥΩΝΥΜΙΚΕΣ - ΡΗΤΕΣ ΑΝΙΣΩΣΕΙΣ P x = x+ 2 4 x x 3x x x x 3x

L 2 -σύγκλιση σειρών Fourier

ΓΡΑΜΜΙΚΗ ΑΛΓΕΒΡΑ ΙΙ (ΠΕΡΙΤΤΟΙ) Ασκησεις - Φυλλαδιο 9 Επαναληπτικες Ασκησεις

Ανοικτά και κλειστά σύνολα

ΘΕΩΡΙΑ ΑΡΙΘΜΩΝ Ασκησεις - Φυλλαδιο 8

ΑΛΓΕΒΡΙΚΕΣ ΟΜΕΣ Ι. Ασκησεις - Φυλλαδιο 4

Ανάλυση Fourier και Ολοκλήρωµα Lebesgue. Απόστολος Γιαννόπουλος

ΓΡΑΜΜΙΚΗ ΑΛΓΕΒΡΑ ΙΙ (ΑΡΤΙΟΙ) Ασκησεις - Φυλλαδιο 1

Όρια συναρτήσεων. ε > υπάρχει ( ) { } = ± ορίζονται αναλόγως. Η διατύπωση αυτών των ορισµών αφήνεται ως άσκηση. x y = +. = και για κάθε (, ) ( 0,0)

2x 2 + x + 1 (x + 3)(x 1) 2 dx, 2x (x + 1) dx. b x 1 + x dx x x 2 1, 6u 5 u 3 + u 2 du = 6u 3 u + 1 du. = u du.

ΓΡΑΜΜΙΚΗ ΑΛΓΕΒΡΑ ΙΙ (ΠΕΡΙΤΤΟΙ) Ασκησεις - Φυλλαδιο 1

HY118- ιακριτά Μαθηµατικά. Παράδειγµα άµεσης απόδειξης. Μέθοδοι αποδείξεως για προτάσεις της µορφής εάν-τότε Αποδείξεις

Transcript:

Μάθηµα Θεωρίας Αριθµών Ε.Μ.Ε 1. Να αποδειχθεί ότι κάθε ϑετικός ακέραιος αριθµός n 6, µπορεί να γραφεί στη µορφή όπου οι a, b, c είναι ϑετικοί ακέραιοι. n = a + b c,. Να αποδειχθεί ότι για κάθε ακέραιο n υπάρχει ένας ϑετικός ακέραιος ο οποίος µπορεί να γραφεί ως άθροισµα k τέλειων τετραγώνων για κάθε k n. 3. Θεωρούµε έναν ϕυσικό αριθµό n > 1 και έναν πρώτο αριθµό p που είναι τέτοιος ώστε n p 1 και p n 3 1. Να αποδειχθεί ότι ο 4p 3 είναι τέλειο τετράγωνο. 4. Να αποδειχθεί ότι υπάρχουν άπειροι ϑετικοί ακέραιοι n τέτοιοι ώστε S(3 n ) S(3 n+1 ), όπου µε S(a) συµβολίζουµε το άθροισµα των ψηφίων του a στη δεκαδική αναπαράσταση. 5. Να αποδειχθεί ότι στο επίπεδο δεν µπορούµε να ϐρούµε ένα άπειρο σύνολο µη συνευ- ϑειακών σηµείων ώστε ανά δύο τα σήµεια να έχουν ακέραια απόσταση. 6. Να αποδειχεί ότι κάθε ϕυσικός αριθµός µπορεί να γραφεί ως άθροισµα αριθµών της µορφής a 3 b ώστε κανείς προσθετέος να µην διαιρεί κάποιον άλλο. 7. Να ϐρεθούν όλοι οι ϑετικοί ακέραιοι n ώστε να υπάρχουν k ϑετικοί ϱητοί αριθµοί a 1, a,..., a k που να ικανοποιούν a 1 +... + a k = a 1... a k = n. 8. Να ϐρεθούν όλες οι συναρτήσεις f : N N που είναι τέτοιες ώστε για κάθε m, n N. m + f (n) (f (m)) + n, 9. Να ϐρεθούν όλες οι 1-1 συναρτήσεις f : N N που είναι τέτοιες ώστε για κάθε n N. f (f (n)) n + f (n), 1

1. Αρχικά παρατηρούµε ότι κάθε αριθµός που δεν είναι της µορφής 4k + µπορεί να γραφεί στη µορφή xy όπου οι x, y είναι είτε και οι δύο άρτιοι είτε και οι δύο περιττοί. Οπότε κάθε τέτοιος αριθµός γράφεται στη µορφή ) ( x y ) xy =. Παίρνουµε τώρα έναν τυχαίο ϕυσικό n 6. Αν αυτός δεν είναι της µορφής 4k + 3 τότε ο n 1 δεν είναι της µορφής 4k + από τα παραπάνω ϑα έχουµε ότι ϑα υπάρχουν x, y που είναι και οι δύο άρτιοι ή και οι δύο περιττοί, ώστε ) ( x y ) n 1 =, ) ( x y ) n = 1 +, που είναι το Ϲητούµενο. Αν τώρα ο n είναι της µορφής 4k + 3 τότε ο αριθµός p δεν είναι της µορφής 4k + άρα ϑα υπάρχουν x, y που είναι και οι δύο άρτιοι ή και οι δύο περιττοί, ώστε που είναι το Ϲητούµενο. ) ( x y ) n =, ) ( x y ) n = +,. Θα χρησιµοποιήσουµε επαγωγή στο n. Οταν n = τότε παίρνουµε επιλέγουµε για παράδειγµα τον αριθµό 5. Αυτός είναι τέλειο τετράγωνο και γράφεται και σαν άθροισµα δύο τετραγώνων αφού 5 = 5 = 3 + 4. Ας υποθέσουµε τώρα ότι για τον n 1 υπάρχει ϕυσικός x που γράφεται ως άθροισµα, 3,..., n 1 τετραγώνων. Από την άσκηση 1, ϑα έχουµε ότι ο x γράφεται στη µορφή Θεωρούµε τον αριθµό x = a + b c. A = x + c. Τότε αυτός είναι άθροισµα 3, 4,..., n τετραγώνων, αλλά επιπλέον A = a +b ολοκληρώνεται η επαγωγή. 3. Εχουµε ότι p n 3 1 = (n 1)(n + n + 1). Από την πρώτη σχέση όµως έχουµε ότι n p 1, άρα αναγκαστικά (1) p n + n + 1. Και πάλι από την πρώτη σχέση έχουµε ότι υπάρχει ϑετικός ακέραιος k ώστε p = nk + 1.

Αντικαθιστώντας στην (1) έχουµε ότι nk + 1 n + n + 1. Επεται ότι nk + 1 kn + kn + k = (kn + 1)(n + 1) n + k 1, από όπου συµπεραίνουµε ότι nk + 1 k n 1. Οµως είναι εύκολο να δούµε ότι kn + 1 > k n 1, αναγκαστικά πρέπει k = n + 1. Τότε και έχουµε το Ϲητούµενο. 4p 3 = 4n(n + 1) + 1 = (n + 1), 4. Υποθέτουµε το αντίθετο. Τότε υπάρχει ένας ϕυσικός N ώστε για κάθε n N, να έχουµε Οµως για n, έχουµε ότι S(3 n+1 ) > S(3 n ). 9 S(3 n+1 ) και 9 S(3 n ), S(3 n+1 ) S(3 n ) + 9. Εφαρµόζοντας την τελευταία σχέση διαδοχικά παίρνουµε ότι για κάθε n N, Το πλήθος των ψηφίων του 3 n+1 είναι το πολύ S(3 n+1 ) S(3 N ) + 9(n N + 1). log 10 3 n+1 + 1. Καθένα από αυτά τα ψηφία είναι µικρότερο ή ίσο του 9, άρα ( ) S(3 n+1 ) 9 log10 3 n+1 + 1. Οπότε ϑα έχουµε ότι ή ισοδύναµα 9 ( log10 3 n+1 + 1) 9(n N + 1), N + log 10 3 n ( 1 log 10 3 ). Η τελευταία όµως δίνει άτοπο για n αρκετά µεγάλο. 5. Θεωρούµε τρία µη συνευθειακά σηµεία A, B, C από το σύνολο και έστω P άλλο ένα σηµείο. Θέτουµε k = max{ab, BC}. Τότε σύµφωνα µε τη συνθήκη ο k είναι ϑετικός ακέραιος και επιπλέον από την τριγωνική ανισότητα έχουµε PA PB k και PB PC k. 3

Οι παραπάνω απόλυτες τιµές είναι ϑετικοί ακέραιοι εποµένως µπορούν να πάρουν το πολύ k + 1 τιµές οι καθεµιά. Επεται ότι το P µπορεί να ανήκει σε k + 1 υπερβολές που ορίζονται από τα A, B και σε k +1 υπερβολές που ορίζονται από τα B, C. Οπότε για το P έχουν ως δυνατές επιλογές τα σηµεία τοµής αυτών των υπερβολών τα οποία όµως είναι το πολύ 4(k + 1) δεν µπορεί το σύνολο να έχει άπειρα στοιχεία. 6. Θα δουλέψουµε µε ισχυρή επαγωγή στο n. Για n = 1 γράφουµε 1 = 0 3 0 και για n =, γράφουµε = 1 3 0. Υποθέτουµε ότι ισχύει για κάθε ακέραιο µικρότερο του n και ϑα δείξουµε τον ισχυρισµό για το n. Αν n άρτιος τότε ο n/ είναι ακέραιος µικρότερος από τον n άρα γράφεται στη µορφή n/ = i 3 j, όπου κανείς όρος δεν διαιρεί κάποιον άλλο, n = i+1 3 j, όπου κανείς όρος δεν διαιρεί κάποιον άλλο. Αν n περιττός τότε ϑεωρούµε τον ακέραιο k για τον οποίο ισχύει 3 k n < 3 n+1. Θεωρούµε τον αριθµό n 3 k /. Αυτός είναι ακέραιος, άρα από την επαγωγική υπόθεση γράφεται στη µορφή n 3 k / = i 3 j, όπου κανείς όρος δεν διαιρεί κάποιον άλλο, n = i+1 3 j + 3 k, όπου κανείς όρος δεν διαιρεί τον άλλο, αφού για τους πρώτους το έχουµε από την επαγωγή και επίσης όλοι πλέον είναι άρτιοι εκτός από τον τελευταίο και 3 k > 3 i, η επαγωγή ολοκληρώνεται. 7. Θεωρούµε πρώτα την περίπτωση που ο n έιναι σύνθετος. Τώρα γράφεται στη µορφή n = p 1 p. Επιπλέον παρατηρούµε ότι p 1 + p n µπορούµε να επιλέξουµε a 1 = p 1, a = p και οι υπόλοιποι να είναι (n p 1 p ) άσσοι. Στην περίπτωση που p 1 + p = n, τότε n = 4 όπου παίρνουµε p 1 = p =. Στην περίπτωση που ο n είναι πρώτος, επιλέγουµε a 1 = n, a = 4, a 3 = 1 και τα υπόλοιπα a k ίσα µε 1. Οι µόνοι αριθµοί που δεν καλύπτουµε σε αυτή την περίπτωση είναι αυτοί για τους οποίους ισχύει n + 4 + 1 > n = n < 9. Οπότε µένει να εξετάσουµε ξεχωριστά τους αριθµούς n = 1,, 3, 5, 7. 4

Για n = 1, ϑεωρούµε a 1 a... a k = 1. Τότε από την ανισότητα AM-GM, έχουµε a 1 + a +... + a k k k 1 > 1 για k. Εποµένως η περίπτωση n = 1 είναι αδύνατη. Αν n =, ϑεωρούµε a 1 a... a k =. Οµοια µε παραπάνω έχουµε a 1 + a +... k k > για k, και αυτή η περίπτωση είναι αδύνατη. Αν n = 3, ϑεωρούµε a 1 a... a k = 3. Οµοια µε πριν a 1 + a +... k k 3 > 3. για k. Οπότε και αυτή η περίπτωση είναι αδύνατη. Αν n = 5, τότε δουλεύοντας όµοια µε παραπάνω µένει να ελέγξουµε µόνο την περίπτωση k =. Τότε a 1 + a = 5 και a 1 a = 5. Αυτό το σύστηµα όµως δεν έχει λύσεις άρα και η περίπτωση n = 5 είναι αδύνατη. Αν n = 7, τότε µπορούµε να επιλέξουµε τους αριθµούς a 1 = 9, a = 4 3, a 3 = 7 6. Οπότε ο n µπορεί να είναι οποιοσδήποτε ϑετικός ακέραιος µεγαλύτερος του 3 µε µόνη εξαίρεση το 5. άρα 8. Θέτουµε αρχικά όπου n και m το 1 και παίρνουµε f (1) + 1 f (1) + 1 = f (1) (f (1) + 1) f (1) + 1, f (1) + 1 f (1) 1 = f (1) + 1 f (1) + 1 f (1) = 1. Θέτοντας τώρα όπου m το 1 παίρνουµε από όπου 1 + f (n) 1 + n () f (n) n. Οµως αν ϑέσουµε όπου n το 1 παίρνουµε από όπου m + 1 f (m) + 1 (3) m f (m) = m f (m). 5

Από τις () και (3) έχουµε ότι f (n) = n για κάθε ϑετικό ακέραιο n. 9. είχνουµε πρώτα ότι δεν υπάρχει ϕυσικός n ώστε f (n) < n. Πράγµατι αν κάτι τέτοιο ισχύει τότε από την αρχική παίρνουµε f (f (n)) < n + n = n. Επαγωγικά δείχνουµε ότι (4) f (k) (n) < n για κάθε ϑετικό ακέραιο k, όπου µε f (k) (n) συµβολίζουµε την k σύνθεση της f µε τον εαυτό της. Επεται ότι ϑα υπάρχουν δύο ϑετικοί ακέραιοι k 1 > k ώστε f (k1) (n) = f (k) (n). Τότε λόγω του ότι η f είναι 1-1, ϑα έχουµε f (k 1 k ) (n) = n, το οποίο όµως είναι άτοπο λόγω της (4). Εποµένως για κάθε ϕυσικό αριθµό n. Τότε η αρχική δίνει f (n) n f (n) f (f (n)) n + f (n), από όπου f (n) n για κάθε ϕυσικό αριθµό n. Επεται ότι f (n) = n. Σιλουανός Μπραζιτίκος 6