Εκθετική εξίσωση

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

Mihalis_Lambrou
Επιμελητής
Δημοσιεύσεις: 18285
Εγγραφή: Κυρ Δεκ 21, 2008 2:04 am

Εκθετική εξίσωση

#1

Μη αναγνωσμένη δημοσίευση από Mihalis_Lambrou » Σάβ Δεκ 10, 2022 10:42 am

Να λυθεί η εξίσωση 3^x+x=4^x.

Καλά, η x=1 είναι ρίζα που την βλέπεις από μακριά αλλά, αν μπορείς, βρες μου και άλλη.



Λέξεις Κλειδιά:
Άβαταρ μέλους
george visvikis
Επιμελητής
Δημοσιεύσεις: 14834
Εγγραφή: Παρ Νοέμ 01, 2013 9:35 am

Re: Εκθετική εξίσωση

#2

Μη αναγνωσμένη δημοσίευση από george visvikis » Σάβ Δεκ 10, 2022 10:59 am

Mihalis_Lambrou έγραψε:
Σάβ Δεκ 10, 2022 10:42 am
Να λυθεί η εξίσωση 3^x+x=4^x.

Καλά, η x=1 είναι ρίζα που την βλέπεις από μακριά αλλά, αν μπορείς, βρες μου και άλλη.
Και την x=0 τη βλέπεις από μακριά.


Mihalis_Lambrou
Επιμελητής
Δημοσιεύσεις: 18285
Εγγραφή: Κυρ Δεκ 21, 2008 2:04 am

Re: Εκθετική εξίσωση

#3

Μη αναγνωσμένη δημοσίευση από Mihalis_Lambrou » Σάβ Δεκ 10, 2022 11:18 am

george visvikis έγραψε:
Σάβ Δεκ 10, 2022 10:59 am
Και την x=0 τη βλέπεις από μακριά.
Ωραία. Ας τις βρούμε τώρα όλες. Μπορούμε να βρούμε άλλες;


Άβαταρ μέλους
Maria-Eleni Nikolaou
Δημοσιεύσεις: 91
Εγγραφή: Δευ Σεπ 27, 2021 8:14 pm
Τοποθεσία: Άγιοι Απόστολοι - Κάλαμος Αττικής

Re: Εκθετική εξίσωση

#4

Μη αναγνωσμένη δημοσίευση από Maria-Eleni Nikolaou » Σάβ Δεκ 10, 2022 1:07 pm

Mihalis_Lambrou έγραψε:
Σάβ Δεκ 10, 2022 11:18 am
george visvikis έγραψε:
Σάβ Δεκ 10, 2022 10:59 am
Και την x=0 τη βλέπεις από μακριά.
Ωραία. Ας τις βρούμε τώρα όλες. Μπορούμε να βρούμε άλλες;
Είναι: 4^x-3^x=x . Έστω f(x)=x^a ,\,\,\,a \in \mathbb{R}. Τότε {f}'(x)=ax^{a-1}
Η f ικανοποιεί τις προϋποθέσεις του ΘΜΤ στο [3,4] όποτε \exists \xi \in(3,4): {f}'(\xi)=\dfrac{4^a-3^a}{4-3}
Αρκεί να λύσουμε: {f}'(\xi)=a \Leftrightarrow a{\xi}^{a-1}=a \Leftrightarrow a({\xi}^{a-1}-1)=0 \Leftrightarrow a=0 \,\,\, \vee \,\,\,a=1


Ο Θεός μπορεί να μην παίζει ζάρια με το σύμπαν, αλλά κάτι περίεργο συμβαίνει με τους πρώτους αριθμούς ~ Paul Erdős
Άβαταρ μέλους
Ορέστης Λιγνός
Δημοσιεύσεις: 1861
Εγγραφή: Κυρ Μάιος 08, 2016 7:19 pm
Τοποθεσία: Χαλάνδρι Αττικής
Επικοινωνία:

Re: Εκθετική εξίσωση

#5

Μη αναγνωσμένη δημοσίευση από Ορέστης Λιγνός » Σάβ Δεκ 10, 2022 5:25 pm

Mihalis_Lambrou έγραψε:
Σάβ Δεκ 10, 2022 10:42 am
Να λυθεί η εξίσωση 3^x+x=4^x.

