έστω
={e}^{x}(\alpha {x}^{3}+\beta {x}^{2}+\gamma x), x\epsilon R)
για α<0:
επίσης f παραγωγήσιμη ως πράξεις παραγωγίσιμων.
από Θ.Ε.Τ έχω ένα τουλάχιστον Χο στο (0,+οο) τέτοιο ώστε f(Xo)=a
αντίστοιχα για α>0
άρα η εξίσωση έχει τουλάχιστον μια ρίζα.
για α>0:
<0)
(το τριώνυμο είναι πάντα θετικό λόγω αρνητικής διακρίνουσας)
άρα δεν μπορώ να έχω ρίζα για χ<0 αφού το πρώτο μέλος βγαίνει αρνητικό ενώ α>0
για χ>0 λοιπόν
έστω ότι έχω 2 ρίζες χ1,χ2. Τότε από rolle στο (χ1,χ2) έχω χ3 τέτοιο ώστε f'(x3)=0
={e}^{x}(3\alpha {x}^{2}+2\beta x+\gamma )+x{e}^{x}(\alpha {x}^{2}+\beta x+\gamma )>0)
(τα πολυώνυμα θετικά λόγω διακρίνουσας.)
άτοπο. άρα η ρίζα είναι μοναδική.
για α<0.
>0)
άρα δεν έχω ρίζα στα αρνητικά, εφόσον το πρώτο μέλος βγαίνει ετερώσημο του α.
για χ>0 λοιπόν.
πάλι έστω ότι έχω 2 ρίζες χ4,χ5 αντίστοιχα άρα από rolle στο (χ4,χ5) θα έχω χ6 στο διάστημα αυτό τέτοιο ώστε f'(x6)=0
={e}^{x}(3\alpha {x}^{2}+2\beta x+\gamma )+x{e}^{x}(\alpha {x}^{2}+\beta x+\gamma )<0)
(πολυώνυμα αρνητικά τώρα λόγω αρνητικής διακρίνουσας, και αρνητικού α)
άτοπο. άρα η λύση είναι μοναδική
και σωστό να ναι, είμαι σίγουρος ότι βγαίνει και πιο γρήγορα αλλά δε βαριέσαι
