Μετάβαση στο περιεχόμενο

Αρμονική πρόοδος

Από τη Βικιπαίδεια, την ελεύθερη εγκυκλοπαίδεια

Στα μαθηματικά, αρμονική πρόοδος είναι η ακολουθία με μη-μηδενικούς όρους , στην οποία η διαφορά των αντιστρόφων δύο οποιοιδήποτε διαδοχικών της όρων είναι σταθερή, δηλαδή

,

για μία τιμή που δεν εξαρτάται από τον δείκτη .

Ισοδύναμα, οι όροι της αρμονικής προόδου μπορούν να οριστούν με τους εξής τύπους (δείτε παρκάτω για απόδειξη της ισοδυναμίας):

  • Γενικός τύπος: .
  • Αναδρομικός τύπος: .
  • (Αρμονικοί αριθμοί) Για και , λαμβάνουμε τους αρμονικούς αριθμούς, δηλαδή
  • Για και , λαμβάνουμε τους
,
δηλαδή τους αντίστροφους των περιττών αριθμών.
  • Για , , η πρόοδος έχει αρχικά αρνητικού όρους (που μειώνονται) και μετά θετικούς (που επίσης μειώνονται),
.
  • (Σταθερή ακολουθία) Όταν , έχουμε την σταθερή ακολουθία, .

Ισοδυναμία ορισμών

[Επεξεργασία | επεξεργασία κώδικα]

Γενικός σε αναδρομικό τύπο

[Επεξεργασία | επεξεργασία κώδικα]
Απόδειξη  

Από τον γενικό τύπο για τον -οστό όρο έχουμε ότι

.

Για τον -οστό, έχουμε

που μας δίνει τον αναδρομικό τύπο.

Αναδρομικός σε σταθερή διαφορά

[Επεξεργασία | επεξεργασία κώδικα]
Απόδειξη  

Ο αναδρομικός τύπος για δίνει

.

Επομένως, η διαφορά των αντιστρόφων δύο διαδοχικών όρων είναι ίση με

,

που είναι μία σταθερή τιμή.

Σταθερή διαφορά σε γενικό τύπο

[Επεξεργασία | επεξεργασία κώδικα]
Απόδειξη  

Για να αποδείξουμε τον γενικό τύπο από τον αναδρομικό, θα χρησιμοποιήσουμε την μέθοδο της μαθηματικής επαγωγής για όλους τους φυσικούς αριθμούς .

Βασική Περίπτωση: Για , έχουμε ότι

.

Επαγωγική Περίπτωση: Αν ισχύει για , δηλαδή

,

θα δείξουμε ότι ισχύει και για . Από τον αναδρομικό τύπο,

.

Επομένως ισχύει και για και έτσι για όλους τους φυσικούς αριθμούς .

Γραφική παράσταση

[Επεξεργασία | επεξεργασία κώδικα]
Αρμονικές πρόοδοι για διάφορες τιμές του αρχικού όρου και της διαφοράς.
  • Η γραφική παράσταση της αρμονικής προόδου είναι διαδοχικά σημεία ενός κλάδου δίκλαδης υπερβολής με κέντρο συμμετρίας την αρχή των αξόνων, η οποία όμως έχει μετατοπιστεί οριζόντια κατά .

Ο αρμονικός μέσος όρος δύο αριθμών είναι ο , αν και μόνο αν οι όροι είναι διαδοχικοί όροι αρμονικής προόδου.

Απόδειξη  

Έχουμε ότι οι είναι διαδοχικοί όροι μίας αρμονικής προόδου ανν

που ισχύει ανν το είναι ο αρμονικός μέσος των .

Σχέση με αριθμητική πρόοδο

[Επεξεργασία | επεξεργασία κώδικα]

Οι αντίστροφοι των όρων μίας αρμονικής προόδου ορίζουν μία αριθμητική πρόοδο.

Απόδειξη  

Από τον γενικό τύπο προκύπτει ότι η ακολουθία έχει γενικό τύπο

,

που είναι μία αριθμητική πρόοδος με πρώτο όρο το και σταθερή διαφορά .

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

Απόδειξη  