Καλά, η x=1 είναι ρίζα που την βλέπεις από μακριά αλλά, αν μπορείς, βρες μου και άλλη.
Όποιος δεν έχει μυαλό (ποστ #4) έχει πόδια :)

Πρώτα θα λύσουμε την εξίσωση για x \geq 0, και μετά για x<0.

Μέρος 1: Αν x \geq 0, τότε θεωρούμε την συνάρτηση f(x)=4^x-3^x-x. Είναι,

f'(x)=4^x\ln 4-3^x \ln 3-1 και

f''(x)=4^x(\ln 4)^2-3^x(\ln 3)^2>0,

οπότε f''(x)>0 και άρα η f' είναι γνησίως αύξουσα. Επιπλέον, είναι

f'(0)=\ln 4-\ln 3-1=\ln(\dfrac{4}{3})-1<\ln e -1=0, και

\displaystyle \lim_{x \rightarrow +\infty} f'(x)=\lim_{x \rightarrow +\infty} (4^x\ln 4-3^x\ln 3-1)=+\infty, καθώς

4^x \ln 4 - 3^x \ln 3=3^x\ln3 (\dfrac{\ln 4}{\ln3} \cdot(\dfrac{4}{3})^x-1) \rightarrow +\infty.

Επομένως, αφού f'(x) \rightarrow +\infty για x \rightarrow +\infty, υπάρχει \alpha >0 με f'(\alpha)>0. Επομένως f'(0)f'(\alpha)<0, άρα από το Θεώρημα Bolzano υπάρχει ρίζα της f' στο (0,\alpha) \subseteq (0,+\infty). Αφού η f' είναι γνησίως αύξουσα αυτή η ρίζα - έστω \xi - είναι μοναδική.

Άρα, για x \in [0,\xi], είναι f'(x) \leq 0, δηλαδή η f είναι γνησίως φθίνουσα και για x \in (\xi,+\infty), είναι f'(x)>0, δηλαδή η f είναι γνησίως αύξουσα.

Συνεπώς, η f έχει το πολύ δύο ρίζες στο διάστημα [0,\xi] \cup (\xi,+\infty)=[0,+\infty). Αφού τα 0 και 1 είναι ρίζες της f, είναι και οι μοναδικές.

Μέρος 2: Αν x<0, τότε θεωρούμε τη συνάρτηση g(x)=4^x-3^x και δείχνουμε ότι είναι πάνω από την εφαπτομένη της στο (0,0), δηλαδή την ευθεία y=\ln(\dfrac{4}{3})x. Αυτό άμεσα θα δώσει ότι δεν υπάρχουν λύσεις της εξίσωσης g(x)=x για x<0, καθώς

g(x) \geq \ln(\dfrac{4}{3})x >x,

όπου η τελευταία ανισότητα ισχύει διότι \ln(\dfrac{4}{3})<1 και x<0.

Αρκεί να αποδείξουμε, λοιπόν, ότι g(x)=4^x-3^x \geq \ln(\dfrac{4}{3})x, ή ισοδύναμα ότι 4^x-3^x \geq x\ln4-x \ln3, δηλαδή ότι 4^x-x\ln4 \geq 3^x-x\ln 3. Σταθεροποιούμε το χ<0. Έστω η συνάρτηση h(u)=u^x-x \ln u, με u>1. Είναι,

h'(u)=xu^{x-1}-\dfrac{x}{u}=\dfrac{xu^x-x}{u}=\dfrac{x(u^x-1)}{u} >0,

οπότε η h είναι γνησίως αύξουσα στο πεδίο ορισμού της. Αφού 4>3>1, είναι λοιπόν

h(4)>h(3) \Leftrightarrow 4^x-x\ln 4 >3^x-x\ln3,

όπως θέλαμε να αποδείξουμε.

Συνολικά, μόνες ρίζες οι x=0 και x=1.


Κερδίζουμε ό,τι τολμούμε!
abgd
Δημοσιεύσεις: 613
Εγγραφή: Τετ Ιαν 23, 2013 11:49 pm

Re: Εκθετική εξίσωση

#6

Μη αναγνωσμένη δημοσίευση από abgd » Κυρ Δεκ 11, 2022 12:11 am

Διαφορετικά αλλά πάλι... με τα πόδια!!

Θεωρούμε την συνάρτηση f(x)=4^x-3^x-x, \ \  x\in \mathbb{R}. Είναι,

f'(x)=4^x\ln 4-3^x \ln 3-1 και

\displaystyle {f''(x)=4^x(\ln 4)^2-3^x(\ln 3)^2} η οποία έχει μοναδική ρίζα την r=\frac{2}{ln(4/3)}}ln\frac{ln3}{ln4}, \ \ r<0} εκατέρωθεν της οποίας αλλάζει πρόσημο.

Έτσι, η \displaystyle{f^{\prime}} είναι γνησίως αύξουσα στο \displaystyle{[r,0]} και γνησίως φθίνουσα στο \displaystyle{(-\infty, r]},

οπότε

\displaystyle{f^{\prime}(x)<max\{f^{\prime}(0),\lim_{x\to -\infty}f^{\prime}(x)\}<0, \ \ \forall x<0}

Συνεπώς η συνάρτηση \displaystyle{f} είναι γνησίως φθίνουσα στο \displaystyle{(-\infty, 0]} και θα είναι: \displaystyle{f(x)>f(0)=0, \ \ \forall x<0}

Αν τώρα υποθέσουμε ότι η \displaystyle{f} έχει και τρίτη ρίζα εκτός από το \displaystyle{0} και το \displaystyle{1}, τότε αυτή θα πρέπει να είναι θετική.

Εύκολα τώρα, με τη βοήθεια του θεωρήματος Rolle, συμπεραίνουμε ότι η \displaystyle{f^{\prime}^{\prime}} θα έχει μία θετική ρίζα, το οποίο είναι άτοπο.


\mathbb{K}_{ostas}\sum{}
Απάντηση

Επιστροφή σε “ΔΙΑΦΟΡΙΚΟΣ ΛΟΓΙΣΜΟΣ”

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

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