Μετά την ωραία λύση του Δημήτρη, αξίζουν μερικά σχόλια για το κλασσικό αυτό ολοκλήρωμα ώστε να φανεί "τι τρέχει".
Πρώτα από όλα η αλλαγή μεταβλητής x = 2at το φέρνει στην «κανονική» του μορφή. Συγκεκριμένα είναι η λεγόμενη συνάρτηση Β του Euler
Δείτε στο
http://en.wikipedia.org/wiki/Beta_function
για κάποιες από τις ιδιότητες της πολύ ενδιαφέρουσας και καλομελετημένης αυτής συνάρτησης.
Όμως η ιστορία του αρχίζει, τουλάχιστον για
κάποιους ρητούς εκθέτες, από τον Wallis (1616-1703) στην προσπάθειά του να βρει με ολοκλήρωμα το εμβαδόν του κύκλου (τότε ο Ολοκληρωτικός Λογισμός ήταν στη γέννηση του, μετά από κενό 2000 ετών από τον Αρχιμήδη).
Ο Wallis μελέτησε με ευφυέστατες μεθόδους τα ολοκληρώματα
των οποίων η αλλαγή μεταβλητής
![t = \sqrt[q]{t} t = \sqrt[q]{t}](/forum/ext/geomar/texintegr/latexrender/pictures/60a4f228c9687b4ceb6c9bb9e0a966c7.png)
τα φέρνει σε συναρτήσεις Β. Ως υποπροϊόν ο Wallis επινόησε τον περίφημο τύπο του που δίνει το π ως απειρογινόμενο και βρήκε τον επονομαζόμενο «τύπο του Wallis” για ολοκληρώματα της μορφής
Ας σημειωθεί, ότι η ωραία μέθοδος του Δημήτρη, παραπάνω, ξαναβρίσκει τα ολοκληρώματα Wallis, όπως είναι «αναμενόμενο» από αυτά που γράφω.
Ανέφερα ότι ο Wallis μελέτησε τα παραπάνω ολοκληρώματα για
κάποιους ρητούς εκθέτες. Δεν θα μπορούσε και αλλιώς γιατί ο Chebychev (των γνωστών πολυωνύμων) απέδειξε ένα καταπληκτικό αποτέλεσμα: Η γενική περίπτωση του αορίστου ολοκληρώματος
όπου m, n, p ρητοί, α,β πραγματικοί και

εκφράζεται στοιχειωδώς
αν και μόνον αν ένας τουλάχιστον από τους αριθμούς p , (m+1)/n, p+(m+1)/n είναι ακέραιος.
Με άλλα λόγια, ο Wallis δεν θα μπορούσε να είχε προχωρήσει πολύ παραπάνω, ακόμα και αν προσπαθούσε όλη του ζωή...
Μια και ο λόγος στον Wallis, ας πω και το εξής που δείχνει ότι και οι μεγάλοι μαθηματικοί δυσκολεύτηκαν μερικές φορές σε θέματα που σήμερα θεωρούμε ξεκαθαρισμένο παιχνιδάκι.
Έφη Wallis, το οποίο αφήνω ασχολίαστο:
"δεν είναι αλήθεια ότι οι αρνητικοί αριθμοί είναι μικρότεροι του 0. Το σωστό είναι ότι είναι μεγαλύτεροι του απείρου" .
Αυτά.
Φιλικά,
Μιχάλης Λάμπρου