Εύρεση τύπου-Εξίσωση-Υπαρξιακή

Δυσκολότερα θέματα τα οποία όμως άπτονται της σχολικής ύλης και χρησιμοποιούν αποκλειστικά θεωρήματα που βρίσκονται μέσα σε αυτή. Σε διαφορετική περίπτωση η σύνταξη του μηνύματος θα πρέπει να γίνει στο υποφόρουμ "Ο ΦΑΚΕΛΟΣ ΤΟΥ ΜΑΘΗΜΑΤΙΚΟΥ"

Συντονιστής: Μπάμπης Στεργίου

Άβαταρ μέλους
M.S.Vovos
Δημοσιεύσεις: 931
Εγγραφή: Παρ Φεβ 27, 2015 5:45 pm

Εύρεση τύπου-Εξίσωση-Υπαρξιακή

#1

Μη αναγνωσμένη δημοσίευση από M.S.Vovos »

Μια ακόμα κατασκευή, μετά από καιρό. Το πρώτο ερώτημα το έχω θέσει ξανά στην κοινότητα.
Θεωρούμε τον αριθμό m\in \mathbb{N}-\left \{ 0 \right \}, ο οποίος είναι άρτιος, καθώς και τη συνάρτηση f ορισμένη στο σύνολο των πραγματικών αριθμών \mathbb{R}, με f(0)=0, για την οποία ισχύει:

\displaystyle \left | e^{f(x)-x}-e^{f(y)-y}-x^{2}+y^{2} \right |\leq (x-y)^{m}, για κάθε x,y\in \mathbb{R}.

A. Να δείξετε ότι η συνάρτηση \displaystyle g(x)=e^{f(x)-x}-x^{2},x\in \mathbb{R} είναι σταθερή και στη συνέχεια, να προσδιορίσετε τον τύπο της συνάρτησης f.

Για τα ερωτήματα Β, Γ δίνεται ότι f(x)=x+ln\left ( x^{2}+1 \right ),x\in \mathbb{R}.

Β.(\alpha ) Να εξηγήσετε γιατί η συνάρτηση f είναι αντιστρέψιμη στο πεδίο ορισμού της και να βρείτε το πεδίο ορισμού τής συνάρτησης \displaystyle f^{-1}. Στη συνέχεια, να αποδείξετε ότι για όλα τα \alpha ,\beta \in \mathbb{R} ισχύει η ανισότητα:

\displaystyle \left | f(\alpha )-f^{-1}(\alpha )+ln\frac{1}{1+\left ( f^{-1}(a) \right )^{2}}-f(\beta)+\beta  \right |\leq \left | \alpha -\beta  \right |

(\beta ) Να λύσετε την εξίσωση \displaystyle f\left ( f(x)+2f^{-1}(x) \right )=3x+ln\left ( 9x^{2}+1 \right ),x\in \mathbb{R}.

*Διορθώθηκε ένα πρόσημο στο δεύτερο ερώτημα.

** To ερώτημα Γ διαγράφτηκε, λόγω προβλήματος που μου επεσήμανε ο κ. Κακαβάς. Ζητώ συγγνώμη για όσους προβλημάτισα αδίκως...
Τελευταία επεξεργασία από το μέλος M.S.Vovos την Τετ Νοέμ 09, 2016 12:43 am, έχει επεξεργασθεί 1 φορά συνολικά.
Είναι αυταπάτη ότι η νεότητα είναι ευτυχισμένη, μια αυταπάτη αυτών που την έχουν χάσει. W. Somerset Maugham

Ετικέτες:
Άβαταρ μέλους
R BORIS
Επιμελητής
Δημοσιεύσεις: 2395
Εγγραφή: Σάβ Ιαν 03, 2009 8:08 am
Επικοινωνία:

Re: Εύρεση τύπου-Εξίσωση-Υπαρξιακή

#2

Μη αναγνωσμένη δημοσίευση από R BORIS »

A) έχουμε
\displaystyle{|g(x)-g(y)|\le |x-y|^m,m\ge 2}
από το ΚΠ εύκολα προκύπτει οτι η \displaystyle{g} είναι παραγωγίσιμη στο \displaystyle{R} με παράγωγο το 0, άρα σταθερή και ίση με
\displaystyle{g(0)=1} οπότε \displaystyle{f(x)=x+ln(1+x^2).}

