β) Εστω: h(x) = f(x) + x * e^-1 -1 , x στο [0, π / 2]
h'(x) = -ημχ + e^-1
h''(x) = -συνx < 0 => h' φθινουσα
h'(0) = e^-1 > 0
h'(π / 2) = e^-1 - 1 < 0
bolzano .. => υπαρχει μοναδικο x_o στο (0, π / 2) : h'(xo) = 0
h'(x) > 0 (0, x_o) => h γν. αυξουσα στο [0, x_o] με h(0) = 0 => h(x) >= 0 στο [0, x_0]
γ) η εξισωση ειναι αδυνατη για x > 1 μιας και x^2 > 1 >= συνχ
Εστω: φ(χ) = συνχ - χ^2, για χ <= 1
φ'(χ) = -ημχ - 2χ ( μπορει να βγει το προσημο και απο εδω με παραπανω γραψιμο)
φ''(χ) = -συνχ - 2 < 0
( -1 <= -συνχ <= 1 <=> -3 <= -συνχ -2 <= -1 < 0)
φ' γνησιως φθινουσα και παρατηρουμε φ'(0) = 0 μοναδικη ριζα οποτε
εχουμε φ'(χ) >0 για x < 0 και φ'(x) < 0 στο (0,1)
=> φ γν. αυξουσα στο (-οο, 0]
=> φ γν. φθινουσα στο [0, 1]
φ(0) = 1
φ(1) = συν1 - 1 < 0
=> υπαρχει μοναδικο χ_2 στο (0, 1) τ.ω φ(χ_2) = 0
lim(x-> -oo) φ(χ) = χ^2 ( συνχ / χ^2 - 1) = (+οο) (0 - 1) = -00
=> υπαρχει μοναδικο χ_1 στο (-οο, 0) τ.ω φ(χ_1) = 0
δ) συνχ φθινουσα στο [0, π / 2] => g φθινουσα στο [0, π / 2] => g 1-1 => υπαρχει g^-1
με πεδιο ορισμου το [0, 1]
ισχυει: g(g^-1 (x)) = x για καθε χ στο [0, 1]
=> g'(g^-1(x)) * (g^-1)'(x) = 1 (E)
g'(g^-1(x)) = 0 <=> ημg^-1(x) = 0 ( ημ στο [0,1] υποσυνολο του [0, π / 2] ειναι αυξουσα αρα και 1-1)
g^-1(x) = 0 <=> x = 1
=> (g^-1)'(x) = 1 / g'(g^-1(x)) , x στο [0, 1)
ε) g'(x) = 1 / g'(g^-1(x)) , x στο [0, 1)
<=> ημx = 1 / ημ(g^-1(x))
το πρωτο μελος ειναι < 1 ενω το 2ο > 1
οποτε η εξισωση ειναι αδυνατη...
ελπισω να μην εγραψα καμια πατατα γιατι το πηγα μονοκοπανια :p...