Ξεκινάμε δείχνοντας ότι αυτό ισχύει για την αρμονική σειρά . Ξεκινάμε ομαδοποιώντας τους όρους στην πλησιέστερη μεγαλύτερη δύναμη του 2 ως εξης

Έπειτα, αντικαθιστούμε αυτούς τους όρους με την αντίστοιχη δύναμη του δύο ώστε να πάρουμε ένα κάτω φράγμα

που αποκλίνει καθώς το δεξί μέλος αποτελείται από το άθροισμα απείρων σταθερών όρων.

Για την γενική περίπτωση (με , αρκεί να παρατηρήσουμε ότι για , ισχύει ότι

.

Επομένως,

Συνεπώς, καταλήγουμε ότι η σειρά αποκλίνει.

Ο παρακάτω κώδικας στην γλώσσα προγραμματισμού C++ χρησιμοποιεί τον αναδρομικό τύπο ώστε να τυπώσει τους πρώτους πέντε όρους της προόδου

#include <iostream>

int main() {
   double a_1 = 4.0;
   double omega = 1.5;
   
   double a_n = a_1;
   for (int n = 1; n <= 5; ++n) {
     std::cout << "a_" << n << " = " << a_n << ", ";
     a_n = 1.0/(omega + a_n); // Υπολογισμός επόμενου όρου.
   }
   return 0;
}
/* Τυπώνει: a_1 = 4, a_2 = 5.5, a_3 = 7, a_4 = 8.5, a_5 = 10, */

Ο παρακάτω κώδικας χρησιμοποιεί τον γενικό τύπο ώστε να υπολογίσει έναν όρο της ακολουθίας. Χρησιμοποιεί σταθερό αριθμό πράξεων.

double harmonic_nth(double a1, double omega, int n) {
   return 1.0 / (a1 + (n - 1) * omega);
}

Ο αναδρομικός τύπος είναι πιο αργός καθώς χρειάζεται γραμμικό αριθμό πράξεων, δηλαδή πράξεις.

double harmonic_nth_recursive(double a1, double omega, int n) {
   if (n == 1) return a1;
   return omega + harmonic_nth_recursive(a1, omega, n-1);
}

Η αρμονική πρόοδος εμφανίζεται σε αρκετά προβλήματα των μαθηματικών, της θεωρητικής πληροφορικής και της φυσικής.

Πλήθος μεγίστων προθέματος

[Επεξεργασία | επεξεργασία κώδικα]

Σε μία τυχαία μετάθεση των στοιχείων , η αναμενόμενη τιμή του πλήθους των στοιχείων που είναι μεγαλύτερα από όλα τα προηγούμενά τους είναι

.

Αυτή η ιδιότητα χρησιμοποιείται για τον σχεδιασμό και την ανάλυση αποδοτικών αλγορίθμων για ροές δεδομένων.

Πρόβλημα του συλλέκτη κουπονιών

[Επεξεργασία | επεξεργασία κώδικα]

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

.

Μεγιστοποίηση κρεμάσματος

[Επεξεργασία | επεξεργασία κώδικα]
Τα πρώτα εννιά τραπουλόχαρτα στην λύση που μεγιστοποιεί το κρέμασμα.

Μας δίνονται πανομοιότυπα τραπουλόχτα και μας ζητείται να ατα τοποθετήσουμε στην άκρη ενός τραπεζιού ώστε να μεγιστοποιηθεί το μήκος εκτός τραπεζιού και τα τραπουλόχαρτα να μην πέσουν.[1][2] Η μέγιστη απόσταση δίνεται απο το άθροισμα των όρων μία αρμονικής προόδου, δηλαδή είναι ίση με

.

Περαιτέρω ανάγνωση

[Επεξεργασία | επεξεργασία κώδικα]
  1. *Johnson, Paul B. (April 1955). «Leaning Tower of Lire». American Journal of Physics 23 (4): 240. doi:10.1119/1.1933957. Bibcode1955AmJPh..23..240J. 
  2. Paterson, Mike; Peres, Yuval; Thorup, Mikkel; Winkler, Peter; Zwick, Uri (2007). «Maximum overhang». .