Ιδιότητα γεωμετρικής προόδου

Συντονιστής: exdx

Άβαταρ μέλους
Ραϊκόφτσαλης Θωμάς
Δημοσιεύσεις: 1112
Εγγραφή: Κυρ Δεκ 21, 2008 12:01 am
Τοποθεσία: Άλιμος, Αθήνα
Επικοινωνία:

Ιδιότητα γεωμετρικής προόδου

#1

Μη αναγνωσμένη δημοσίευση από Ραϊκόφτσαλης Θωμάς »

Καλησπέρα σε όλους

Διαβάζοντας μετά από καιρό προόδους σήμερα έμαθα ότι ισχύει το εξής:

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


Τι λέτε πάμε για μια απόδειξη;
Θωμάς
Υ.Γ
Με υπόδειξη του φίλου μας Σπύρου Καρδαμήτση ας θέσουμε % MathType!MTEF!2!1!+- 
% feaaguart1ev2aaatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLn 
% hiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr 
% 4rNCHbGeaGqiVu0Je9sqqrpepC0xbbL8F4rqqrFfpeea0xe9Lq-Jc9 
% vqaqpepm0xbba9pwe9Q8fs0-yqaqpepae9pg0FirpepeKkFr0xfr-x 
% fr-xb9adbeqabeqaceGabiqabeqabmqabeabbaGcbaGaeq4UdWMaey 
% iyIKRaaGymaaaa!3A2E! 
\displaystyle \lambda \ne 1
Η γνώση μας κάνει περήφανους, η σοφία ταπεινούς.
Άβαταρ μέλους
chris_gatos
Επιμελητής
Δημοσιεύσεις: 6970
Εγγραφή: Κυρ Δεκ 21, 2008 9:03 pm
Τοποθεσία: Ανθούπολη

Re: Ιδιότητα γεωμετρικής προόδου

#2

Μη αναγνωσμένη δημοσίευση από chris_gatos »

Θωμά ωραία άσκηση, αλλά πέραν της επαγωγικής αποδεικτικής μεθόδου, ψάχνω να βρω μια πιο ''αλγεβρική''.
Μεχρι στιγμής, άνθρακες ο θησαυρός. Που θα μου πάει , όμως; :D
Χρήστος Κυριαζής
hsiodos
Διευθύνον Μέλος
Δημοσιεύσεις: 1236
Εγγραφή: Σάβ Απρ 18, 2009 1:12 am

Re: Ιδιότητα γεωμετρικής προόδου

#3

Μη αναγνωσμένη δημοσίευση από hsiodos »

Καλησπέρα σε όλους

Μια απόδειξη μπορούμε να δώσουμε αν χρησιμοποιήσουμε την παρακάτω πρόταση-λήμμα:

Σε κάθε γεωμετρική πρόοδο (\alpha _\nu),\nu \in N^*με θετικούς όρους και λόγο διάφορο της μονάδας ισχύει\alpha _1+\alpha _\nu>\alpha _\kappa +\alpha _{\nu -\kappa +1},\nu \in N^*και 1< κ< ν.

Γιώργος
Γιώργος Ροδόπουλος
smypmopd
Δημοσιεύσεις: 32
Εγγραφή: Πέμ Ιουν 18, 2009 12:58 pm

Re: Ιδιότητα γεωμετρικής προόδου

#4

Μη αναγνωσμένη δημοσίευση από smypmopd »

Μια απόδειξη, έχοντας πάρει την περίπτωση αύξουσας γεωμετρικής προόδου. Δεν αλλάζει και πολύ η λύση και για την άλλη περίπτωση.
progr1.png
progr1.png (19.5 KiB) Προβλήθηκε 1731 φορές
Συνημμένα
mathematica.pdf
(228.37 KiB) Μεταφορτώθηκε 90 φορές
Τελευταία επεξεργασία από το μέλος nsmavrogiannis την Κυρ Ιούλ 05, 2009 10:19 am, έχει επεξεργασθεί 1 φορά συνολικά.
Λόγος: Προσθήκη εικόνας ως συνημμένο
Άβαταρ μέλους
cretanman
Διαχειριστής
Δημοσιεύσεις: 4124
Εγγραφή: Πέμ Δεκ 18, 2008 12:35 pm
Τοποθεσία: Ηράκλειο Κρήτης
Επικοινωνία:

Re: Ιδιότητα γεωμετρικής προόδου

#5

Μη αναγνωσμένη δημοσίευση από cretanman »

Θέλουμε λοιπόν να δείξουμε ότι (με l\neq 1 συμβολίζω το λόγο της προόδου)

\displaystyle\frac{1+l^{n-1}}{2} > \displaystyle\frac{1+l+l^2+\cdots + l^{n-1}}{n} άρα αρκεί να δείξουμε ότι

