e (μαθηματική σταθερά)

αριθμός

Ο αριθμός e είναι σημαντική μαθηματική σταθερά, η οποία αποτελεί τη βάση του φυσικού λογαρίθμου. Είναι περίπου ίση με 2,71828,[1] και είναι το όριο της ακολουθίας (1 + 1/n)n όσο το n πλησιάζει το άπειρο, μια έκφραση που προκύπτει από την μελέτη των σύνθετων τόκων. Η σταθερά μπορεί να οριστεί με πολλούς τρόπους. Για παράδειγμα, μπορεί να οριστεί ως το άθροισμα της άπειρης σειράς.[2]

.

Επίσης, ο e μπορεί να οριστεί ως ο μοναδικός θετικός αριθμός a, τέτοιος ώστε το γράφημα της συνάρτησης y = ax έχει κλίση ίση με 1 όταν x = 0.[3] Η συνάρτηση f(x) = ex ονομάζεται εκθετική και η αντίστροφή της είναι ο φυσικός λογάριθμος ή λογάριθμος με βάση το e. Ο φυσικός λογάριθμος ενός θετικού αριθμού k μπορεί επίσης να οριστεί άμεσα ως το εμβαδόν κάτω από την καμπύλη y = 1/x μεταξύ x = 1 και x = k, όπου το e είναι ο αριθμός του οποίου ο φυσικός λογάριθμος είναι 1. Υπάρχουν και άλλοι εναλλακτικοί χαρακτηρισμοί.

Αποκαλούμενος μερικές φορές ως αριθμός Όιλερ από τον Ελβετό μαθηματικό Λέοναρντ Όιλερ, ο e δεν πρέπει να συγχέεται με την γ, τη σταθερά Όιλερ–Μασκερόνι που μερικές φορές αναφέρεται απλά σταθερά Όιλερ. Ο αριθμός e είναι επίσης γνωστός ως σταθερά του Νέιπιερ, αλλά η επιλογή του Όιλερ του συμβόλου e λέγεται ότι έχει διατηρηθεί προς τιμήν του.[4] Ο e ανακαλύφθηκε από τον Ελβετό μαθηματικό Γιακόμπ Μπερνούλι όταν μελετούσε σύνθετους τόκους.

Ο αριθμός e είναι εξέχουσας σημασίας στα μαθηματικά,[5] μαζί με το 0, το 1, το π και το i. Και οι πέντε από αυτούς τους αριθμούς παίζουν σημαντικό και επαναλαμβανόμενο ρόλο στα μαθηματικά και είναι οι πέντε σταθερές που εμφανίζονται σε μία διατύπωση της ταυτότητας του Όιλερ. Όπως και η σταθερά π, ο e είναι άρρητος, δηλ. δεν είναι λόγος ακεραίων, και είναι υπερβατικό, δηλ. δεν είναι ρίζα κανενός μη-μηδενικού πολυώνυμου με ρητούς συντελεστές. Η αριθμητική τιμή του e μέχρι τα 50 δεκαδικά ψηφία είναι 2,71828182845904523536028747135266249775724709369995... (ακολουθία A001113 στην OEIS).

Οι πρώτες αναφορές στη σταθερά e δημοσιεύθηκαν το 1618 στον πίνακα του προσαρτήματος ενός έργου για τους λογαρίθμους από τον Τζον Νάπιερ.[6] Ωστόσο αυτό δεν περιλαμβάνει την ίδια τη σταθερά, αλλά απλούστερα μια λίστα από λογαρίθμους που υπολογίζονται από τη σταθερά. Εκτιμάται ότι ο πίνακας γράφτηκε από τον Γουίλιαμ Ώτεντ. Η ανακάλυψη της ίδιας της σταθεράς πιστώνεται στον Γιακόμπ Μπερνούλι ο οποίος το 1683 προσπάθησε να βρει την τιμή του από την ακόλουθη έκφραση (που είναι στην πραγματικότητα το e):

 .