B.a)\displaystyle{f'(x)=\frac{(1+x)^2}{1+x^2}\ge 0} και επειδη το "ίσον" ισχύει μόνον σε ένα σημείο είναι γνήσια αύξουσα αρα υπάρχει η \displaystyle{f^{-1}}'
Τα όρια της \displaystyle{f} στα \displaystyle{\pm \infty} είναι και αυτά \displaystyle{\pm \infty} αντιστοίχως διότι
\displaystyle{f(x)=x(1+\frac{ln(1+x^2)}{x}) }που με DLH προκύπτει το αποτέλεσμα άρα \displaystyle{f(R)=R} συνεπώς \displaystyle{D(f^{-1})=R}
Ακόμη
\displaystyle{a=f(f^{-1}(a))=f^{-1}(a)+ln(1+(f^{-1}(a))^2)} αρα η ζητουμένη γίνεται
\displaystyle{|f(a)-a-f(b)+b|\le |a-b|} η με την βοηθεια του ΘΜΤ για την \displaystyle{f} στο \displaystyle{[a,b]:|f'(u)-1|\le 1} η \displaystyle{2|u|\le(u^2+1)} που είναι προφανές
ΤΑ ΥΠΟΛΟΙΠΑ ΑΡΓΟΤΕΡΑ .ΤΩΡΑ ΠΡΕΠΕΙ ΝΑ ΦΥΓΩ
Άβαταρ μέλους
M.S.Vovos
Δημοσιεύσεις: 931
Εγγραφή: Παρ Φεβ 27, 2015 5:45 pm

Re: Εύρεση τύπου-Εξίσωση-Υπαρξιακή

#3

Μη αναγνωσμένη δημοσίευση από M.S.Vovos »

...Συνεχίζοντας την λύση του θέματος, από τον Ροδόλφο (τον οποίο ευχαριστώ και πολύ!)...

(β) Για \alpha \rightarrow x\in \mathbb{R} και \beta \rightarrow f^{-1}(x)\in \mathbb{R}, η ανισότητα γίνεται:

\left |f(x)+f^{-1}(x)-2x  \right |\leq \left | x-f^{-1}(x) \right |, για κάθε x\in \mathbb{R}.

Όμως, \displaystyle f(x)\geq x\Leftrightarrow \left ( f^{-1}\circ f \right )(x)\geq f^{-1}(x)\Leftrightarrow x-f^{-1}(x)\geq 0. Επομένως:

\left | f(x)+f^{-1}(x)-2x \right |\leq x-f^{-1}(x)\Leftrightarrow

\displaystyle f(x)+f^{-1}(x)-2x\leq x-f^{-1}(x)\Leftrightarrow f(x)+2f^{-1}(x)\leq 3x

Με την ισότητα να ισχύει μόνο όταν f^{-1}(x)=x\Leftrightarrow f(x)=x\Rightarrow x=0.
Τελευταία επεξεργασία από το μέλος M.S.Vovos την Τετ Νοέμ 09, 2016 9:05 pm, έχει επεξεργασθεί 1 φορά συνολικά.
Είναι αυταπάτη ότι η νεότητα είναι ευτυχισμένη, μια αυταπάτη αυτών που την έχουν χάσει. W. Somerset Maugham
Άβαταρ μέλους
R BORIS
Επιμελητής
Δημοσιεύσεις: 2395
Εγγραφή: Σάβ Ιαν 03, 2009 8:08 am
Επικοινωνία:

Re: Εύρεση τύπου-Εξίσωση-Υπαρξιακή

#4

Μη αναγνωσμένη δημοσίευση από R BORIS »

To B.b λυνεται χωρίς την χρήση του προηγουμένου αν και πολυπλοκα.Θα δώσω τα βηματα της απόδειξης οσο γίνεται πιο περιληπτικά
1. Απο την \displaystyle{f=x+ln(x^2+1) } εχουμε \displaystyle{x=(f^{-1})+ln(1+(f^{-1})^2)} [1]
2, H εξίσωση γράφεται \displaystyle{f(f+2(f^{-1}))=f(3x) }η \displaystyle{f-x=2(x-(f^{-1}))} η... \displaystyle{\sqrt{1+x^2}-1=(f^{-1})^2} [2]
3. ευκολα απο μονοτονία και των σχεσεων \displaystyle{f>x, f(0)=0} τα \displaystyle{x,f(x)} είναι ομόσημα
4. εστω \displaystyle{x>0} από [1],[2] καταλήγουμε στην \displaystyle{x=\sqrt{\sqrt{1+x^2}-1}+ln(1+\sqrt{1+x^2}-1}) η \displaystyle{\sqrt{x^2+1-1}=\sqrt{\sqrt{1+x^2}-1}+ln(\sqrt{1+x^2}}}[3]
5.Θετουμε \displaystyle{\sqrt{x^2+1}=y}η [3] γίνεται \displaystyle{\sqrt{y^2-1}=\sqrt{y-1}+ln(y)} [4]
6. Mε \displaystyle{y=1+a} η [4] γίνεται \displaystyle{\sqrt{a+2}=1+\frac{ln(1+a)}{\sqrt{a}},a>0} και θα δειξουμε οτι αυτή είναι αδυνατη
7, θεωρώ την \displaystyle{g(a)=\sqrt{a+2}-1-\frac{ln(1+a)}{\sqrt{a}} }και με ΘΒ δείχνω ότι \displaystyle{g'}εχει ριζα \displaystyle{w}
8.ακόμη θα δείξω οτι \displaystyle{g(w)>0} . Αν \displaystyle{g'(w)=0 \Rightarrow-\frac{ln(1+w)}{\sqrt{w}}=\frac{2\sqrt{w}}{1+w}-\frac{w}{\sqrt{2+w}} }.αντικαθιστωντας στην \displaystyle{g} παίρνουμε \displaystyle{g(w)=\sqrt{w+2}-1+\frac{2\sqrt{w}}{1+w}-\frac{w}{\sqrt{2+w}}}
Πρεπει ακομη να βρούμε τα ορια στο απειρο και να βγουν >0 πράγμα σχετικά εύκολο.
9.Αρκει \displaystyle{\sqrt{w+2}-\frac{w}{\sqrt{2+w}}>1-\frac{2\sqrt{w}}{1+w}} που μετα ς πραξεις ειναι προφανές
10. αντίστοιχα για \displaystyle{x<0} αλλά παρατηρούμε οτι το 0 επαληθεύει οπότε είναι η μοναδική λύση
Άβαταρ μέλους
M.S.Vovos
Δημοσιεύσεις: 931
Εγγραφή: Παρ Φεβ 27, 2015 5:45 pm

Re: Εύρεση τύπου-Εξίσωση-Υπαρξιακή

#5

Μη αναγνωσμένη δημοσίευση από M.S.Vovos »

:coolspeak:
Είναι αυταπάτη ότι η νεότητα είναι ευτυχισμένη, μια αυταπάτη αυτών που την έχουν χάσει. W. Somerset Maugham
Άβαταρ μέλους
M.S.Vovos
Δημοσιεύσεις: 931
Εγγραφή: Παρ Φεβ 27, 2015 5:45 pm

Re: Εύρεση τύπου-Εξίσωση-Υπαρξιακή

#6

Μη αναγνωσμένη δημοσίευση από M.S.Vovos »

Προσθέτω και το τελευταίο ερώτημα που χρωστούσα.

Έστω \kappa ,\lambda \in \mathbb{R}, με \kappa <\lambda και x_{1},x_{2},...,x_{n}\in [\kappa ,\lambda ], με n\in \mathbb{N}_{>0}. Να αποδείξετε ότι υπάρχει, μοναδικό \xi \in [\kappa ,\lambda ] τέτοιο, ώστε:

\displaystyle \frac{\prod_{i=1}^{n}e^{x_{i}}}{e^{n\xi }}=\frac{\left ( \xi ^{2}+1 \right )^{n}}{\prod_{i=1}^{n}\left ( x_{i}^{2}+1 \right )}
Είναι αυταπάτη ότι η νεότητα είναι ευτυχισμένη, μια αυταπάτη αυτών που την έχουν χάσει. W. Somerset Maugham
Απάντηση

Επιστροφή στο “ΘΕΜΑΤΑ ΜΕ ΑΠΑΙΤΗΣΕΙΣ Γ'”

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

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