n\left(1+l^{n-1}\right) > 2\left(1+l+l^2+\cdots + l^{n-1}\right) δηλαδή
\left(1-l\right)\left(1-l^{n-2}\right) + \left(1-l^2\right)\left(1-l^{n-3}\right) + \cdots + \left(1-l^{n-2}\right)\left(1-l\right) > 0 το οποίο ισχύει καθώς κάθε ένας προσθετέος στο τελευταίο άθροισμα είναι θετικός (απλά διακρίνουμε τις περιπτώσεις l>1 και 0<l<1).

Πολύ καλό αποτέλεσμα Θωμά!

Αλέξανδρος
Αλέξανδρος Συγκελάκης
Άβαταρ μέλους
Ραϊκόφτσαλης Θωμάς
Δημοσιεύσεις: 1112
Εγγραφή: Κυρ Δεκ 21, 2008 12:01 am
Τοποθεσία: Άλιμος, Αθήνα
Επικοινωνία:

Re: Ιδιότητα γεωμετρικής προόδου

#6

Μη αναγνωσμένη δημοσίευση από Ραϊκόφτσαλης Θωμάς »

Να έχουμε μια καλή και ευχάριστη Κυριακή.

Στο συνημένο έχω τη πλήρη λύση, βασισμένη στην ιδέα του Αλέξανδρου.

Σε επόμενο post θα δώσω και μια άλλη άσκηση βασισμένη στην ίδια ιδέα.

Θωμάς
Συνημμένα
proodos geometriki.pdf
(55.12 KiB) Μεταφορτώθηκε 119 φορές
Η γνώση μας κάνει περήφανους, η σοφία ταπεινούς.
hsiodos
Διευθύνον Μέλος
Δημοσιεύσεις: 1236
Εγγραφή: Σάβ Απρ 18, 2009 1:12 am

Re: Ιδιότητα γεωμετρικής προόδου

#7

Μη αναγνωσμένη δημοσίευση από hsiodos »

hsiodos έγραψε:Καλησπέρα σε όλους

Μια απόδειξη μπορούμε να δώσουμε αν χρησιμοποιήσουμε την παρακάτω πρόταση-λήμμα:

Σε κάθε γεωμετρική πρόοδο (\alpha _\nu),\nu \in N^*με θετικούς όρους και λόγο διάφορο της μονάδας ισχύει\alpha _1+\alpha _\nu>\alpha _\kappa +\alpha _{\nu -\kappa +1}\displaystyle{,\nu \in N^*\alpha _1+\alpha _\nu>\alpha _\kappa +\alpha _{\nu -\kappa +1}\,\,\,\,\,\acute{\eta } \alpha _1+\alpha _1\lambda ^{\nu -1}>\alpha _1\lambda ^{\kappa -1}+\alpha _1\lambda ^{\nu -\kappa }\,\,\,\,\,\acute{\eta } \alpha _1\lambda ^{\nu -1}-\alpha _1\lambda ^{\nu -\kappa }>\alpha _1\lambda ^{\kappa -1} -\alpha _1\,\,\,\,\,\acute{\eta }}\alpha _1\lambda ^{\nu -\kappa }(\lambda ^{\kappa  -1}-1)>\alpha _1(\lambda ^{\kappa  -1} -1) δηλαδή

\lambda ^{\nu -\kappa }>1\,\,\,\,\,\mu \varepsilon\,\,\,\,\,\, \lambda >1 ή \lambda ^{\nu -\kappa }<1\,\,\,\,\,\mu \varepsilon\,\,\,\,\,\, 0<\lambda <1 που προφανώς ισχύει.

Απόδειξη της άσκησης του Θωμά
Χρησιμοποιώντας το λήμμα διαδοχικά έχουμε:
α) για άρτιο πλήθος όρων
\alpha _1+\alpha _\nu \geq \alpha _1+\alpha _\nu
\alpha _1+\alpha _\nu > \alpha _2+\alpha _{\nu-1}
.....................................
\alpha _1+\alpha _\nu > \alpha _{\frac{\nu }{2}}+\alpha _{\frac{\nu }{2}+1}

Με πρόσθεση κατά μέλη παίρνουμε\frac{\nu }{2}(\alpha _1+\alpha _\nu) > S_\nu  \Rightarrow \frac{\alpha _1+\alpha _\nu}{2}>\frac{S_\nu }{\nu }
β) για περιττό πλήθος όρων
\alpha _1+\alpha _\nu \geq \alpha _1+\alpha _\nu
\alpha _1+\alpha _\nu > \alpha _2+\alpha _{\nu-1}
.....................................
\alpha _1+\alpha _\nu > \alpha _{\frac{\nu -1}{2}}+\alpha _{\frac{\nu+3 }{2}}
\alpha _1+\alpha _\nu > 2\alpha _{\frac{\nu +1}{2}}