Η πρώτη γνωστή χρήση της σταθεράς, που αντιστοιχεί στο γράμμα b, ήταν σε αλληλογραφία από τον Γκότφριντ Βίλχελμ Λάιμπνιτς στον Κρίστιαν Χόυχενς το 1690 και το 1691. Ο Λέοναρντ Όιλερ εισήγαγε το γράμμα e ως στη βάση για φυσικούς λογαρίθμους, γράφοντάς το σε επιστολή του στον Κρίστιαν Γκόλντμπαχ στις 25 Νοεμβρίου του 1731.[7][8] Ο Όιλερ ξεκίνησε να χρησιμοποιεί το γράμμα e ως σταθερά το 1727 ή το 1728, σε ένα αδημοσίευτο έργο σχετικά με τις εκρηκτικές δυνάμεις σε κανόνια,[9] και η πρώτη εμφάνιση του e σε μια δημοσίευση ήταν του Όιλερ, με τίτλο Μηχανική (1736, λατ. Mechanica‎‎). Ενώ στα επόμενα χρόνια κάποιοι ερευνητές χρησιμοποίησαν το γράμμα c, το e ήταν το πιο γνωστό και τελικά έγινε το καθιερωμένο.[10]

Εφαρμογές

Επεξεργασία

Σύνθετος τόκος

Επεξεργασία

Ο Γιακόμπ Μπερνούλι ανακάλυψε αυτή τη  σταθερά μελετώντας μια ερώτηση σχετικά με τους σύνθετους τόκους (ή αλλιώς ανατοκισμό):[11]

Ένας λογαριασμός ξεκινά με 1.00€ και πληρώνει 100 τοις εκατό τόκο  ανά έτος. Εάν ο τόκος πιστώνεται μια φορά η αξία του λογαριασμού στο τέλος του έτους θα είναι 2.00€. Τι συμβαίνει  αν ο τόκος υπολογιστεί και πιστωθεί πιο συχνά κατά τη διάρκεια του έτους;

Αν ο τόκος πιστωθεί δύο φορές το έτος, το επιτόκιο για κάθε 6 μήνες θα είναι 50%, οπότε στο τέλος του πρώτου εξαμήνου θα ισχύει: (1+ 50%) = 1 + 0.5 = 1.5€ και τελικά στο τέλος του δευτέρου εξαμήνου προκύπτει: (1.5 + 50%) = 1.5 + 0.75 = 2.25€ στο τέλος του έτους. Υπολογίζοντας τις  τριμηνιαίες αποδόσεις είναι 1.00€ × 1.254 = 2.4414€ ... και υπολογίζοντας του κάθε μήνα τις αποδόσεις είναι 1.00 × (1 + 1/12) 12 = 2,613035€ ... Αν υπάρχουν   ίσα διαστήματα, ο τόκος για κάθε διάστημα θα είναι 100% / n και η αξία το τέλος του έτους θα είναι  .

Ο Μπερνούλι παρατήρησε ότι αυτή η αλληλουχία πλησιάζει το όριο, με μεγαλύτερα   και, ως εκ τούτου, τα μικρότερα διαστήματα τοκισμού. Για εβδομαδιαία διαστήματα, δηλαδή όταν  , η έκφραση δίενι 2.692597€ ..., ενώ ημερίσια διαστήματα, δηλαδή όταν   αποδίδει 2.714567€ ..., μόλις δύο λεπτά περισσότερο. Το όριο καθώς το   μεγαλώνει είναι ο αριθμός που έγινε γνωστός ως e. Με συνεχή ανατοκισμό, η αξία του λογαριασμού θα φτάσει τα 2.7182818€ .... Γενικότερα, ένας λογαριασμός που ξεκινάει από $ 1 και προσφέρει ετήσιο επιτόκιο R, μετά από t έτη, θα αποδίδει  € με συνεχείς υπολογισμούς. (Εδώ το   είναι ένα κλάσμα, έτσι για το επιτόκιο 5%, R = 5/100 =0,05)[12]

Δοκιμές Μπερνούλι

Επεξεργασία
 
Γράφημα της πιθανότητας P να μην πετύχουμε κανένα από τις n ανεξάρτητες δοκιμές Μπερνούλι, κάθε μία από τις οποίες επιτυγχάνει με πιθανότητα 1/n, και του πλήθους των δοκιμών n. Παρατηρήστε ότι καθώς το n αυξάνει, η πιθανότητα συγκλίνει γρήγορα στο 1/e.

