Zauważmy ponadto, że pierwszy czynnik otrzymanego iloczynu jest doda# (wynika tó z założenia), natomiast drugi czynnik jest ujemny (suma dwócfi' ujemnych składników1 jest ujemna). Stąd iloczyn tych czynników jest ujemny: g(x2)-g&i) - (*2 +*1) < 0 <^g(x2) <g(xx),
a to oznacza, że funkcja g jest malejąca w zbiorze CR".
Analogicznie można wykazać, że ta funkcja jest rosnąca w zbiorze R+. < Zauważmy, że w dowolnym sąsiedztwie punktu 0 funkcja g przyjmuje wartości większe od g(Q% tzn. V g(a*) > g (0) <=> V x2 > 0, dlatego stwier-,
dzamy. że funkcja g osiąga minimum lokalne właściwe dlax = 0.
Dodatkowo zwróćmy uwagę, że dla funkcjig prawdziwe są również stwierdź® niai,iźjest ona malejąca w przedziałe (-oo,0] i rosnąca w przedziale [0,oo). Jednak wymieniając przedziałymofiotoniczności, będziemy podawać przedziały otwarte.
Ilustracja 1.29. Monotoniczność oraz maksimum i minima funkcji
Przykład 1.63
Wykorzystując wykres funkcji/(ilustracja 1.29), określimy jej przedziały/^ o* .notoniczności:
f * funkcja jest rosnąca w przedziałach: (x2, x3) oraz (x4,co),
• funkcja jest stała w przedziale (xly x2),
• funkcja jest malejąca w przedziałach: (-00,a 1) oraz (x3,x4),
• funkcja jest nierosńąca w przedziale: (-00,x2),
• funkcja jest niemalejąca w przedziale: (xt,x3y.
Dodatkowo możemy stwierdzić, że funkcja /:
• ma maksimum lokalne właściwe dla argumentu x3,
• ma minimum lokalne właściwe dla argumentu x4,
• ma minimum lokalne dla każdego argumentu z przedziału
1.4.7. Wypukłość i wklęsłość funkcji. Punkty przegięcia Kolejną istotną własnością wykresu funkcji jest wypukłość.
Definicja 1.S6
a) Funkcja/jest w przedziałe(a.ó) wypukła (wypukła ku dołowi), jeśli dte dowolnych punktów xx ix2 leżących wewnątrz przedziału (a,b) i liczby X z przedziału (0,1) zachodzi nierówność;
/(X ■ xj + (1 - X) • x,);<X • f(xj)+(l- X)/(*^.
b) Funkcja/jest w przedziale (a,b) wklęsła (wypukła ku górze), jeśli dla dowolnych punktów x„ x2 leżących wewnątrz przedziału (a,b) i liczby X z przedziału (0,1) zachodzi nierówność:
W praktyce częściej wykorzystujemy pojęcia ścisłej wypukłości oraz ścisłej
wklęsłości.
Definicja 1.57
a) Funkcja / jest w przedziale (at,b) ściśle wypukła, jeśli dla dowolnych punktowy i x, leżących wewnątrz przedziału{a>i>) i liczby X z przedziału (0,1) zachodzi nierówność:
/(X • x, +(l- X)ć-^)<X/(x1) + ( 1 - X)/(x,).
b) Funkcja / jest w przedziale (a.b) ściśle wklęsła, jeśli dla dowolnych punktów*,, x, leżących wewnątrz przedziału (a.b) i liczby X z przedziału (0,1) zachodzi nierówność:
/(X • xx + (1 -X) -xz)> a-/(a-,)-t (1 - X)-/(a-2).
Geometryczny sens powyższej definicji wyjaśniają poniższe uwagi.
W Uwaga 1.27
a) Funkcja/jest ściśle wypukła w przedziale (a,b) wtedy i tylko wtedy, gdy dla dwóch dowolnych argumentów x,,x2e (a,b) odcinek o końcach w punktach (x,,/(*,)) oraz (x2,f(xjf) leży nad wykresem funkcji/(ilustracja 130).
b) Funkcja/jest ściśle wklęsła w przedziale (a» wtedy i tylko wtedy, gdy dla dwóch dowolnych argumentów*,,x2 e (a,b) odcinek o końcach w punktach (v„/(*,)) oraz (*,,/(*,)) leży pod wykresem funkcji /(ilustracja 131).