Με πρόσθεση κατά μέλη παίρνουμε\frac{\nu -1}{2}(\alpha _1+\alpha _\nu) + \frac{1}{2}(\alpha _1+\alpha _\nu)> S_\nu\Rightarrow \frac{\nu }{2}(\alpha _1+\alpha _\nu) > S_\nu  \Rightarrow \frac{\alpha _1+\alpha _\nu}{2}>\frac{S_\nu }{\nu }

Γιώργος

Υ.Γ Γράφοντας βλέπω ότι έχει δοθεί απόδειξη από τον Θωμά , θα την διαβάσω μετά.
Γιώργος Ροδόπουλος
Άβαταρ μέλους
Ραϊκόφτσαλης Θωμάς
Δημοσιεύσεις: 1112
Εγγραφή: Κυρ Δεκ 21, 2008 12:01 am
Τοποθεσία: Άλιμος, Αθήνα
Επικοινωνία:

Re: Ιδιότητα γεωμετρικής προόδου

#8

Μη αναγνωσμένη δημοσίευση από Ραϊκόφτσαλης Θωμάς »

hsiodos έγραψε:
hsiodos έγραψε:Καλησπέρα σε όλους

Μια απόδειξη μπορούμε να δώσουμε αν χρησιμοποιήσουμε την παρακάτω πρόταση-λήμμα:

Σε κάθε γεωμετρική πρόοδο (\alpha _\nu),\nu \in N^*με θετικούς όρους και λόγο διάφορο της μονάδας ισχύει\alpha _1+\alpha _\nu>\alpha _\kappa +\alpha _{\nu -\kappa +1},\nu \in N^*και 1< κ< ν.

Γιώργος

Γιώργο εξαιρετική σκέψη και απίθανη λύση. Υποκλίνομαι.
Θωμάς
Η γνώση μας κάνει περήφανους, η σοφία ταπεινούς.
smypmopd
Δημοσιεύσεις: 32
Εγγραφή: Πέμ Ιουν 18, 2009 12:58 pm

Re: Ιδιότητα γεωμετρικής προόδου

#9

Μη αναγνωσμένη δημοσίευση από smypmopd »

Σας ευχαριστώ κύριε Μαυρογιάννη.
Άβαταρ μέλους
nsmavrogiannis
Επιμελητής
Δημοσιεύσεις: 4483
Εγγραφή: Σάβ Δεκ 20, 2008 7:13 pm
Τοποθεσία: Αθήνα
Επικοινωνία:

Re: Ιδιότητα γεωμετρικής προόδου

#10

Μη αναγνωσμένη δημοσίευση από nsmavrogiannis »

Γειά σας
Στην πολύ ενδιαφέρουσα γεωμετρική προσέγγιση του smypmopd χρησιμοποιείται ουσιωδώς το γεγονός ότι η συνάρτηση
\boxed{ f\left( \lambda \right) =\lambda ^{x}}
όπου \lambda ο λόγος της προόδου, είναι κυρτή. Αυτό χρειάζεται για να εξασφαλίσει ότι τα μικρά τραπέζια είναι κάτω από το μεγάλο:
prog2.png
prog2.png (13.15 KiB) Προβλήθηκε 1702 φορές
Δηλαδή θέλει να εξασφαλίσει ότι η \rm{A^{\prime }\Gamma} είναι κάτω από την \rm{A^{\prime }B }. Αυτό χρειάζεται κάποια απόδειξη δηλαδή κάποια συμπληρωματική δουλειά. Αν βγούμε από την ύλη της Β' Tάξης η απάντηση είναι εύκολη. Αφού η f είναι κυρτή η παράγωγος της είναι γνησίως αύξουσα που σημαίνει ότι η κλίση της \rm{A^{\prime }\Gamma} είναι μικρότερη από την κλίση της \rm{A^{\prime }B } και τα δύο τμήματα έχουν κοινή αρχή το \rm{A} έχουμε το ζητούμενο. Αν μείνουμε στην Άλγεβρα και επιχειρηματολογήσουμε πάλι με κλίσεις χρειαζόμαστε την ανισότητα
\boxed {\frac{\alpha _{k}-\alpha _{1}}{k-1}<\frac{\alpha _{\nu }-\alpha _{1}}{\nu-1}}
για 1<k<\nu.
που βέβαια πρέπει να αποδειχθεί.