Ο ίδιος ο αριθμός e έχει επίσης εφαρμογές στη θεωρία πιθανοτήτων όπου προκύπτει, κατά τρόπο που δεν σχετίζεται προφανώς με εκθετική αύξηση. Ας υποθέσουμε ότι ένας παίκτης παίζει έναν κουλοχέρη που πληρώνει με πιθανότητα ένα προς   και παίζει   φορές. Στη συνέχεια, για μεγάλο   (όπως ένα εκατομμύριο), η πιθανότητα ότι ο παίκτης θα χάσει κάθε στοίχημα είναι (περίπου) 1 / e. Για n = 20 είναι ήδη περίπου 1/2.79.

Αυτό είναι ένα παράδειγμα της διαδικασίας των δοκιμών Μπερνούλι. Κάθε φορά που ο παίκτης παίζει με τον κουλοχέρη, υπάρχει μία προς   πιθανότητα να κερδίσει. Παίζοντας ένα εκατομμύριο φορές διαμορφώνεται από τη διωνυμική κατανομή, η οποία είναι στενά συνδεδεμένη με το διωνυμικό θεώρημα. Η πιθανότητα της νίκης   φορές μετά από   δοκιμές είναι:

 ,

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

 .

Το όριο της παραπάνω έκφρασης όσο το   τείνει στο άπειρο είναι το  , δηλαδή[13]

 .

Αναδιατάξεις

Επεξεργασία

Μια άλλη εφαρμογή του e, που ανακαλύφθηκε εν μέρει από τον Γιακόμπ Μπερνούλι μαζί με τον Γάλλο  μαθηματικό Pierre Raymond de Montmort είναι το πρόβλημα διασάλευσης.[14] Εδώ   επισκέπτες καλούνται σε ένα πάρτι και στην πόρτα κάθε επισκέπτης δίνει το καπέλο του στον μπάτλερ ο οποίος τα τοποθετεί σε επίσημα κουτιά. Ο μπάτλερ δε γνωρίζει τα ονόματα των καλεσμένων και έτσι βάζει τα καπέλα τυχαία στα κουτιά. Στο τέλος του πάρτι δίνει τυχαία ένα κουτί σε κάθε καλεσμένο. Το πρόβλημα του de Montmort είναι: ποια είναι η πιθανότητα κανένα καπέλα να μην επιστραφεί στον σωστό αποδέκτη. Η απάντηση είναι:

 

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

Ασύμπτωτες

Επεξεργασία

Ο αριθμός e εμφανίζεται στην ασυμπτωτική ανάλυση αρκετών συναρτήσεων. Το πιο δημοφιλές τέτοιο παράδειγμα είναι ο τύπος Στίρλινγκ για την ασυμπτωτική συμπεριφορά της συνάρτησης του παραγοντικού στην οποία εμφανίζεται ο e, αλλά και ο π:

  ή ισοδύναμα  .

Μια ιδιαίτερη συνέπεια του τύπου αυτού είναι ότι:[15]

 

Τυπική κανονική κατανομή

Επεξεργασία
Κύριο λήμμα: Κανονική κατανομή

Η πιο απλή περίπτωση μιας κανονικής κατανομής είναι η τυπική κανονική κατανομή, της οποίας η συνάρτηση πυκνότητας πιθανότητας είναι η εξής:

 .

Ο σταθερός όρος   διασφαλίζει πως το συνολικό εμβαδόν κάτω από την καμπύλη   είναι ένα. Ο όρος   διασφαλίζει ότι η κατανομή έχει σταθερή τυπική απόκλιση. Η συνάρτηση είναι συμμετρική γύρω από το x=0, όπου επιτυγχάνει τη μέγιστη τιμή της : και έχει σημεία καμπής στο +1 και -1.

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

Ο αριθμός e στον λογισμό

Επεξεργασία

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

 

Το όριο στα δεξιά είναι ανεξάρτητο από την μεταβλητή  . Εξαρτάται μόνο από την βάση  . Όταν η βάση είναι  , το όριο είναι ίσο με  , και έτσι το e είναι συμβολικά ορίζεται από την εξίσωση:

 ,

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

