Όμορφο θέμα... εισαγωγικών

Συντονιστές: cretanman, Demetres, polysot, achilleas, socrates, silouan

socrates
Επιμελητής
Δημοσιεύσεις: 6595
Εγγραφή: Δευ Μαρ 09, 2009 1:47 pm
Τοποθεσία: Θεσσαλονίκη
Επικοινωνία:

Όμορφο θέμα... εισαγωγικών

#1

Μη αναγνωσμένη δημοσίευση από socrates » Παρ Ιούλ 27, 2012 2:52 pm

Για κάθε θετικό ακέραιο n, αντιστοιχούμε μοναδικούς μη αρνητικούς ακεραίους f(n),\ g(n) έτσι ώστε :

(α) g(99) =1,\ g(100)=0

(β) f(100)=1

(γ) f(n)+f(n+g(n))=f(n+1)

Βρείτε τις τιμές f(99),\ g(101),\ f(2008).


Waseda University entrance exam


Θανάσης Κοντογεώργης
Mikesar
Δημοσιεύσεις: 139
Εγγραφή: Σάβ Ιούλ 30, 2011 8:29 pm
Τοποθεσία: Αθήνα

Re: Όμορφο θέμα... εισαγωγικών

#2

Μη αναγνωσμένη δημοσίευση από Mikesar » Παρ Ιούλ 27, 2012 6:04 pm

Ας κάνω μια προσπάθεια...

f(99)+f(99+g(99))=f(100)\Leftrightarrow f(99)=0

f(102)=f(101)+f(101+g(101))\Rightarrow f(102)\geq f(101)=2
f(103)=f(102)+f(102+g(102))\Rightarrow f(103)\geq f(102)=2
και επαγωγικά
f(n)\geq2, \ n\geq102

Είναι 101+g(101)\geq101\Rightarrow f(101+g(101))\geq2 άρα
f(102)=f(101)+f(101+g(101))\geq 2+2=4
f(103)=f(102)+f(102+g(102))\geq 4+2=6
και επαγωγικά f(n)\geq4+2(n-102), \ n\geq102

Έστω g(101)>0\Rightarrow g(101)\geq2 (αν ήταν g(101)=1 θα ήταν f(102)=f(101)+f(102)\Rightarrow f(101)=0)
Τότε
f(102)=f(101)+f(101+g(101))\geq f(101)+4+2(g(101)-1)\geq 2+4+2=8
f(103)=f(102)+f(102+g(101))\geq 8+4+2g(101)\geq 12
f(104)=f(103)+f(103+g(103))\geq 12+4+2+2g(103)\geq 18
και επαγωγικά f(n)\geq8+2(n-102), \ n\geq102

Κάθε φορά που κάνουμε αυτή τη διαδικασία μεγαλώνει και η ελάχιστη τιμή του f(n), \ n\geq102, δηλαδή το f(n) μπορεί να είναι απείρως μεγάλο, άτοπο.
Άρα g(101)=0 και f(102)=2f(101)=4

Με όμοιο τρόπο, εάν g(102)>0\Rightarrow g(102)\geq2 τότε το f(n), \ n\geq103 μπορεί να είναι απείρως μεγάλο, άτοπο. Άρα g(102)=0.

Η ίδια διαδικασία μας δίνει ότι g(n)=0, \ n\geq 101.

Άρα για n\geq102 είναι
f(n+1)=f(n)+f(n+g(n))\Rightarrow f(n+1)=2f(n)

Συνεπώς:
f(2008)=2f(2007)=2^2f(2006)=...=2^{1906}f(102)=2^{1908}

Συνοψίζοντας είναι \boxed{f(99)=0}, \boxed{g(101)=0}, \boxed{f(2008)=2^{1908}}


Μιχάλης Σαράντης
csar
Δημοσιεύσεις: 35
Εγγραφή: Κυρ Απρ 24, 2011 5:48 pm
Τοποθεσία: Thuwal, Σαουδική Αραβία
Επικοινωνία:

Re: Όμορφο θέμα... εισαγωγικών

#3

