τότε μπορούμε να την μετασχηματίσουμε στην τετράδα
.Να δειχθεί ότι αν η αρχική τετράδα δεν είναι η
τότε επαναλαμβάνοντας τον πιο πάνω μετασχηματισμό δεν θα καταλήξουμε ποτέ στην αρχική τετράδα.Πηγή: Σοβιετική Ένωση 1961
Συντονιστές: Demetres, silouan
τότε μπορούμε να την μετασχηματίσουμε στην τετράδα
.
τότε επαναλαμβάνοντας τον πιο πάνω μετασχηματισμό δεν θα καταλήξουμε ποτέ στην αρχική τετράδα.Μία λύση υπάρχει στο βιβλίο των Ν. Βασίλιεφ, Α. Γεγκόροφ, Πανενωσιακές Μαθηματικές Ολυμπιάδες της Ε.Σ.Σ.Δ., σε μετάφραση, από τις εκδόσεις Κάτοπτρο. Όμως πριν δω την λύση, την έλυσα ανεξάρτητα. Γράφω την λύση μου επειδή είναι διαφορετική.Demetres έγραψε:Αν έχουμε μια τετράδια θετικών πραγματικώντότε μπορούμε να την μετασχηματίσουμε στην τετράδα
.
Να δειχθεί ότι αν η αρχική τετράδα δεν είναι ητότε επαναλαμβάνοντας τον πιο πάνω μετασχηματισμό δεν θα καταλήξουμε ποτέ στην αρχική τετράδα.
μετασχηματίζεται τελικά στον εαυτό του. Θέλουμε να δείξουμε ότι
, που βέβαια μετασχμματίζεται στον εαυτό του, ήδη από το πρώτο βήμα.
μετασχηματίζεται στο
και παρατηρούμε ότι
, και αυτό συμβαίνει αενάως. Άρα υποχρωχτικά πρέπει
αλλιώς το
δεν έχει ελπίδα να καταλήξει στον εαυτό του.
είναι βέβαια
ενώ του
είναι
. Αυτό σημαίνει ότι αν α)
τότε κάθε επόμενη τετράδα έχει γνήσια μεγαλύτερο γινόμενο όρων από την προηγούμενή της, και άρα από την αρχική. Σε αυτή την περίπτωση αποκλείεται το
να ξαναφτάσει στον εαυτό του. Όμοια αν β)
, τότε κάθε επόμενο γινόμενο όρων είναι μικρότερο, οπότε πάλι δεν καταλήγουμε στην αρχική τετράδα. Συνεπώς ισχύει υποχρεωτικά
Σε συνδυασμό με το
συμπεραίνουμε ότι
, και άρα ο αρχικός όρος είναι της μορφής
Ο επόμενος αυτού είναι ο
, που βέβαια είναι της ίδια μορφής (δηλαδή
).
και
, αντίστοιχα. Παρατηρούμε ότι το πρώτο άθροισμα είναι μικρότερο ή ίσο του δευτέρου. Πράγματι, αυτό προκύπτει από πρόσθεση κατά μέλη των
με ισότητα αν και μόνον αν
.
. Άρα μόνο σε αυτή την περίπτωση μπορεί να ξαναφτάσει στον εαυτό του, και η απόδειξη ολοκληρώνεται.Μέλη σε αυτήν τη Δ. Συζήτηση: Δεν υπάρχουν εγγεγραμμένα μέλη και 1 επισκέπτης