Ένα άλλο κίνητρο έρχεται από την εξέταση της βάσης λογαρίθμου. Λαμβάνοντας υπόψιν τον ορισμό της παραγώγου του   είναι το όριο:

 

όπου στο τελευταίο βήμα κάναμε την αντικατάσταση  . Το τελευταίο όριο που εμφανίζονται σε αυτό τον υπολογισμό είναι και πάλι ένα απροσδιόριστο όριο που εξαρτάται μόνο από τη βάση  , και αν αυτή η βάση είναι  , τότε το όριο είναι ίσο με  .[16] Έτσι συμβολικά :

 

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

Υπάρχουν λοιπόν δύο τρόποι με τους οποίους μπορούμε να επιλέξουμε έναν ειδικό αριθμό  . Ένας τρόπος είναι να ορίσουμε την παράγωγο της εκθετικής συνάρτησης   ώστε να είναι ίση με  . Ο άλλος τρόπος είναι να θέσουμε την παράγωγο της βάσης του λογαρίθμου σε   και να λύσουμε προς  . Σε κάθε περίπτωση φτάνει κανείς σε μια βολική επιλογή της βάσης. Στην πραγματικότητα, αυτές οι δύο λύσεις δίνουν τον ίδιο αριθμό   για βάση.

Εναλλακτικοί χαρακτηρισμοί

Επεξεργασία

Άλλοι χαρακτηρισμοί του e που είναι επίσης πιθανοί: ένας είναι ως το όριο μιας ακολουθίας, άλλος είναι ως το άθροισμα μίας άπειρης σειράς και μερικοί ακόμα βασίζονται στον ολοκληρωτικό λογισμό. Μέχρι στιγμής, έχουμε εισάγει τους εξής δύο ορισμούς:

  1. Ο αριθμός e είναι ο μοναδικός θετικός πραγματικός αριθμός τέτοιος ώστε:
     
  2. Ο αριθμός e είναι ο μοναδικός θετικός πραγματικός αριθμός τέτοιος ώστε:
     

Οι ακόλουθοι τρεις χαρακτηρισμοί μπορούν να αποδειχθούν επίσης ισοδύναμοι:

  1. Ο αριθμός e είναι το όριο:
     .

    Ομοίως:

     .
  2. Ο αριθμός e είναι το άθροισμα της άπειρης σειράς:
     
    όπου   είναι το παραγοντικό του  .
  3. Ο αριθμός e είναι ο μοναδικός θετικός πραγματικός αριθμός τέτοιος ώστε
     

Ιδιότητες

Επεξεργασία

Λογισμός

Επεξεργασία

Όπως αναφέραμε παραπάνω η εκθετική συνάρτηση ex είναι σημαντική εν μέρει επειδή είναι η μοναδική με μη τετριμμένη συνάρτηση (μέχρι τον πολλαπλασιασμό με μια σταθερά) η οποία είναι δική του παράγωγος

 

και ως εκ τούτου η δική του αντιπαράγωγος, καθώς και:

 

Συναρτήσεις σαν Εκθετικές

Επεξεργασία

Το πρόβλημα του Στάινερ αναζητά την εύρεση του ολικού μέγιστου για την συνάρτηση

 .

Αυτό εμφανίζεται στο  .[17] Παρομοίως, στο   βρίσκεται το ολικό ελάχιστο για τη συνάρτηση

 ,

που ορίζεται για τη θετικά  .

Γενικότερα, για κάθε   η συνάρτηση

 ,

έχει ολικό ελάχιστο στο  .[18]

Σχετικά με αυτό το, άπειρο επαναλαμβανόμενο εκθετικό

 

συγκλίνει αν και μόνο αν ee ≤ x ≤ e1/e (δηλαδή όταν το   είναι περίπου μεταξύ των 0.0660 και 1.4447), σύμφωνα με το θεώρημα του Όιλερ.

Θεωρία των Αριθμών

Επεξεργασία

Ο πραγματικός αριθμός e είναι άρρητος. Ο Όιλερ απέδειξε αυτό, δείχνοντας ότι το απλό συνεχές κλάσμα του είναι άπειρο.

