
Δίνεται η εξίσωση
με
με πραγματικές διαφορετικές ρίζες.Αν ισχύει ότι
δείξτε ότι μία τουλάχιστον από τις ρίζες της βρίσκεται στο διάστημα 
Παρεμφερές και αυτό το θέμα
Μέχρι και 13/5/2012
Συντονιστής: polysot

με
με πραγματικές διαφορετικές ρίζες.
δείξτε ότι μία τουλάχιστον από τις ρίζες της βρίσκεται στο διάστημα 

άρα
άτοπο άρα
άτοπο .
άτοπο .
άτοπο .
.
διοτι ειδαλως δεν ικανοποιειται η υποθεση .υπάρχουν δύο καλές και βασικές προτάσεις στα απόλυτα που είναι εύκολο να αποδειχτούν.άρα διαιρω με![]()
Και έχω
τότε 

. Ομοίως και για την άλλη ρίζα
Καλημέρα κάποιες ενδεικτικές αποδείξεις.spyros έγραψε: ....
υπάρχουν δύο καλές και βασικές προτάσεις στα απόλυτα που είναι εύκολο να αποδειχτούν.
Πρόταση 1: Αντότε
Πρόταση 2:Αν![]()


ή
δεν έχουμε να αποδείξουμε τίποτα, συνεπώς σε κάθε περίπτωση
ή
.






.Πρόταση 2: Είναιspyros έγραψε: υπάρχουν δύο καλές και βασικές προτάσεις στα απόλυτα που είναι εύκολο να αποδειχτούν.
Πρόταση 1: Αντότε
Πρόταση 2:Αν
Έτσι χρησιμοποιώντας την πρόταση 1 θα μπορούσαμε να γράψουμε ότι ένας τουλάχιστον από τους παράγοντες είναι μικρότερος του 1 δηλαδή. Ομοίως και για την άλλη ρίζα

τετριμμένο.
δεν έχω κάτι να αποδείξω, Έστω πως 


θα μπορούσαμε να πούμε επίσης ότι έστω ότι δεν ισχύειΠρόταση 1: Αντότε
ή
δηλαδή έστω ότι
και
άρα
ή
. Το τελευταίο όμως είναι άτοπο γιατί από υπόθεση έχω
άρα θα είναι
ή 

Ίσως η πιο σύντομη απόδειξη είναι με την μέθοδο της εις άτοπον απαγωγής. Έχουμε κάποια δεδομένα και θέλουμε να καταλήξουμε σε κάποιο συμπέρασμα. Θα υποθέσουμε πως το συμπέρασμα είναι λανθασμένο και χρησιμοποιώντας αυτήν την υπόθεση μαζί με τα δεδομένα που έχουμε θα καταλήξουμε σε κάτι λανθασμένο (άτοπο). Εφόσον όμως καταλήξαμε σε άτοπο αυτό πάει να πει πως η υπόθεση που κάναμε δεν μπορεί να είναι ορθή. Δηλαδή το συμπέρασμα που θέλαμε να καταλήξουμε δεν μπορεί να είναι λανθασμένο. Άρα πρέπει απαραίτητα να είναι ορθό. Αρκετά όμως για την εξήγηση της μεθόδου. Ας την δούμε στην πράξη.spyros έγραψε: Πρόταση 1: Αντότε
![]()
και
. Αλλά τότε
, άτοπο αφού από τα δεδομένα είναι
. Άρα το συμπέρασμα ισχύει.
έχει σταθερό σημείο, θεωρώ την
με
. Απο θεώρημα σταθερού σημείου του Βrouwer υπάρχει
ώστε
. Επομένως
και με πράξεις προκύπτει το ζητούμενο. Λείπει το τι γίνεται αν b=0, μόλις καταλήξω θα το γράψω και επίσης δε χρειάστηκε η συνθήκη με τις απόλυτες τιμές (μάλλον χρειάζεται στην περίπτωση που b=0). Έχω επεξεργαστεί άλλες 2 προσεγγίσεις διαφορετικές, αν ευωδοθεί η προσπάθεια θα τις αναφέρω κι αυτές.Καλημέρα!batmsup1 έγραψε:Θα δώσω ένα σχέδιο της προσπάθειας για απόδειξη της αρχικής άσκησης με άλλο τρόπο.
Έχοντας υπόψη το θεώρημα σταθερού σημείου του Brouwer για την περίπτωση του R, οτι αν S μη κενό, συμπαγές, κυρτό υποσύνολο του R τοτε κάθε συνεχής συνάρτησηέχει σταθερό σημείο, θεωρώ την
με
. Απο θεώρημα σταθερού σημείου του Βrouwer υπάρχει
ώστε
. Επομένως
και με πράξεις προκύπτει το ζητούμενο. Λείπει το τι γίνεται αν b=0, μόλις καταλήξω θα το γράψω και επίσης δε χρειάστηκε η συνθήκη με τις απόλυτες τιμές (μάλλον χρειάζεται στην περίπτωση που b=0). Πώς σας φαίνεται ως εδω? Εντοπίζετε κάποιο λάθος? Έχω επεξεργαστεί άλλες 2 προσεγγίσεις διαφορετικές, αν ευωδοθεί η προσπάθεια θα τις αναφέρω κι αυτές.
Μέλη σε αυτήν τη Δ. Συζήτηση: Δεν υπάρχουν εγγεγραμμένα μέλη και 2 επισκέπτες