Μη αναγνωσμένη δημοσίευση από csar » Παρ Ιούλ 27, 2012 8:06 pm

Με πρόλαβε στο τσακ ο Μιχάλης πριν αναρτήσω τη δική μου λύση.

Παρόλα αυτά, Μιχάλη, στην απάντησή σου δεν κατάλαβα γιατί είναι άτοπο να αυξάνει το κάτω φράγμα που βρήκες για την f. Αφού η f είναι αύξουσα και μη-φραγμένη, δεν είναι λογικό να βρεις μία αύξουσα ακολουθία κάτω φραγμάτων για κάθε τιμή της; Ίσως είναι πιο σαφές το παρακάτω:

Έχεις δείξει ότι f(n)\geq 2 για n\geq 102 ή ακόμα καλύτερα ότι f(n)\geq 1 για n\geq 101. Στη συνέχεια θεωρώ μόνον n\geq 101:
f(n+1) = f(n) + f(n+g(n)),
και επειδή n+g(n)\geq n\geq 101 έπεται ότι f(n+g(n))\geq1, δηλαδή f(n+1)\geq f(n)+1>f(n). Άρα η f είναι γνησίως αύξουσα.

Όμως και f(n)\geq 1, άρα f(n+1)\geq f(n+g(n))+1>f(n+g(n)). Όμως η f είναι γνησίως αύξουσα. Άρα η f(n+1)>f(n+g(n)) υποννοεί ότι n+1>n+g(n), δηλαδή g(n)=0 για n\geq 101.

Συνεπώς ισχύει ότι για n\geq 101, f(n+1) = f(n)+f(n) = 2f(n) με f(101)=2 άρα τελικά f(n) = 2^{n-100}.

Χρήστος


Έχω βρει μία πραγματικά υπέροχη απόδειξη αλλά το quota μου σε αυτό το forum είναι πολύ μικρό για να τη χωρέσει.

Χρήστος Σαραγιώτης
Mikesar
Δημοσιεύσεις: 139
Εγγραφή: Σάβ Ιούλ 30, 2011 8:29 pm
Τοποθεσία: Αθήνα

Re: Όμορφο θέμα... εισαγωγικών

#4

Μη αναγνωσμένη δημοσίευση από Mikesar » Σάβ Ιούλ 28, 2012 4:55 pm

csar έγραψε: Παρόλα αυτά, Μιχάλη, στην απάντησή σου δεν κατάλαβα γιατί είναι άτοπο να αυξάνει το κάτω φράγμα που βρήκες για την f. Αφού η f είναι αύξουσα και μη-φραγμένη, δεν είναι λογικό να βρεις μία αύξουσα ακολουθία κάτω φραγμάτων για κάθε τιμή της;
Αυτό που συμπεραίνω είναι ότι f(n)\geq 2k+2(n-102), n\geq102,k\in\mathbb{N^*} όπου k οι φορές που κάνουμε την παραπάνω διαδικασία. Επειδή η διαδικασία μπορεί να γίνει άπειρες φορές το κάτω φράγμα της f(n) για κάποιο σταθερό n τείνει στο άπειρο, γεγονός που είναι άτοπο.
Για παράδειγμα για n=102, f(102)\geq2k άτοπο για αρκετά μεγάλο k.


Μιχάλης Σαράντης
socrates
Επιμελητής
Δημοσιεύσεις: 6595
Εγγραφή: Δευ Μαρ 09, 2009 1:47 pm
Τοποθεσία: Θεσσαλονίκη
Επικοινωνία:

Re: Όμορφο θέμα... εισαγωγικών

#5

Μη αναγνωσμένη δημοσίευση από socrates » Σάβ Ιούλ 28, 2012 5:40 pm



Θανάσης Κοντογεώργης
Απάντηση

Επιστροφή σε “Άλγεβρα - Θεωρία Αριθμών - Συνδυαστική (Seniors) - Παλαιότερες Συζητήσεις”

Μέλη σε σύνδεση

Μέλη σε αυτήν τη Δ. Συζήτηση: Δεν υπάρχουν εγγεγραμμένα μέλη και 1 επισκέπτης