Επιπλέον, από το θεώρημα Λίντεμαν-Βάιερστρας, το e είναι υπερβατικό, πράγμα που σημαίνει ότι δεν είναι μια λύση μιας οποιασδήποτε πολυωνυμικής μη σταθερής εξίσωσης με ακέραιους συντελεστές. Ήταν ο πρώτος αριθμός που αποδείχθηκε ότι είναι υπερβατικός χωρίς να έχει κατασκευαστεί ειδικά για το σκοπό αυτό (σε σύγκριση με τον αριθμό Λιουβίλ). Η απόδειξη δόθηκε από τον Σαρλ Ερμίτ το 1873.

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

Μιγαδικοί αριθμοί

Επεξεργασία

Η εκθετική συνάρτηση ex  μπορεί να γραφεί ως μια σειρά Τέιλορ

 .

Επειδή αυτή η σειρά συγκλίνει ακόμη και όταν το   είναι μιγαδικός αριθμός, συνήθως χρησιμοποιείται για την επέκταση του ορισμού τςη ex στο μιγαδικό επίπεδο. Συνδυάζοντας αυτό με τη σειρά Τέιλορ για τα   και  , οδηγούμαστε στον τύπο του Όιλερ:

 ,

ο οποίος ισχύει για όλα τα  . Η ειδική περίπτωση   δίνει την γνωστή ταυτότητα του Όιλερ:

 ,

από την οποία προκύπτει ότι, στο κύριο κλάδο του λογαρίθμου,

 

Επιπλέον, χρησιμοποιώντας τους νόμους για την ύψωση σε δύναμη,

 

ο οποίος είναι ο τύπος του ντε Μουάβρ.

Η έκφραση

 ,

αναφέρεται μερικές φορές ως cis(x).

Διαφορικές Εξισώσεις

Επεξεργασία

Η γενική συνάρτηση

 ,

είναι η λύση της διαφορικής εξίσωσης

 .

Παραστάσεις

Επεξεργασία

Ο αριθμός e μπορεί να παρασταθεί ως πραγματικός αριθμός με διάφορους τρόπους: ως άπειρη σειρά, ως ένα άπειρο προϊόν, ως ένα συνεχές κλάσμα, ή ένα όριο μιας ακολουθίας. Η επικεφαλής μεταξύ αυτών των αναπαραστάσεων, κυρίως σε εισαγωγικά μαθήματα λογισμού είναι το όριο

 

που δόθηκε παραπάνω, καθώς επίσης και η σειρά

 

δίνεται από τον υπολογισμό της παραπάνω σειράς από το ex στο x = 1.

Λιγότερο γνωστό είναι το συνεχιζόμενο κλάσμα (ακολουθία A003417 στην OEIS).

 

το οποίο ανεπτυγμένο γράφεται ως εξής

 

Αυτό το συνεχές κλάσμα για το e συγκλίνει τρεις φορές πιο γρήγορα από το:

 

το οποίο αναγραμμένο μοιάζει με

 

Πολλές άλλες σειρές, η ακολουθία, το συνεχές κλάσμα, και οι άπειρες παραστάσεις των προϊόντων του e έχουν αναπτυχθεί.

Στοχαστικές παραστάσεις

Επεξεργασία

Εκτός από τις ακριβείς αναλυτικές εκφράσεις για το e, υπάρχουν στοχαστικές τεχνικές για την εκτίμηση του ε. Μία τέτοια προσέγγιση ξεκινά με μια άπειρη ακολουθία ανεξαρτήτων τυχαίων μεταβλητών  , προέρχονται από την ομοιόμορφη κατανομή στο  . Έστω   ελάχιστος αριθμός  , τέτοιος ώστε το άθροισμα των πρώτων   δειγμάτων να υπερβαίνει το  . Τότε, η αναμενόμενη τιμή του   είναι το e, δηλαδή  .[19]

Γνωστά ψηφία

Επεξεργασία

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

Παραπομπές