Στην προσέγγιση του smypmopd το συμπέρασμα με τα εμβαδά ισχύει ακόμη και αν τα μικρά τραπέζια δεν έχουν την ίδια βάση. Μας υποβάλλει επομένως (εδώ μπαίνω για άλλη μία φορά στον πειρασμό να βγω από την ύλη της Β') το ακόλουθο, γνωστό, αποτέλεσμα.

'Εστω f:\left[ \alpha ,\beta \right] \rightarrow \mathbb{R} κυρτή. Αν \alpha<x_{1}<x_{2}<...<x_{n}<\beta τότε
\boxed{\displaystyle\frac{f\left( x_{1}\right) +f\left( x_{2}\right) +...+f\left( x_{n}\right) }{n}<\frac{f\left( x_{1}\right) +f\left( x_{n}\right) }{2}}.

Καλή άσκηση. Δόθηκαν και ωραίες λύσεις. Νομίζω ότι έχει και άλλο ζουμί.
Μαυρογιάννης
Αν κανείς δεν ελπίζει, δεν θα βρεί το ανέλπιστο, οι δρόμοι για το ανεξερεύνητο θα είναι κλειστοί.
Ηράκλειτος
Άβαταρ μέλους
gbaloglou
Επιμελητής
Δημοσιεύσεις: 3528
Εγγραφή: Παρ Φεβ 27, 2009 10:24 pm
Τοποθεσία: Θεσσαλονικη
Επικοινωνία:

Re: Ιδιότητα γεωμετρικής προόδου

#11

Μη αναγνωσμένη δημοσίευση από gbaloglou »

Δυο σχολια;

(Ι) Η ανισοτητα a^p + a^q < a^r + a^s για a > 0 και p+q = r+s, q-p < s-r, που στην ουσια χρησιμοποιησε ο Αλεξανδρος, εχει πολλες εφαρμογες. Η πιο προσφατη για μενα ειναι η αποδειξη της (a+b)^r < a^r + b^r για a > 0, b> 0, και ρητο r, 0 < r < 1. (Δεν την παραθετω διοτι υπαρχουν και αλλες αποδειξεις, μια μεσω κυρτοτητος-λογισμου (πολυ γνωστη), μια αλλη **εξαιρετικα συντομη και αυτεπαρκης**, κλπ)

(ΙΙ) Εχουμε και δυικο θεωρημα: ο γεωμετρικος μεσος του πρωτου και του τελευταιου ορου αριθμητικης προοδου ειναι μικροτερος του γεωμετρικου μεσου ολων των ορων της αριθμητικης προοδου. (Αποδειξη μεσω των ανισοτητων a(a+(n-1)d) < (a+rd)(a+sd), οπου r+s = n-1.)

Γιωργος Μπαλογλου
Γιώργος Μπαλόγλου -- κρυσταλλογράφω άρα υπάρχω

Ὁρᾷς, τὸ κάλλος ὅσσον ἐστὶ τῆς λίθου, ἐν ταῖς ἀτάκτοις τῶν φλεβῶν εὐταξίαις. -- Παλατινή Ανθολογία 9.695 -- Ιδού του πετραδιού η άμετρη ομορφιά, μεσ' των φλεβών τις άναρχες πειθαρχίες.
Άβαταρ μέλους
gbaloglou
Επιμελητής
Δημοσιεύσεις: 3528
Εγγραφή: Παρ Φεβ 27, 2009 10:24 pm
Τοποθεσία: Θεσσαλονικη
Επικοινωνία:

Re: Ιδιότητα γεωμετρικής προόδου

#12

Μη αναγνωσμένη δημοσίευση από gbaloglou »

gbaloglou έγραψε:
(Ι) Η ανισοτητα a^p + a^q < a^r + a^s για a > 0 και p+q = r+s, q-p < s-r, που στην ουσια χρησιμοποιησε ο Αλεξανδρος, εχει πολλες εφαρμογες. Η πιο προσφατη για μενα ειναι η αποδειξη της (a+b)^r < a^r + b^r για a > 0, b> 0, και ρητο r, 0 < r < 1. (Δεν την παραθετω διοτι υπαρχουν και αλλες αποδειξεις, μια μεσω κυρτοτητος-λογισμου (πολυ γνωστη), μια αλλη **εξαιρετικα συντομη και αυτεπαρκης**, κλπ)
Ιδου λοιπον η βελτιστη αποδειξη, για r < 1, της (a+b)^r < a^r + b^r (απο τον παλιο μου συναδελφο Amitabha Tripathi):

Υποθετουμε a < b, θετουμε x = a/b < 1 και παρατηρουμε οτι (1 + x)^r < 1 + x < 1 + x^r ;)

Γιωργος Μπαλογλου
Γιώργος Μπαλόγλου -- κρυσταλλογράφω άρα υπάρχω

Ὁρᾷς, τὸ κάλλος ὅσσον ἐστὶ τῆς λίθου, ἐν ταῖς ἀτάκτοις τῶν φλεβῶν εὐταξίαις. -- Παλατινή Ανθολογία 9.695 -- Ιδού του πετραδιού η άμετρη ομορφιά, μεσ' των φλεβών τις άναρχες πειθαρχίες.
Απάντηση

Επιστροφή στο “ΑΛΓΕΒΡΑ Β'”

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

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