Μετασχηματισμός τετράδων

Συντονιστές: Demetres, silouan

Άβαταρ μέλους
Demetres
Γενικός Συντονιστής
Δημοσιεύσεις: 9010
Εγγραφή: Δευ Ιαν 19, 2009 5:16 pm
Τοποθεσία: Λεμεσός/Πύλα
Επικοινωνία:

Μετασχηματισμός τετράδων

#1

Μη αναγνωσμένη δημοσίευση από Demetres » Πέμ Σεπ 10, 2015 3:02 pm

Αν έχουμε μια τετράδια θετικών πραγματικών (a,b,c,d) τότε μπορούμε να την μετασχηματίσουμε στην τετράδα (ab,bc,cd,da).

Να δειχθεί ότι αν η αρχική τετράδα δεν είναι η (1,1,1,1) τότε επαναλαμβάνοντας τον πιο πάνω μετασχηματισμό δεν θα καταλήξουμε ποτέ στην αρχική τετράδα.

Πηγή: Σοβιετική Ένωση 1961



Λέξεις Κλειδιά:
Mihalis_Lambrou
Επιμελητής
Δημοσιεύσεις: 18245
Εγγραφή: Κυρ Δεκ 21, 2008 2:04 am

Re: Μετασχηματισμός τετράδων

#2

Μη αναγνωσμένη δημοσίευση από Mihalis_Lambrou » Παρ Σεπ 11, 2015 3:16 pm

Demetres έγραψε:Αν έχουμε μια τετράδια θετικών πραγματικών (a,b,c,d) τότε μπορούμε να την μετασχηματίσουμε στην τετράδα (ab,bc,cd,da).

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

Έστω ότι το (a,b,c,d) μετασχηματίζεται τελικά στον εαυτό του. Θέλουμε να δείξουμε ότι a=b=c=d=1, που βέβαια μετασχμματίζεται στον εαυτό του, ήδη από το πρώτο βήμα.

Το (a,b,c,d) μετασχηματίζεται στο (x,y,z,w)=(ab,bc,cd,da) και παρατηρούμε ότι xz=yw, και αυτό συμβαίνει αενάως. Άρα υποχρωχτικά πρέπει ac=bd αλλιώς το (a,b,c,d) δεν έχει ελπίδα να καταλήξει στον εαυτό του.

Το γινόμενο των στοιχείων των του (a,b,c,d) είναι βέβαια abcd ενώ του (ab,bc,cd,da) είναι a^2b^2c^2d^2. Αυτό σημαίνει ότι αν α) abcd >1 τότε κάθε επόμενη τετράδα έχει γνήσια μεγαλύτερο γινόμενο όρων από την προηγούμενή της, και άρα από την αρχική. Σε αυτή την περίπτωση αποκλείεται το (a,b,c,d) να ξαναφτάσει στον εαυτό του. Όμοια αν β) abcd<1, τότε κάθε επόμενο γινόμενο όρων είναι μικρότερο, οπότε πάλι δεν καταλήγουμε στην αρχική τετράδα. Συνεπώς ισχύει υποχρεωτικά abcd=1. Σε συνδυασμό με το ac=bd συμπεραίνουμε ότι ac=bd=1, και άρα ο αρχικός όρος είναι της μορφής \left ( a, b, \frac {1}{a}, \frac {1}{b} \right ). Ο επόμενος αυτού είναι ο \left ( ab,  \frac {b}{a}, \frac {1}{ab}, \frac {a}{b} \right ), που βέβαια είναι της ίδια μορφής (δηλαδή xz=yw=1).

Εξετάζουμε τώρα το άθροισμα των στοιχείων του αρχικού και του νέου. Είναι a+ b+ \frac {1}{a}+\frac {1}{b} και ab +  \frac {b}{a} + \frac {1}{ab} + \frac {a}{b}, αντίστοιχα. Παρατηρούμε ότι το πρώτο άθροισμα είναι μικρότερο ή ίσο του δευτέρου. Πράγματι, αυτό προκύπτει από πρόσθεση κατά μέλη των

a \le \frac {1}{2} \left ( ab + \frac {a}{b} \right) ,\, ~ b \le \frac {1}{2} \left ( ab + \frac {b}{a} \right) ,\, ~ \frac {1}{a}  \le \frac {1}{2} \left ( \frac {b}{a}+ \frac {1}{ab} \right) ,\, ~\frac {1}{b}  \le \frac {1}{2} \left ( \frac {a}{b}+ \frac {1}{ab} \right) με ισότητα αν και μόνον αν a=b=1.

Άρα η επόμενη τετράδα έχει μεγαλύτερο άθροισμα στοιχείων εκτός στην περίπτωση όπου a=b=1. Άρα μόνο σε αυτή την περίπτωση μπορεί να ξαναφτάσει στον εαυτό του, και η απόδειξη ολοκληρώνεται.


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

Re: Μετασχηματισμός τετράδων

#3

Μη αναγνωσμένη δημοσίευση από socrates » Παρ Σεπ 18, 2015 9:05 pm



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

Επιστροφή σε “Συνδυαστική - Επίπεδο Αρχιμήδη (Seniors)”

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

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