Επεξεργασία
  1. Oxford English Dictionary, 2η έκδοση: natural logarithm Αρχειοθετήθηκε 2013-02-08 στο Wayback Machine.
  2. Encyclopedic Dictionary of Mathematics 142.D
  3. Jerrold E. Marsden, Alan Weinstein (1985). Calculus. Springer. ISBN 0-387-90974-5. 
  4. Sondow, Jonathan. «e». Wolfram Mathworld. Wolfram Research. Ανακτήθηκε στις 10 Μαΐου 2011. 
  5. Howard Whitley Eves (1969). An Introduction to the History of Mathematics. Holt, Rinehart & Winston. ISBN 0-03-029558-0. 
  6. Τζον Νάπιερ (1614), Mirifici logarithmorum canonis descriptio, Εδιμβούργο, Wikidata Q107644956 
  7. Lettre XV. Euler à Goldbach, dated November 25, 1731 in: P.H. Fuss, ed., Correspondance Mathématique et Physique de Quelques Célèbres Géomètres du XVIIIeme Siècle … (Mathematical and physical correspondence of some famous geometers of the 18th century), vol. 1, (St. Petersburg, Russia: 1843), pp. 56–60, see especially p. 58. From p. 58: " … ( e denotat hic numerum, cujus logarithmus hyperbolicus est = 1), … " ( … (e denotes that number whose hyperbolic [i.e., natural] logarithm is equal to 1) … )
  8. Remmert, Reinhold (1991). Theory of Complex Functions. Springer-Verlag. σελ. 136. ISBN 978-0-387-97195-7. 
  9. Euler, Leonard. Meditatio in experimenta explosione tormentorum nuper instituta. https://scholarlycommons.pacific.edu/euler-works/853/. «Scribatur pro numero cujus logarithmus est unitas, e, qui est 2,7182817… (Ελληνικά: Γραμμένο για τον αριθμό ο οποίος έχει λογάριθμο την μονάδα, e, δηλαδή 2,7182817...")». 
  10. Miller, Jeff. «Earliest Uses of Symbols for Constants». MacTutor. University of St. Andrews, Scotland. Ανακτήθηκε στις 31 Οκτωβρίου 2023. 
  11. Gonick, Larry (2012). The Cartoon Guide to Calculus. William Morrow. σελίδες 29–32. ISBN 978-0-06-168909-3. 
  12. «Ο συνεχής ανατοκισμός και ο αριθμός e: ένα παρεξηγημένο θέμα» (PDF). Αρχειοθετήθηκε από το πρωτότυπο (PDF) στις 3 Απριλίου 2019. 
  13. Το όριο μπορεί να γραφτεί με την μορφή
     .
    Τώρα θα δείξουμε ότι  . Ξεκινάμε, χρησιμοποιώντας την ανισότητα Μπερνούλι που δίνει ότι
     .
    Επίσης, ισχύει ότι
     .
    Παίρνοντας το όριο και στα δύο μέλη της ανισότητας, καθώς  , λαμβάνουμε ότι είναι   και επομένως καταλήγουμε στο ζητούμενο.
  14. Grinstead, C.M.· Snell, J.L. «Introduction to probability theory». σελ. 85. Αρχειοθετήθηκε από το πρωτότυπο στις 27 Ιουλίου 2011. Ανακτήθηκε στις 9 Δεκεμβρίου 2007. 
  15. Αυτό προκύπτει καθώς
     .
  16. Συνεχίζοντας, έχουμε ότι
     
  17. Θεωρούμε την συνάρτηση
     .
    Αφού η λογαριθμική συνάρτηση είναι αύξουσα η   μεγιστοποιείται εκεί που μεγιστοποιείται η  . Χρησιμοποιώντας τους κανόνες παραγώγισης, έχουμε ότι
     
    Η παράγωγος είναι φθίνουσα στο   επομένως, το ολικό μέγιστο είναι στο  , για το οποίο  .
  18. Όπως και για τις προηγούμενες περιπτώσεις, ορίζουμε την συνάρτηση
     ,
    και έπειτα έχουμε ότι
     ,
    η οποία είναι αύξουσα και μηδενίζεται στο  .
  19. Καθώς το   είναι τυχαία μεταβλητή που παίρνει τιμές στους φυσικούς αριθμούς, έχουμε ότι
     .
    Από την κατανομή Irwin-Hall έχουμε ότι
     .
    Επομένως, καταλήγουμε ότι
     .

Εξωτερικοί σύνδεσμοι

Επεξεργασία