Παιδιά, με γνώσεις Γ' λυκείου λύνεται η εξίσωση.
Απλώς τελικά δεν μπορείτε να βρείτε αριθμούς, γιατί δεν είστε υπολογιστές και δεν μπορεί να λυθεί πλήρως αλγεβρικά.
Βρίσκουμε τις πρώτες 3 παραγώγους της συνάρτησης x^2-2^x.
Από αυτές βρίσκουμε ότι η 3η παράγωγος είναι αρνητική και άρα η 2η είναι γνησίως φθίνουσα, οπότε αν έχει μία ρίζα είναι η μοναδική.
Η 2η λύνεται αλγεβρικά. Αριστερά από τη ρίζα (=ρ) είναι θετική και δεξιά αρνητική, άρα η 1η είναι αριστερά από αυτήν γνησίως αύξουσα και δεξιά γνησίως φθίνουσα και εκεί παρουσιάζει μέγιστο έναν θετικό αριθμό που δε μας βολεύει φυσικά γιατί έχει ρίζες και όμως δε λύνεται αλγεβρικά (εγώ τουλάχιστον δε μπορώ να τη λύσω...). Το ότι όμως σε αυτό το μέγιστο-ακρόατο δεν μηδενίζεται σημαίνει ότι στους μηδενισμούς της τέμνει τον άξονα χ και δεν εφάπτεται με αυτόν. Άρα αλλάζει πρόσημο.
Μπορεί λοιπόν να μην λύνεται αλγεβρικά, λύνεται, όμως, με Bolzano. Ο υπολογιστής μπορεί να πάρει όσο μικρά διαστήματα θέλετε και να σας πει σε ποια αλλάζει το πρόσημο της συνάρτησης. Το μόνο που χρειάζεται να ξέρετε είναι λίγο προγραμματισμό (C, Fortran και ειδικά η δεύτερη είναι ιδανικές). Βρίσκεται λοιπόν τις ρίζες της πρώτης παραγώγου.*** (βλ. 2ο spoiler)
Η παράγωγος έχει το πολύ δύο ρίζες όπως είπαμε πριν. Μία αριστερά από την ρ και μία δεξιά. Θα βρείτε όντως δύο ρίζες αν κάνετε αυτό που σας λέω, άρα αυτές είναι και οι μοναδικές. Έστω ότι αυτές είναι οι ρ1, ρ2 με ρ1<ρ2.
Τότε ελέγχετε μήπως μηδενίζεται η αρχική συνάρτηση σε αυτές. Θα δείτε ότι εδώ δε μηδενίζεται. Θα βρείτε ότι για χ<ρ1 η συνάρτηση είναι γν. φθίνουσα, για ρ1<χ<ρ2 γν. αύξουσα και για χ>ρ2 γν φθίνουσα. Υπάρχουν δύο προφανείς ρίζες της συνάρτησης, οι 2 και 4. Η 4 ανήκει στο τρίτο διάστημα και είναι η μοναδική λύση σε αυτό. Η 2 στο δεύτερο διάστημα και είναι η μοναδική λύση σε αυτό και λείπει μία που μόνο με Bolzano και με πρόγραμμα μπορούμε να λύσουμε.
Μπορεί να μη μπορεί να λυθεί μόνο με στυλό και χαρτί (όχι τουλάχιστον στην εποχή που ζούμε), αλλά το μόνο που χρειάζεται από μαθηματικά είναι γνώσεις Γ' λυκείου.