Putnam 2017/B3

#1

Στην δυναμοσειρά

$\displaystyle f(x) = \sum_{i=0}^\infty c_ix^i$

όλοι οι συντελεστές c_i

ισούνται με

ή

. Αν

, να δειχθεί ότι ο f(1/2)

είναι άρρητος.

#2

Demetres έγραψε: ↑
Κυρ Δεκ 10, 2017 12:11 pm
Στην δυναμοσειρά

$\displaystyle f(x) = \sum_{i=0}^\infty c_ix^i$

όλοι οι συντελεστές ισούνται με ή . Αν , να δειχθεί ότι ο είναι άρρητος.

Τι μου θυμίζει, τι μου θυμίζει. Α ναι, είναι παραλλαγή αλλά με ουσιαστικά την ίδια λύση με τo πρώτο θέμα στον διαγωνισμό SEEMOUS 2007, βλέπε εδώ . Εν γένει δεν έχω μνήμη για τέτοια θέματα, αλλά στον συγκεκριμένο διαγωνισμό ήμουν στην (μονομελή) επιτροπή "problem committee". Αυτά δεν ξεχνιούνται γιατί είχα δουλέψει πολύ. Για την συγκεκριμένη άσκηση θυμάμαι ότι είχα δώσει καλύτερη λύση από την προτεινόμενη του κατασκευαστή.

Στο παραπάνω:

Έστω ότι f(1/2)

ρητός, οπότε στο δυαδικό του ανάπτυγμα (που προκύπτει από την δοθείσα σειρά), θα είχαμε περιοδικότητα των συντελεστών από ένα σημείο και πέρα. Άρα υπάρχουν πολυώνυμα P,Q

με συντελεστές 0,1

τέτοια ώστε

$\displaystyle{f(x) = P(x) + (1+ x^N + x^{2N}+... )Q(x) = P(x) + \frac {Q(x)}{1-x^N}}$

Για x=2/3

το αριστερό μέλος ισόυται (δίνεται) 3/2

. Όμως το δεξί, κάνοντας τα κλάσματα ομώνυμα χωριστά στα P,Q

και προσθέτοντας, είναι της μορφής $\displaystyle{ \frac {A}{3^M} + \frac {B}{(3^N-2^N)3^K} }$ με ακέραια A,B

. Πολλαπλασιάζοντας τώρα από το ελάχιστο κοινό πολλαπλάσιο

των δύο παρονομαστών δεξιά, που είναι περιττός αριθμός, έπεται $\displaystyle{ \frac {3E}{2}=}$ ακέραιος. Άτοπο, και λοιπά.

Putnam 2017/B3

Putnam 2017/B3

Re: Putnam 2017/B3

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