Derivadas

Parte II - Aplicações

Daniel Miranda
UFABC
Cristian Colleti
UFABC

Sumário

Introdução

  • Pressione ESC para ver um panorama dos slides.

  • As resoluções dos exemplos e as demonstrações dos teoremas podem ser vistas clicando na seta para baixo, quando esta estiver disponível.

  • Use as setas do teclado para navegar mais facilmente.

  • Em telas touch, deslize os dedos para trocar de slides.

Aplicações da Derivada

Valores Extremos

Extremos Absolutos

Definição 1.
Seja $I$ um intervalo e uma função $f:I\to \bbR$ .

  • Diremos que $x_0\in I$ é um ponto de máximo global (ou absoluto) de $f$, se $f(x)\leq f(x_0)$, para todo $x\in I$. Neste caso, diremos que $f(x_0)$ é máximo global.

  • Diremos que $x_0\in I$ é um ponto de mínimo global de $f$, se $f(x)\geq f(x_0)$, para todo $x\in I$. Neste caso, diremos que $f(x_0)$ é mínimo global.

  • Um ponto $x_0\in I$ será dito um ponto extremo global, se $x_0$ for um ponto de máximo global ou um ponto de mínimo global.

\psset{xunit=0.5cm,yunit=0.5cm,algebraic=true,dimen=middle,dotstyle=o,dotsize=3pt 0,linewidth=0.8pt,arrowsize=3pt 2,arrowinset=0.25} \begin{pspicture*}(-2.,-1.4)(8.4,6.7) \psaxes[labelFontSize=\scriptstyle,xAxis=true,yAxis=true,labels=none,Dx=1.,Dy=1.,ticksize=-2pt 0,subticks=2]{->}(0,0)(-2.7,-2.)(8.7,7.) \psplot[linecolor=vermelho,linewidth=1.2pt,plotpoints=200]{-2.7}{8.7}{(3.0*(x-3.74)^(4.0)-(x-3.74)^(2.0))/((x-3.74)*((x-3.74)^(4.0)+1.0+x-3.74))+3.8999999999999986} \psdots[dotstyle=square*,dotangle=45,linecolor=vermelho,dotsize=5pt](2.62,1.7708340011377612) \rput[bl](2.92,1.42){Minimo global} \psdots[dotstyle=square*,dotangle=45,linecolor=vermelho,dotsize=5pt](5.38,5.074082728828099) \rput[bl](3.46,5.2){Maximo global} \end{pspicture*}

Figura 1. O ponto $A$ é um ponto de mínimo e $D$ é um ponto de máximo.

Exercício. Determine os extremos das seguintes funções analisando seus gráficos:

  • a) $x^2\qquad$
  • b) $x^3\qquad$
  • c) $1/x \qquad$
  • d $\dfrac{x}{\sqrt{x^2+1}}$
\newrgbcolor{qqwuqq}{0. 0.39215686274509803 0.} \psset{xunit=0.7cm,yunit=0.7cm,algebraic=true,dimen=middle,dotstyle=o,dotsize=3pt 0,linewidth=0.8pt,arrowsize=3pt 2,arrowinset=0.25} \begin{pspicture*}(-3.,-1.)(3.,4.) \psaxes[labelFontSize=\scriptstyle,xAxis=true,yAxis=true,labels=none,Dx=1.,Dy=1.,ticksize=-2pt 0,subticks=2]{->}(0,0)(-3.,-1.)(3.,4.) \psplot[linewidth=1.4pt,linecolor=vermelho,plotpoints=200]{-3.0}{3.0}{x^(2)} \rput[bl](1.8,2.48){{$x^2$}} \end{pspicture*}
\newrgbcolor{qqwuqq}{0. 0.39215686274509803 0.} \psset{xunit=0.7cm,yunit=0.7cm,algebraic=true,dimen=middle,dotstyle=o,dotsize=3pt 0,linewidth=0.8pt,arrowsize=3pt 2,arrowinset=0.25} \begin{pspicture*}(-3.,-3.)(3.,3.) \psaxes[labelFontSize=\scriptstyle,xAxis=true,yAxis=true,labels=none,Dx=1.,Dy=1.,ticksize=-2pt 0,subticks=2]{->}(0,0)(-3.,-3.)(3.,3.) \psplot[linewidth=1.4pt,linecolor=vermelho,plotpoints=100]{-3.0}{3.0}{x^(3.0)} \rput[bl](-0.66,1.5){{$x^3$}} \end{pspicture*}
\newrgbcolor{qqwuqq}{0. 0.39215686274509803 0.} \psset{xunit=0.7cm,yunit=0.7cm,algebraic=true,dimen=middle,dotstyle=o,dotsize=3pt 0,linewidth=0.8pt,arrowsize=3pt 2,arrowinset=0.25} \begin{pspicture*}(-3.,-3.)(3.,3.) \psaxes[labelFontSize=\scriptstyle,xAxis=true,yAxis=true,labels=none,Dx=1.,Dy=1.,ticksize=-2pt 0,subticks=2]{->}(0,0)(-3.,-3.)(3.,3.) \psplot[linewidth=1.4pt,linecolor=vermelho,plotpoints=200]{-3.0}{-0.1}{1.0/x} \psplot[linewidth=1.4pt,linecolor=vermelho,plotpoints=200]{0.1}{3.0}{1.0/x} \rput[bl](-1.7,1.04){{$1/x$}} \end{pspicture*}
\newrgbcolor{qqwuqq}{0. 0.39215686274509803 0.} \psset{xunit=0.7cm,yunit=0.7cm,algebraic=true,dimen=middle,dotstyle=o,dotsize=3pt 0,linewidth=0.8pt,arrowsize=3pt 2,arrowinset=0.25} \begin{pspicture*}(-3.,-3.)(3.,3.) \psaxes[labelFontSize=\scriptstyle,xAxis=true,yAxis=true,labels=none,Dx=1.,Dy=1.,ticksize=-2pt 0,subticks=2]{->}(0,0)(-3.,-3.)(3.,3.) \psplot[linewidth=1.4pt,linecolor=vermelho,plotpoints=100]{-3.0}{3.0}{x/(x^(2.0)+1.0)} \rput[bl](1,1.04){$\frac{x}{x^2+1}$} \end{pspicture*}

Resolução.

  1. A função $x^2$ possui um mínimo em $x=0$ e não possui máximo;.

  2. A função $x^3$ não possui máximo e mínimo.

  3. A função $1/x$ não possui máximo e mínimo.

  4. A função $\dfrac{x}{x^2+1}$ possui máximo e mínimo.

Exercício. Utilizando os gráficos da Figura do slide abaixo Determine os extremos das seguintes funções nos intervalos especificados:

  1. $x^2$ em $[-1,2]$

  2. $x^2$ em $(-1,2)$

\colorlet{ccqqqq}{vermelho} \psset{xunit=0.7cm,yunit=0.7cm,algebraic=true,dimen=middle,dotstyle=o,dotsize=3pt 0,linewidth=0.8pt,arrowsize=3pt 2,arrowinset=0.25} \scalebox{0.6}{\begin{pspicture*}(-1.7,-1.)(2.7,5.) \psaxes[labelFontSize=\scriptstyle,xAxis=true,yAxis=true,labels=none,Dx=1.,Dy=1.,ticksize=-2pt 0,subticks=2]{->}(0,0)(-1.7,-1.)(2.7,5.) \psline[linewidth=1.2pt,linecolor=ccqqqq](-0.9999996000000083,0.9999992000001766)(-0.9999996000000083,0.9999992000001766) \psline[linewidth=1.2pt,linecolor=ccqqqq](-0.9999996000000083,0.9999992000001766)(-0.9849995666216282,0.9702241462447955) \psline[linewidth=1.2pt,linecolor=ccqqqq](-0.9849995666216282,0.9702241462447955)(-0.9699995332432482,0.9408990944921193) \psline[linewidth=1.2pt,linecolor=ccqqqq](-0.9699995332432482,0.9408990944921193)(-0.9549994998648681,0.9120240447421482) \psline[linewidth=1.2pt,linecolor=ccqqqq](-0.9549994998648681,0.9120240447421482)(-0.939999466486488,0.8835989969948821) \psline[linewidth=1.2pt,linecolor=ccqqqq](-0.939999466486488,0.8835989969948821)(-0.924999433108108,0.8556239512503211) \psline[linewidth=1.2pt,linecolor=ccqqqq](-0.924999433108108,0.8556239512503211)(-0.9099993997297279,0.828098907508465) \psline[linewidth=1.2pt,linecolor=ccqqqq](-0.9099993997297279,0.828098907508465)(-0.8949993663513478,0.8010238657693141) \psline[linewidth=1.2pt,linecolor=ccqqqq](-0.8949993663513478,0.8010238657693141)(-0.8799993329729677,0.7743988260328681) \psline[linewidth=1.2pt,linecolor=ccqqqq](-0.8799993329729677,0.7743988260328681)(-0.8649992995945877,0.7482237882991272) \psline[linewidth=1.2pt,linecolor=ccqqqq](-0.8649992995945877,0.7482237882991272)(-0.8499992662162076,0.7224987525680914) \psline[linewidth=1.2pt,linecolor=ccqqqq](-0.8499992662162076,0.7224987525680914)(-0.8349992328378275,0.6972237188397605) \psline[linewidth=1.2pt,linecolor=ccqqqq](-0.8349992328378275,0.6972237188397605)(-0.8199991994594474,0.6723986871141346) \psline[linewidth=1.2pt,linecolor=ccqqqq](-0.8199991994594474,0.6723986871141346)(-0.8049991660810674,0.6480236573912139) \psline[linewidth=1.2pt,linecolor=ccqqqq](-0.8049991660810674,0.6480236573912139)(-0.7899991327026873,0.6240986296709982) \psline[linewidth=1.2pt,linecolor=ccqqqq](-0.7899991327026873,0.6240986296709982)(-0.7749990993243072,0.6006236039534874) \psline[linewidth=1.2pt,linecolor=ccqqqq](-0.7749990993243072,0.6006236039534874)(-0.7599990659459271,0.5775985802386817) \psline[linewidth=1.2pt,linecolor=ccqqqq](-0.7599990659459271,0.5775985802386817)(-0.7449990325675471,0.555023558526581) \psline[linewidth=1.2pt,linecolor=ccqqqq](-0.7449990325675471,0.555023558526581)(-0.729998999189167,0.5328985388171854) \psline[linewidth=1.2pt,linecolor=ccqqqq](-0.729998999189167,0.5328985388171854)(-0.7149989658107869,0.5112235211104948) \psline[linewidth=1.2pt,linecolor=ccqqqq](-0.7149989658107869,0.5112235211104948)(-0.6999989324324069,0.4899985054065093) \psline[linewidth=1.2pt,linecolor=ccqqqq](-0.6999989324324069,0.4899985054065093)(-0.6849988990540268,0.46922349170522876) \psline[linewidth=1.2pt,linecolor=ccqqqq](-0.6849988990540268,0.46922349170522876)(-0.6699988656756467,0.4488984800066533) \psline[linewidth=1.2pt,linecolor=ccqqqq](-0.6699988656756467,0.4488984800066533)(-0.6549988322972666,0.4290234703107828) \psline[linewidth=1.2pt,linecolor=ccqqqq](-0.6549988322972666,0.4290234703107828)(-0.6399987989188866,0.4095984626176174) \psline[linewidth=1.2pt,linecolor=ccqqqq](-0.6399987989188866,0.4095984626176174)(-0.6249987655405065,0.390623456927157) \psline[linewidth=1.2pt,linecolor=ccqqqq](-0.6249987655405065,0.390623456927157)(-0.6099987321621264,0.37209845323940166) \psline[linewidth=1.2pt,linecolor=ccqqqq](-0.6099987321621264,0.37209845323940166)(-0.5949986987837463,0.35402345155435133) \psline[linewidth=1.2pt,linecolor=ccqqqq](-0.5949986987837463,0.35402345155435133)(-0.5799986654053663,0.336398451872006) \psline[linewidth=1.2pt,linecolor=ccqqqq](-0.5799986654053663,0.336398451872006)(-0.5649986320269862,0.31922345419236575) \psline[linewidth=1.2pt,linecolor=ccqqqq](-0.5649986320269862,0.31922345419236575)(-0.5499985986486061,0.3024984585154305) \psline[linewidth=1.2pt,linecolor=ccqqqq](-0.5499985986486061,0.3024984585154305)(-0.534998565270226,0.2862234648412003) \psline[linewidth=1.2pt,linecolor=ccqqqq](-0.534998565270226,0.2862234648412003)(-0.519998531891846,0.27039847316967514) \psline[linewidth=1.2pt,linecolor=ccqqqq](-0.519998531891846,0.27039847316967514)(-0.5049984985134659,0.255023483500855) \psline[linewidth=1.2pt,linecolor=ccqqqq](-0.5049984985134659,0.255023483500855)(-0.4899984651350859,0.24009849583473997) \psline[linewidth=1.2pt,linecolor=ccqqqq](-0.4899984651350859,0.24009849583473997)(-0.47499843175670586,0.22562351017132995) \psline[linewidth=1.2pt,linecolor=ccqqqq](-0.47499843175670586,0.22562351017132995)(-0.45999839837832585,0.21159852651062497) \psline[linewidth=1.2pt,linecolor=ccqqqq](-0.45999839837832585,0.21159852651062497)(-0.44499836499994583,0.19802354485262502) \psline[linewidth=1.2pt,linecolor=ccqqqq](-0.44499836499994583,0.19802354485262502)(-0.4299983316215658,0.18489856519733008) \psline[linewidth=1.2pt,linecolor=ccqqqq](-0.4299983316215658,0.18489856519733008)(-0.4149982982431858,0.17222358754474018) \psline[linewidth=1.2pt,linecolor=ccqqqq](-0.4149982982431858,0.17222358754474018)(-0.3999982648648058,0.1599986118948553) \psline[linewidth=1.2pt,linecolor=ccqqqq](-0.3999982648648058,0.1599986118948553)(-0.38499823148642576,0.14822363824767548) \psline[linewidth=1.2pt,linecolor=ccqqqq](-0.38499823148642576,0.14822363824767548)(-0.36999819810804574,0.13689866660320066) \psline[linewidth=1.2pt,linecolor=ccqqqq](-0.36999819810804574,0.13689866660320066)(-0.3549981647296657,0.12602369696143087) \psline[linewidth=1.2pt,linecolor=ccqqqq](-0.3549981647296657,0.12602369696143087)(-0.3399981313512857,0.11559872932236613) \psline[linewidth=1.2pt,linecolor=ccqqqq](-0.3399981313512857,0.11559872932236613)(-0.3249980979729057,0.1056237636860064) \psline[linewidth=1.2pt,linecolor=ccqqqq](-0.3249980979729057,0.1056237636860064)(-0.30999806459452567,0.0960988000523517) \psline[linewidth=1.2pt,linecolor=ccqqqq](-0.30999806459452567,0.0960988000523517)(-0.29499803121614565,0.08702383842140204) \psline[linewidth=1.2pt,linecolor=ccqqqq](-0.29499803121614565,0.08702383842140204)(-0.27999799783776563,0.0783988787931574) \psline[linewidth=1.2pt,linecolor=ccqqqq](-0.27999799783776563,0.0783988787931574)(-0.2649979644593856,0.0702239211676178) \psline[linewidth=1.2pt,linecolor=ccqqqq](-0.2649979644593856,0.0702239211676178)(-0.2499979310810056,0.06249896554478322) \psline[linewidth=1.2pt,linecolor=ccqqqq](-0.2499979310810056,0.06249896554478322)(-0.23499789770262558,0.055224011924653676) \psline[linewidth=1.2pt,linecolor=ccqqqq](-0.23499789770262558,0.055224011924653676)(-0.21999786432424556,0.04839906030722916) \psline[linewidth=1.2pt,linecolor=ccqqqq](-0.21999786432424556,0.04839906030722916)(-0.20499783094586554,0.04202411069250967) \psline[linewidth=1.2pt,linecolor=ccqqqq](-0.20499783094586554,0.04202411069250967)(-0.18999779756748553,0.03609916308049521) \psline[linewidth=1.2pt,linecolor=ccqqqq](-0.18999779756748553,0.03609916308049521)(-0.1749977641891055,0.03062421747118578) \psline[linewidth=1.2pt,linecolor=ccqqqq](-0.1749977641891055,0.03062421747118578)(-0.1599977308107255,0.025599273864581377) \psline[linewidth=1.2pt,linecolor=ccqqqq](-0.1599977308107255,0.025599273864581377)(-0.14499769743234547,0.021024332260682004) \psline[linewidth=1.2pt,linecolor=ccqqqq](-0.14499769743234547,0.021024332260682004)(-0.12999766405396546,0.01689939265948766) \psline[linewidth=1.2pt,linecolor=ccqqqq](-0.12999766405396546,0.01689939265948766)(-0.11499763067558544,0.013224455060998348) \psline[linewidth=1.2pt,linecolor=ccqqqq](-0.11499763067558544,0.013224455060998348)(-0.09999759729720542,0.009999519465214065) \psline[linewidth=1.2pt,linecolor=ccqqqq](-0.09999759729720542,0.009999519465214065)(-0.0849975639188254,0.00722458587213481) \psline[linewidth=1.2pt,linecolor=ccqqqq](-0.0849975639188254,0.00722458587213481)(-0.06999753054044539,0.004899654281760584) \psline[linewidth=1.2pt,linecolor=ccqqqq](-0.06999753054044539,0.004899654281760584)(-0.05499749716206536,0.0030247246940913876) \psline[linewidth=1.2pt,linecolor=ccqqqq](-0.05499749716206536,0.0030247246940913876)(-0.039997463783685336,0.00159979710912722) \psline[linewidth=1.2pt,linecolor=ccqqqq](-0.039997463783685336,0.00159979710912722)(-0.02499743040530531,0.0) \psline[linewidth=1.2pt,linecolor=ccqqqq](-0.02499743040530531,0.0)(-0.009997397026925288,0.0) \psline[linewidth=1.2pt,linecolor=ccqqqq](-0.009997397026925288,0.0)(0.005002636351454735,0.0) \psline[linewidth=1.2pt,linecolor=ccqqqq](0.005002636351454735,0.0)(0.020002669729834756,0.0) \psline[linewidth=1.2pt,linecolor=ccqqqq](0.020002669729834756,0.0)(0.03500270310821478,0.0012251892248818287) \psline[linewidth=1.2pt,linecolor=ccqqqq](0.03500270310821478,0.0012251892248818287)(0.050002736486594805,0.0025002736561478395) \psline[linewidth=1.2pt,linecolor=ccqqqq](0.050002736486594805,0.0025002736561478395)(0.06500276986497483,0.004225360090118879) \psline[linewidth=1.2pt,linecolor=ccqqqq](0.06500276986497483,0.004225360090118879)(0.08000280324335485,0.006400448526794949) \psline[linewidth=1.2pt,linecolor=ccqqqq](0.08000280324335485,0.006400448526794949)(0.09500283662173487,0.009025538966176047) \psline[linewidth=1.2pt,linecolor=ccqqqq](0.09500283662173487,0.009025538966176047)(0.11000287000011488,0.012100631408262175) \psline[linewidth=1.2pt,linecolor=ccqqqq](0.11000287000011488,0.012100631408262175)(0.1250029033784949,0.015625725853053333) \psline[linewidth=1.2pt,linecolor=ccqqqq](0.1250029033784949,0.015625725853053333)(0.14000293675687492,0.01960082230054952) \psline[linewidth=1.2pt,linecolor=ccqqqq](0.14000293675687492,0.01960082230054952)(0.15500297013525494,0.024025920750750735) \psline[linewidth=1.2pt,linecolor=ccqqqq](0.15500297013525494,0.024025920750750735)(0.17000300351363495,0.02890102120365698) \psline[linewidth=1.2pt,linecolor=ccqqqq](0.17000300351363495,0.02890102120365698)(0.18500303689201497,0.034226123659268255) \psline[linewidth=1.2pt,linecolor=ccqqqq](0.18500303689201497,0.034226123659268255)(0.200003070270395,0.04000122811758455) \psline[linewidth=1.2pt,linecolor=ccqqqq](0.200003070270395,0.04000122811758455)(0.215003103648775,0.046226334578605886) \psline[linewidth=1.2pt,linecolor=ccqqqq](0.215003103648775,0.046226334578605886)(0.23000313702715502,0.05290144304233225) \psline[linewidth=1.2pt,linecolor=ccqqqq](0.23000313702715502,0.05290144304233225)(0.24500317040553504,0.06002655350876364) \psline[linewidth=1.2pt,linecolor=ccqqqq](0.24500317040553504,0.06002655350876364)(0.26000320378391506,0.06760166597790006) \psline[linewidth=1.2pt,linecolor=ccqqqq](0.26000320378391506,0.06760166597790006)(0.2750032371622951,0.07562678044974151) \psline[linewidth=1.2pt,linecolor=ccqqqq](0.2750032371622951,0.07562678044974151)(0.2900032705406751,0.08410189692428799) \psline[linewidth=1.2pt,linecolor=ccqqqq](0.2900032705406751,0.08410189692428799)(0.3050033039190551,0.0930270154015395) \psline[linewidth=1.2pt,linecolor=ccqqqq](0.3050033039190551,0.0930270154015395)(0.32000333729743513,0.10240213588149603) \psline[linewidth=1.2pt,linecolor=ccqqqq](0.32000333729743513,0.10240213588149603)(0.33500337067581515,0.1122272583641576) \psline[linewidth=1.2pt,linecolor=ccqqqq](0.33500337067581515,0.1122272583641576)(0.35000340405419517,0.12250238284952421) \psline[linewidth=1.2pt,linecolor=ccqqqq](0.35000340405419517,0.12250238284952421)(0.3650034374325752,0.13322750933759583) \psline[linewidth=1.2pt,linecolor=ccqqqq](0.3650034374325752,0.13322750933759583)(0.3800034708109552,0.14440263782837248) \psline[linewidth=1.2pt,linecolor=ccqqqq](0.3800034708109552,0.14440263782837248)(0.3950035041893352,0.15602776832185417) \psline[linewidth=1.2pt,linecolor=ccqqqq](0.3950035041893352,0.15602776832185417)(0.41000353756771524,0.16810290081804088) \psline[linewidth=1.2pt,linecolor=ccqqqq](0.41000353756771524,0.16810290081804088)(0.42500357094609525,0.1806280353169326) \psline[linewidth=1.2pt,linecolor=ccqqqq](0.42500357094609525,0.1806280353169326)(0.4400036043244753,0.1936031718185294) \psline[linewidth=1.2pt,linecolor=ccqqqq](0.4400036043244753,0.1936031718185294)(0.4550036377028553,0.2070283103228312) \psline[linewidth=1.2pt,linecolor=ccqqqq](0.4550036377028553,0.2070283103228312)(0.4700036710812353,0.22090345082983803) \psline[linewidth=1.2pt,linecolor=ccqqqq](0.4700036710812353,0.22090345082983803)(0.4850037044596153,0.23522859333954987) \psline[linewidth=1.2pt,linecolor=ccqqqq](0.4850037044596153,0.23522859333954987)(0.5000037378379953,0.2500037378519668) \psline[linewidth=1.2pt,linecolor=ccqqqq](0.5000037378379953,0.2500037378519668)(0.5150037712163754,0.26522888436708875) \psline[linewidth=1.2pt,linecolor=ccqqqq](0.5150037712163754,0.26522888436708875)(0.5300038045947555,0.2809040328849158) \psline[linewidth=1.2pt,linecolor=ccqqqq](0.5300038045947555,0.2809040328849158)(0.5450038379731356,0.2970291834054478) \psline[linewidth=1.2pt,linecolor=ccqqqq](0.5450038379731356,0.2970291834054478)(0.5600038713515156,0.31360433592868486) \psline[linewidth=1.2pt,linecolor=ccqqqq](0.5600038713515156,0.31360433592868486)(0.5750039047298957,0.330629490454627) \psline[linewidth=1.2pt,linecolor=ccqqqq](0.5750039047298957,0.330629490454627)(0.5900039381082758,0.34810464698327415) \psline[linewidth=1.2pt,linecolor=ccqqqq](0.5900039381082758,0.34810464698327415)(0.6050039714866559,0.36602980551462627) \psline[linewidth=1.2pt,linecolor=ccqqqq](0.6050039714866559,0.36602980551462627)(0.6200040048650359,0.3844049660486835) \psline[linewidth=1.2pt,linecolor=ccqqqq](0.6200040048650359,0.3844049660486835)(0.635004038243416,0.4032301285854457) \psline[linewidth=1.2pt,linecolor=ccqqqq](0.635004038243416,0.4032301285854457)(0.6500040716217961,0.42250529312491303) \psline[linewidth=1.2pt,linecolor=ccqqqq](0.6500040716217961,0.42250529312491303)(0.6650041050001761,0.4422304596670853) \psline[linewidth=1.2pt,linecolor=ccqqqq](0.6650041050001761,0.4422304596670853)(0.6800041383785562,0.4624056282119626) \psline[linewidth=1.2pt,linecolor=ccqqqq](0.6800041383785562,0.4624056282119626)(0.6950041717569363,0.483030798759545) \psline[linewidth=1.2pt,linecolor=ccqqqq](0.6950041717569363,0.483030798759545)(0.7100042051353164,0.5041059713098324) \psline[linewidth=1.2pt,linecolor=ccqqqq](0.7100042051353164,0.5041059713098324)(0.7250042385136964,0.5256311458628249) \psline[linewidth=1.2pt,linecolor=ccqqqq](0.7250042385136964,0.5256311458628249)(0.7400042718920765,0.5476063224185223) \psline[linewidth=1.2pt,linecolor=ccqqqq](0.7400042718920765,0.5476063224185223)(0.7550043052704566,0.5700315009769248) \psline[linewidth=1.2pt,linecolor=ccqqqq](0.7550043052704566,0.5700315009769248)(0.7700043386488367,0.5929066815380324) \psline[linewidth=1.2pt,linecolor=ccqqqq](0.7700043386488367,0.5929066815380324)(0.7850043720272167,0.6162318641018449) \psline[linewidth=1.2pt,linecolor=ccqqqq](0.7850043720272167,0.6162318641018449)(0.8000044054055968,0.6400070486683624) \psline[linewidth=1.2pt,linecolor=ccqqqq](0.8000044054055968,0.6400070486683624)(0.8150044387839769,0.6642322352375851) \psline[linewidth=1.2pt,linecolor=ccqqqq](0.8150044387839769,0.6642322352375851)(0.830004472162357,0.6889074238095128) \psline[linewidth=1.2pt,linecolor=ccqqqq](0.830004472162357,0.6889074238095128)(0.845004505540737,0.7140326143841454) \psline[linewidth=1.2pt,linecolor=ccqqqq](0.845004505540737,0.7140326143841454)(0.8600045389191171,0.7396078069614832) \psline[linewidth=1.2pt,linecolor=ccqqqq](0.8600045389191171,0.7396078069614832)(0.8750045722974972,0.7656330015415259) \psline[linewidth=1.2pt,linecolor=ccqqqq](0.8750045722974972,0.7656330015415259)(0.8900046056758772,0.7921081981242738) \psline[linewidth=1.2pt,linecolor=ccqqqq](0.8900046056758772,0.7921081981242738)(0.9050046390542573,0.8190333967097265) \psline[linewidth=1.2pt,linecolor=ccqqqq](0.9050046390542573,0.8190333967097265)(0.9200046724326374,0.8464085972978844) \psline[linewidth=1.2pt,linecolor=ccqqqq](0.9200046724326374,0.8464085972978844)(0.9350047058110175,0.8742337998887473) \psline[linewidth=1.2pt,linecolor=ccqqqq](0.9350047058110175,0.8742337998887473)(0.9500047391893975,0.9025090044823152) \psline[linewidth=1.2pt,linecolor=ccqqqq](0.9500047391893975,0.9025090044823152)(0.9650047725677776,0.9312342110785882) \psline[linewidth=1.2pt,linecolor=ccqqqq](0.9650047725677776,0.9312342110785882)(0.9800048059461577,0.9604094196775662) \psline[linewidth=1.2pt,linecolor=ccqqqq](0.9800048059461577,0.9604094196775662)(0.9950048393245378,0.9900346302792492) \psline[linewidth=1.2pt,linecolor=ccqqqq](0.9950048393245378,0.9900346302792492)(1.0100048727029178,1.0201098428836373) \psline[linewidth=1.2pt,linecolor=ccqqqq](1.0100048727029178,1.0201098428836373)(1.0250049060812978,1.0506350574907302) \psline[linewidth=1.2pt,linecolor=ccqqqq](1.0250049060812978,1.0506350574907302)(1.0400049394596778,1.081610274100528) \psline[linewidth=1.2pt,linecolor=ccqqqq](1.0400049394596778,1.081610274100528)(1.0550049728380577,1.1130354927130308) \psline[linewidth=1.2pt,linecolor=ccqqqq](1.0550049728380577,1.1130354927130308)(1.0700050062164377,1.1449107133282388) \psline[linewidth=1.2pt,linecolor=ccqqqq](1.0700050062164377,1.1449107133282388)(1.0850050395948176,1.1772359359461517) \psline[linewidth=1.2pt,linecolor=ccqqqq](1.0850050395948176,1.1772359359461517)(1.1000050729731976,1.2100111605667698) \psline[linewidth=1.2pt,linecolor=ccqqqq](1.1000050729731976,1.2100111605667698)(1.1150051063515776,1.2432363871900929) \psline[linewidth=1.2pt,linecolor=ccqqqq](1.1150051063515776,1.2432363871900929)(1.1300051397299575,1.276911615816121) \psline[linewidth=1.2pt,linecolor=ccqqqq](1.1300051397299575,1.276911615816121)(1.1450051731083375,1.3110368464448539) \psline[linewidth=1.2pt,linecolor=ccqqqq](1.1450051731083375,1.3110368464448539)(1.1600052064867175,1.345612079076292) \psline[linewidth=1.2pt,linecolor=ccqqqq](1.1600052064867175,1.345612079076292)(1.1750052398650974,1.380637313710435) \psline[linewidth=1.2pt,linecolor=ccqqqq](1.1750052398650974,1.380637313710435)(1.1900052732434774,1.4161125503472833) \psline[linewidth=1.2pt,linecolor=ccqqqq](1.1900052732434774,1.4161125503472833)(1.2050053066218573,1.4520377889868363) \psline[linewidth=1.2pt,linecolor=ccqqqq](1.2050053066218573,1.4520377889868363)(1.2200053400002373,1.4884130296290947) \psline[linewidth=1.2pt,linecolor=ccqqqq](1.2200053400002373,1.4884130296290947)(1.2350053733786173,1.5252382722740578) \psline[linewidth=1.2pt,linecolor=ccqqqq](1.2350053733786173,1.5252382722740578)(1.2500054067569972,1.5625135169217261) \psline[linewidth=1.2pt,linecolor=ccqqqq](1.2500054067569972,1.5625135169217261)(1.2650054401353772,1.6002387635720994) \psline[linewidth=1.2pt,linecolor=ccqqqq](1.2650054401353772,1.6002387635720994)(1.2800054735137572,1.6384140122251776) \psline[linewidth=1.2pt,linecolor=ccqqqq](1.2800054735137572,1.6384140122251776)(1.2950055068921371,1.677039262880961) \psline[linewidth=1.2pt,linecolor=ccqqqq](1.2950055068921371,1.677039262880961)(1.310005540270517,1.7161145155394493) \psline[linewidth=1.2pt,linecolor=ccqqqq](1.310005540270517,1.7161145155394493)(1.325005573648897,1.7556397702006428) \psline[linewidth=1.2pt,linecolor=ccqqqq](1.325005573648897,1.7556397702006428)(1.340005607027277,1.7956150268645412) \psline[linewidth=1.2pt,linecolor=ccqqqq](1.340005607027277,1.7956150268645412)(1.355005640405657,1.8360402855311446) \psline[linewidth=1.2pt,linecolor=ccqqqq](1.355005640405657,1.8360402855311446)(1.370005673784037,1.876915546200453) \psline[linewidth=1.2pt,linecolor=ccqqqq](1.370005673784037,1.876915546200453)(1.3850057071624169,1.9182408088724665) \psline[linewidth=1.2pt,linecolor=ccqqqq](1.3850057071624169,1.9182408088724665)(1.4000057405407969,1.960016073547185) \psline[linewidth=1.2pt,linecolor=ccqqqq](1.4000057405407969,1.960016073547185)(1.4150057739191768,2.0022413402246086) \psline[linewidth=1.2pt,linecolor=ccqqqq](1.4150057739191768,2.0022413402246086)(1.4300058072975568,2.044916608904737) \psline[linewidth=1.2pt,linecolor=ccqqqq](1.4300058072975568,2.044916608904737)(1.4450058406759367,2.088041879587571) \psline[linewidth=1.2pt,linecolor=ccqqqq](1.4450058406759367,2.088041879587571)(1.4600058740543167,2.131617152273109) \psline[linewidth=1.2pt,linecolor=ccqqqq](1.4600058740543167,2.131617152273109)(1.4750059074326967,2.175642426961353) \psline[linewidth=1.2pt,linecolor=ccqqqq](1.4750059074326967,2.175642426961353)(1.4900059408110766,2.2201177036523014) \psline[linewidth=1.2pt,linecolor=ccqqqq](1.4900059408110766,2.2201177036523014)(1.5050059741894566,2.2650429823459555) \psline[linewidth=1.2pt,linecolor=ccqqqq](1.5050059741894566,2.2650429823459555)(1.5200060075678365,2.310418263042314) \psline[linewidth=1.2pt,linecolor=ccqqqq](1.5200060075678365,2.310418263042314)(1.5350060409462165,2.3562435457413775) \psline[linewidth=1.2pt,linecolor=ccqqqq](1.5350060409462165,2.3562435457413775)(1.5500060743245965,2.4025188304431464) \psline[linewidth=1.2pt,linecolor=ccqqqq](1.5500060743245965,2.4025188304431464)(1.5650061077029764,2.4492441171476202) \psline[linewidth=1.2pt,linecolor=ccqqqq](1.5650061077029764,2.4492441171476202)(1.5800061410813564,2.496419405854799) \psline[linewidth=1.2pt,linecolor=ccqqqq](1.5800061410813564,2.496419405854799)(1.5950061744597364,2.544044696564683) \psline[linewidth=1.2pt,linecolor=ccqqqq](1.5950061744597364,2.544044696564683)(1.6100062078381163,2.592119989277272) \psline[linewidth=1.2pt,linecolor=ccqqqq](1.6100062078381163,2.592119989277272)(1.6250062412164963,2.6406452839925656) \psline[linewidth=1.2pt,linecolor=ccqqqq](1.6250062412164963,2.6406452839925656)(1.6400062745948762,2.6896205807105646) \psline[linewidth=1.2pt,linecolor=ccqqqq](1.6400062745948762,2.6896205807105646)(1.6550063079732562,2.7390458794312686) \psline[linewidth=1.2pt,linecolor=ccqqqq](1.6550063079732562,2.7390458794312686)(1.6700063413516362,2.7889211801546776) \psline[linewidth=1.2pt,linecolor=ccqqqq](1.6700063413516362,2.7889211801546776)(1.6850063747300161,2.8392464828807915) \psline[linewidth=1.2pt,linecolor=ccqqqq](1.6850063747300161,2.8392464828807915)(1.700006408108396,2.8900217876096104) \psline[linewidth=1.2pt,linecolor=ccqqqq](1.700006408108396,2.8900217876096104)(1.715006441486776,2.9412470943411346) \psline[linewidth=1.2pt,linecolor=ccqqqq](1.715006441486776,2.9412470943411346)(1.730006474865156,2.992922403075364) \psline[linewidth=1.2pt,linecolor=ccqqqq](1.730006474865156,2.992922403075364)(1.745006508243536,3.045047713812298) \psline[linewidth=1.2pt,linecolor=ccqqqq](1.745006508243536,3.045047713812298)(1.760006541621916,3.097623026551937) \psline[linewidth=1.2pt,linecolor=ccqqqq](1.760006541621916,3.097623026551937)(1.775006575000296,3.150648341294281) \psline[linewidth=1.2pt,linecolor=ccqqqq](1.775006575000296,3.150648341294281)(1.7900066083786759,3.20412365803933) \psline[linewidth=1.2pt,linecolor=ccqqqq](1.7900066083786759,3.20412365803933)(1.8050066417570558,3.2580489767870846) \psline[linewidth=1.2pt,linecolor=ccqqqq](1.8050066417570558,3.2580489767870846)(1.8200066751354358,3.3124242975375435) \psline[linewidth=1.2pt,linecolor=ccqqqq](1.8200066751354358,3.3124242975375435)(1.8350067085138158,3.367249620290708) \psline[linewidth=1.2pt,linecolor=ccqqqq](1.8350067085138158,3.367249620290708)(1.8500067418921957,3.422524945046577) \psline[linewidth=1.2pt,linecolor=ccqqqq](1.8500067418921957,3.422524945046577)(1.8650067752705757,3.478250271805152) \psline[linewidth=1.2pt,linecolor=ccqqqq](1.8650067752705757,3.478250271805152)(1.8800068086489556,3.534425600566431) \psline[linewidth=1.2pt,linecolor=ccqqqq](1.8800068086489556,3.534425600566431)(1.8950068420273356,3.591050931330415) \psline[linewidth=1.2pt,linecolor=ccqqqq](1.8950068420273356,3.591050931330415)(1.9100068754057156,3.6481262640971046) \psline[linewidth=1.2pt,linecolor=ccqqqq](1.9100068754057156,3.6481262640971046)(1.9250069087840955,3.705651598866499) \psline[linewidth=1.2pt,linecolor=ccqqqq](1.9250069087840955,3.705651598866499)(1.9400069421624755,3.7636269356385985) \psline[linewidth=1.2pt,linecolor=ccqqqq](1.9400069421624755,3.7636269356385985)(1.9550069755408555,3.822052274413403) \psline[linewidth=1.2pt,linecolor=ccqqqq](1.9550069755408555,3.822052274413403)(1.9700070089192354,3.8809276151909127) \psline[linewidth=1.2pt,linecolor=ccqqqq](1.9700070089192354,3.8809276151909127)(1.9850070422976154,3.940252957971127) \begin{scriptsize} \rput[bl](0.5,0.96){{$f$}} \psdots[dotstyle=*,linecolor=vermelho](-1.,1.) \psdots[dotstyle=*,linecolor=vermelho](0.,0.) \psdots[dotstyle=*,linecolor=vermelho](2.,4.) \end{scriptsize} \end{pspicture*}} \newrgbcolor{ccqqqq}{0.8 0. 0.} \psset{xunit=0.7cm,yunit=0.7cm,algebraic=true,dimen=middle,dotstyle=o,dotsize=3pt 0,linewidth=0.8pt,arrowsize=3pt 2,arrowinset=0.25} \scalebox{0.6}{\begin{pspicture*}(-1.7,-1.)(2.7,5.) \psaxes[labelFontSize=\scriptstyle,xAxis=true,yAxis=true,labels=none,Dx=1.,Dy=1.,ticksize=-2pt 0,subticks=2]{->}(0,0)(-1.7,-1.)(2.7,5.) \psline[linewidth=1.2pt,linecolor=ccqqqq](-0.9999996000000083,0.9999992000001766)(-0.9999996000000083,0.9999992000001766) \psline[linewidth=1.2pt,linecolor=ccqqqq](-0.9999996000000083,0.9999992000001766)(-0.9849995666216282,0.9702241462447955) \psline[linewidth=1.2pt,linecolor=ccqqqq](-0.9849995666216282,0.9702241462447955)(-0.9699995332432482,0.9408990944921193) \psline[linewidth=1.2pt,linecolor=ccqqqq](-0.9699995332432482,0.9408990944921193)(-0.9549994998648681,0.9120240447421482) \psline[linewidth=1.2pt,linecolor=ccqqqq](-0.9549994998648681,0.9120240447421482)(-0.939999466486488,0.8835989969948821) \psline[linewidth=1.2pt,linecolor=ccqqqq](-0.939999466486488,0.8835989969948821)(-0.924999433108108,0.8556239512503211) \psline[linewidth=1.2pt,linecolor=ccqqqq](-0.924999433108108,0.8556239512503211)(-0.9099993997297279,0.828098907508465) \psline[linewidth=1.2pt,linecolor=ccqqqq](-0.9099993997297279,0.828098907508465)(-0.8949993663513478,0.8010238657693141) \psline[linewidth=1.2pt,linecolor=ccqqqq](-0.8949993663513478,0.8010238657693141)(-0.8799993329729677,0.7743988260328681) \psline[linewidth=1.2pt,linecolor=ccqqqq](-0.8799993329729677,0.7743988260328681)(-0.8649992995945877,0.7482237882991272) \psline[linewidth=1.2pt,linecolor=ccqqqq](-0.8649992995945877,0.7482237882991272)(-0.8499992662162076,0.7224987525680914) \psline[linewidth=1.2pt,linecolor=ccqqqq](-0.8499992662162076,0.7224987525680914)(-0.8349992328378275,0.6972237188397605) \psline[linewidth=1.2pt,linecolor=ccqqqq](-0.8349992328378275,0.6972237188397605)(-0.8199991994594474,0.6723986871141346) \psline[linewidth=1.2pt,linecolor=ccqqqq](-0.8199991994594474,0.6723986871141346)(-0.8049991660810674,0.6480236573912139) \psline[linewidth=1.2pt,linecolor=ccqqqq](-0.8049991660810674,0.6480236573912139)(-0.7899991327026873,0.6240986296709982) \psline[linewidth=1.2pt,linecolor=ccqqqq](-0.7899991327026873,0.6240986296709982)(-0.7749990993243072,0.6006236039534874) \psline[linewidth=1.2pt,linecolor=ccqqqq](-0.7749990993243072,0.6006236039534874)(-0.7599990659459271,0.5775985802386817) \psline[linewidth=1.2pt,linecolor=ccqqqq](-0.7599990659459271,0.5775985802386817)(-0.7449990325675471,0.555023558526581) \psline[linewidth=1.2pt,linecolor=ccqqqq](-0.7449990325675471,0.555023558526581)(-0.729998999189167,0.5328985388171854) \psline[linewidth=1.2pt,linecolor=ccqqqq](-0.729998999189167,0.5328985388171854)(-0.7149989658107869,0.5112235211104948) \psline[linewidth=1.2pt,linecolor=ccqqqq](-0.7149989658107869,0.5112235211104948)(-0.6999989324324069,0.4899985054065093) \psline[linewidth=1.2pt,linecolor=ccqqqq](-0.6999989324324069,0.4899985054065093)(-0.6849988990540268,0.46922349170522876) \psline[linewidth=1.2pt,linecolor=ccqqqq](-0.6849988990540268,0.46922349170522876)(-0.6699988656756467,0.4488984800066533) \psline[linewidth=1.2pt,linecolor=ccqqqq](-0.6699988656756467,0.4488984800066533)(-0.6549988322972666,0.4290234703107828) \psline[linewidth=1.2pt,linecolor=ccqqqq](-0.6549988322972666,0.4290234703107828)(-0.6399987989188866,0.4095984626176174) \psline[linewidth=1.2pt,linecolor=ccqqqq](-0.6399987989188866,0.4095984626176174)(-0.6249987655405065,0.390623456927157) \psline[linewidth=1.2pt,linecolor=ccqqqq](-0.6249987655405065,0.390623456927157)(-0.6099987321621264,0.37209845323940166) \psline[linewidth=1.2pt,linecolor=ccqqqq](-0.6099987321621264,0.37209845323940166)(-0.5949986987837463,0.35402345155435133) \psline[linewidth=1.2pt,linecolor=ccqqqq](-0.5949986987837463,0.35402345155435133)(-0.5799986654053663,0.336398451872006) \psline[linewidth=1.2pt,linecolor=ccqqqq](-0.5799986654053663,0.336398451872006)(-0.5649986320269862,0.31922345419236575) \psline[linewidth=1.2pt,linecolor=ccqqqq](-0.5649986320269862,0.31922345419236575)(-0.5499985986486061,0.3024984585154305) \psline[linewidth=1.2pt,linecolor=ccqqqq](-0.5499985986486061,0.3024984585154305)(-0.534998565270226,0.2862234648412003) \psline[linewidth=1.2pt,linecolor=ccqqqq](-0.534998565270226,0.2862234648412003)(-0.519998531891846,0.27039847316967514) \psline[linewidth=1.2pt,linecolor=ccqqqq](-0.519998531891846,0.27039847316967514)(-0.5049984985134659,0.255023483500855) \psline[linewidth=1.2pt,linecolor=ccqqqq](-0.5049984985134659,0.255023483500855)(-0.4899984651350859,0.24009849583473997) \psline[linewidth=1.2pt,linecolor=ccqqqq](-0.4899984651350859,0.24009849583473997)(-0.47499843175670586,0.22562351017132995) \psline[linewidth=1.2pt,linecolor=ccqqqq](-0.47499843175670586,0.22562351017132995)(-0.45999839837832585,0.21159852651062497) \psline[linewidth=1.2pt,linecolor=ccqqqq](-0.45999839837832585,0.21159852651062497)(-0.44499836499994583,0.19802354485262502) \psline[linewidth=1.2pt,linecolor=ccqqqq](-0.44499836499994583,0.19802354485262502)(-0.4299983316215658,0.18489856519733008) \psline[linewidth=1.2pt,linecolor=ccqqqq](-0.4299983316215658,0.18489856519733008)(-0.4149982982431858,0.17222358754474018) \psline[linewidth=1.2pt,linecolor=ccqqqq](-0.4149982982431858,0.17222358754474018)(-0.3999982648648058,0.1599986118948553) \psline[linewidth=1.2pt,linecolor=ccqqqq](-0.3999982648648058,0.1599986118948553)(-0.38499823148642576,0.14822363824767548) \psline[linewidth=1.2pt,linecolor=ccqqqq](-0.38499823148642576,0.14822363824767548)(-0.36999819810804574,0.13689866660320066) \psline[linewidth=1.2pt,linecolor=ccqqqq](-0.36999819810804574,0.13689866660320066)(-0.3549981647296657,0.12602369696143087) \psline[linewidth=1.2pt,linecolor=ccqqqq](-0.3549981647296657,0.12602369696143087)(-0.3399981313512857,0.11559872932236613) \psline[linewidth=1.2pt,linecolor=ccqqqq](-0.3399981313512857,0.11559872932236613)(-0.3249980979729057,0.1056237636860064) \psline[linewidth=1.2pt,linecolor=ccqqqq](-0.3249980979729057,0.1056237636860064)(-0.30999806459452567,0.0960988000523517) \psline[linewidth=1.2pt,linecolor=ccqqqq](-0.30999806459452567,0.0960988000523517)(-0.29499803121614565,0.08702383842140204) \psline[linewidth=1.2pt,linecolor=ccqqqq](-0.29499803121614565,0.08702383842140204)(-0.27999799783776563,0.0783988787931574) \psline[linewidth=1.2pt,linecolor=ccqqqq](-0.27999799783776563,0.0783988787931574)(-0.2649979644593856,0.0702239211676178) \psline[linewidth=1.2pt,linecolor=ccqqqq](-0.2649979644593856,0.0702239211676178)(-0.2499979310810056,0.06249896554478322) \psline[linewidth=1.2pt,linecolor=ccqqqq](-0.2499979310810056,0.06249896554478322)(-0.23499789770262558,0.055224011924653676) \psline[linewidth=1.2pt,linecolor=ccqqqq](-0.23499789770262558,0.055224011924653676)(-0.21999786432424556,0.04839906030722916) \psline[linewidth=1.2pt,linecolor=ccqqqq](-0.21999786432424556,0.04839906030722916)(-0.20499783094586554,0.04202411069250967) \psline[linewidth=1.2pt,linecolor=ccqqqq](-0.20499783094586554,0.04202411069250967)(-0.18999779756748553,0.03609916308049521) \psline[linewidth=1.2pt,linecolor=ccqqqq](-0.18999779756748553,0.03609916308049521)(-0.1749977641891055,0.03062421747118578) \psline[linewidth=1.2pt,linecolor=ccqqqq](-0.1749977641891055,0.03062421747118578)(-0.1599977308107255,0.025599273864581377) \psline[linewidth=1.2pt,linecolor=ccqqqq](-0.1599977308107255,0.025599273864581377)(-0.14499769743234547,0.021024332260682004) \psline[linewidth=1.2pt,linecolor=ccqqqq](-0.14499769743234547,0.021024332260682004)(-0.12999766405396546,0.01689939265948766) \psline[linewidth=1.2pt,linecolor=ccqqqq](-0.12999766405396546,0.01689939265948766)(-0.11499763067558544,0.013224455060998348) \psline[linewidth=1.2pt,linecolor=ccqqqq](-0.11499763067558544,0.013224455060998348)(-0.09999759729720542,0.009999519465214065) \psline[linewidth=1.2pt,linecolor=ccqqqq](-0.09999759729720542,0.009999519465214065)(-0.0849975639188254,0.00722458587213481) \psline[linewidth=1.2pt,linecolor=ccqqqq](-0.0849975639188254,0.00722458587213481)(-0.06999753054044539,0.004899654281760584) \psline[linewidth=1.2pt,linecolor=ccqqqq](-0.06999753054044539,0.004899654281760584)(-0.05499749716206536,0.0030247246940913876) \psline[linewidth=1.2pt,linecolor=ccqqqq](-0.05499749716206536,0.0030247246940913876)(-0.039997463783685336,0.00159979710912722) \psline[linewidth=1.2pt,linecolor=ccqqqq](-0.039997463783685336,0.00159979710912722)(-0.02499743040530531,0.0) \psline[linewidth=1.2pt,linecolor=ccqqqq](-0.02499743040530531,0.0)(-0.009997397026925288,0.0) \psline[linewidth=1.2pt,linecolor=ccqqqq](-0.009997397026925288,0.0)(0.005002636351454735,0.0) \psline[linewidth=1.2pt,linecolor=ccqqqq](0.005002636351454735,0.0)(0.020002669729834756,0.0) \psline[linewidth=1.2pt,linecolor=ccqqqq](0.020002669729834756,0.0)(0.03500270310821478,0.0012251892248818287) \psline[linewidth=1.2pt,linecolor=ccqqqq](0.03500270310821478,0.0012251892248818287)(0.050002736486594805,0.0025002736561478395) \psline[linewidth=1.2pt,linecolor=ccqqqq](0.050002736486594805,0.0025002736561478395)(0.06500276986497483,0.004225360090118879) \psline[linewidth=1.2pt,linecolor=ccqqqq](0.06500276986497483,0.004225360090118879)(0.08000280324335485,0.006400448526794949) \psline[linewidth=1.2pt,linecolor=ccqqqq](0.08000280324335485,0.006400448526794949)(0.09500283662173487,0.009025538966176047) \psline[linewidth=1.2pt,linecolor=ccqqqq](0.09500283662173487,0.009025538966176047)(0.11000287000011488,0.012100631408262175) \psline[linewidth=1.2pt,linecolor=ccqqqq](0.11000287000011488,0.012100631408262175)(0.1250029033784949,0.015625725853053333) \psline[linewidth=1.2pt,linecolor=ccqqqq](0.1250029033784949,0.015625725853053333)(0.14000293675687492,0.01960082230054952) \psline[linewidth=1.2pt,linecolor=ccqqqq](0.14000293675687492,0.01960082230054952)(0.15500297013525494,0.024025920750750735) \psline[linewidth=1.2pt,linecolor=ccqqqq](0.15500297013525494,0.024025920750750735)(0.17000300351363495,0.02890102120365698) \psline[linewidth=1.2pt,linecolor=ccqqqq](0.17000300351363495,0.02890102120365698)(0.18500303689201497,0.034226123659268255) \psline[linewidth=1.2pt,linecolor=ccqqqq](0.18500303689201497,0.034226123659268255)(0.200003070270395,0.04000122811758455) \psline[linewidth=1.2pt,linecolor=ccqqqq](0.200003070270395,0.04000122811758455)(0.215003103648775,0.046226334578605886) \psline[linewidth=1.2pt,linecolor=ccqqqq](0.215003103648775,0.046226334578605886)(0.23000313702715502,0.05290144304233225) \psline[linewidth=1.2pt,linecolor=ccqqqq](0.23000313702715502,0.05290144304233225)(0.24500317040553504,0.06002655350876364) \psline[linewidth=1.2pt,linecolor=ccqqqq](0.24500317040553504,0.06002655350876364)(0.26000320378391506,0.06760166597790006) \psline[linewidth=1.2pt,linecolor=ccqqqq](0.26000320378391506,0.06760166597790006)(0.2750032371622951,0.07562678044974151) \psline[linewidth=1.2pt,linecolor=ccqqqq](0.2750032371622951,0.07562678044974151)(0.2900032705406751,0.08410189692428799) \psline[linewidth=1.2pt,linecolor=ccqqqq](0.2900032705406751,0.08410189692428799)(0.3050033039190551,0.0930270154015395) \psline[linewidth=1.2pt,linecolor=ccqqqq](0.3050033039190551,0.0930270154015395)(0.32000333729743513,0.10240213588149603) \psline[linewidth=1.2pt,linecolor=ccqqqq](0.32000333729743513,0.10240213588149603)(0.33500337067581515,0.1122272583641576) \psline[linewidth=1.2pt,linecolor=ccqqqq](0.33500337067581515,0.1122272583641576)(0.35000340405419517,0.12250238284952421) \psline[linewidth=1.2pt,linecolor=ccqqqq](0.35000340405419517,0.12250238284952421)(0.3650034374325752,0.13322750933759583) \psline[linewidth=1.2pt,linecolor=ccqqqq](0.3650034374325752,0.13322750933759583)(0.3800034708109552,0.14440263782837248) \psline[linewidth=1.2pt,linecolor=ccqqqq](0.3800034708109552,0.14440263782837248)(0.3950035041893352,0.15602776832185417) \psline[linewidth=1.2pt,linecolor=ccqqqq](0.3950035041893352,0.15602776832185417)(0.41000353756771524,0.16810290081804088) \psline[linewidth=1.2pt,linecolor=ccqqqq](0.41000353756771524,0.16810290081804088)(0.42500357094609525,0.1806280353169326) \psline[linewidth=1.2pt,linecolor=ccqqqq](0.42500357094609525,0.1806280353169326)(0.4400036043244753,0.1936031718185294) \psline[linewidth=1.2pt,linecolor=ccqqqq](0.4400036043244753,0.1936031718185294)(0.4550036377028553,0.2070283103228312) \psline[linewidth=1.2pt,linecolor=ccqqqq](0.4550036377028553,0.2070283103228312)(0.4700036710812353,0.22090345082983803) \psline[linewidth=1.2pt,linecolor=ccqqqq](0.4700036710812353,0.22090345082983803)(0.4850037044596153,0.23522859333954987) \psline[linewidth=1.2pt,linecolor=ccqqqq](0.4850037044596153,0.23522859333954987)(0.5000037378379953,0.2500037378519668) \psline[linewidth=1.2pt,linecolor=ccqqqq](0.5000037378379953,0.2500037378519668)(0.5150037712163754,0.26522888436708875) \psline[linewidth=1.2pt,linecolor=ccqqqq](0.5150037712163754,0.26522888436708875)(0.5300038045947555,0.2809040328849158) \psline[linewidth=1.2pt,linecolor=ccqqqq](0.5300038045947555,0.2809040328849158)(0.5450038379731356,0.2970291834054478) \psline[linewidth=1.2pt,linecolor=ccqqqq](0.5450038379731356,0.2970291834054478)(0.5600038713515156,0.31360433592868486) \psline[linewidth=1.2pt,linecolor=ccqqqq](0.5600038713515156,0.31360433592868486)(0.5750039047298957,0.330629490454627) \psline[linewidth=1.2pt,linecolor=ccqqqq](0.5750039047298957,0.330629490454627)(0.5900039381082758,0.34810464698327415) \psline[linewidth=1.2pt,linecolor=ccqqqq](0.5900039381082758,0.34810464698327415)(0.6050039714866559,0.36602980551462627) \psline[linewidth=1.2pt,linecolor=ccqqqq](0.6050039714866559,0.36602980551462627)(0.6200040048650359,0.3844049660486835) \psline[linewidth=1.2pt,linecolor=ccqqqq](0.6200040048650359,0.3844049660486835)(0.635004038243416,0.4032301285854457) \psline[linewidth=1.2pt,linecolor=ccqqqq](0.635004038243416,0.4032301285854457)(0.6500040716217961,0.42250529312491303) \psline[linewidth=1.2pt,linecolor=ccqqqq](0.6500040716217961,0.42250529312491303)(0.6650041050001761,0.4422304596670853) \psline[linewidth=1.2pt,linecolor=ccqqqq](0.6650041050001761,0.4422304596670853)(0.6800041383785562,0.4624056282119626) \psline[linewidth=1.2pt,linecolor=ccqqqq](0.6800041383785562,0.4624056282119626)(0.6950041717569363,0.483030798759545) \psline[linewidth=1.2pt,linecolor=ccqqqq](0.6950041717569363,0.483030798759545)(0.7100042051353164,0.5041059713098324) \psline[linewidth=1.2pt,linecolor=ccqqqq](0.7100042051353164,0.5041059713098324)(0.7250042385136964,0.5256311458628249) \psline[linewidth=1.2pt,linecolor=ccqqqq](0.7250042385136964,0.5256311458628249)(0.7400042718920765,0.5476063224185223) \psline[linewidth=1.2pt,linecolor=ccqqqq](0.7400042718920765,0.5476063224185223)(0.7550043052704566,0.5700315009769248) \psline[linewidth=1.2pt,linecolor=ccqqqq](0.7550043052704566,0.5700315009769248)(0.7700043386488367,0.5929066815380324) \psline[linewidth=1.2pt,linecolor=ccqqqq](0.7700043386488367,0.5929066815380324)(0.7850043720272167,0.6162318641018449) \psline[linewidth=1.2pt,linecolor=ccqqqq](0.7850043720272167,0.6162318641018449)(0.8000044054055968,0.6400070486683624) \psline[linewidth=1.2pt,linecolor=ccqqqq](0.8000044054055968,0.6400070486683624)(0.8150044387839769,0.6642322352375851) \psline[linewidth=1.2pt,linecolor=ccqqqq](0.8150044387839769,0.6642322352375851)(0.830004472162357,0.6889074238095128) \psline[linewidth=1.2pt,linecolor=ccqqqq](0.830004472162357,0.6889074238095128)(0.845004505540737,0.7140326143841454) \psline[linewidth=1.2pt,linecolor=ccqqqq](0.845004505540737,0.7140326143841454)(0.8600045389191171,0.7396078069614832) \psline[linewidth=1.2pt,linecolor=ccqqqq](0.8600045389191171,0.7396078069614832)(0.8750045722974972,0.7656330015415259) \psline[linewidth=1.2pt,linecolor=ccqqqq](0.8750045722974972,0.7656330015415259)(0.8900046056758772,0.7921081981242738) \psline[linewidth=1.2pt,linecolor=ccqqqq](0.8900046056758772,0.7921081981242738)(0.9050046390542573,0.8190333967097265) \psline[linewidth=1.2pt,linecolor=ccqqqq](0.9050046390542573,0.8190333967097265)(0.9200046724326374,0.8464085972978844) \psline[linewidth=1.2pt,linecolor=ccqqqq](0.9200046724326374,0.8464085972978844)(0.9350047058110175,0.8742337998887473) \psline[linewidth=1.2pt,linecolor=ccqqqq](0.9350047058110175,0.8742337998887473)(0.9500047391893975,0.9025090044823152) \psline[linewidth=1.2pt,linecolor=ccqqqq](0.9500047391893975,0.9025090044823152)(0.9650047725677776,0.9312342110785882) \psline[linewidth=1.2pt,linecolor=ccqqqq](0.9650047725677776,0.9312342110785882)(0.9800048059461577,0.9604094196775662) \psline[linewidth=1.2pt,linecolor=ccqqqq](0.9800048059461577,0.9604094196775662)(0.9950048393245378,0.9900346302792492) \psline[linewidth=1.2pt,linecolor=ccqqqq](0.9950048393245378,0.9900346302792492)(1.0100048727029178,1.0201098428836373) \psline[linewidth=1.2pt,linecolor=ccqqqq](1.0100048727029178,1.0201098428836373)(1.0250049060812978,1.0506350574907302) \psline[linewidth=1.2pt,linecolor=ccqqqq](1.0250049060812978,1.0506350574907302)(1.0400049394596778,1.081610274100528) \psline[linewidth=1.2pt,linecolor=ccqqqq](1.0400049394596778,1.081610274100528)(1.0550049728380577,1.1130354927130308) \psline[linewidth=1.2pt,linecolor=ccqqqq](1.0550049728380577,1.1130354927130308)(1.0700050062164377,1.1449107133282388) \psline[linewidth=1.2pt,linecolor=ccqqqq](1.0700050062164377,1.1449107133282388)(1.0850050395948176,1.1772359359461517) \psline[linewidth=1.2pt,linecolor=ccqqqq](1.0850050395948176,1.1772359359461517)(1.1000050729731976,1.2100111605667698) \psline[linewidth=1.2pt,linecolor=ccqqqq](1.1000050729731976,1.2100111605667698)(1.1150051063515776,1.2432363871900929) \psline[linewidth=1.2pt,linecolor=ccqqqq](1.1150051063515776,1.2432363871900929)(1.1300051397299575,1.276911615816121) \psline[linewidth=1.2pt,linecolor=ccqqqq](1.1300051397299575,1.276911615816121)(1.1450051731083375,1.3110368464448539) \psline[linewidth=1.2pt,linecolor=ccqqqq](1.1450051731083375,1.3110368464448539)(1.1600052064867175,1.345612079076292) \psline[linewidth=1.2pt,linecolor=ccqqqq](1.1600052064867175,1.345612079076292)(1.1750052398650974,1.380637313710435) \psline[linewidth=1.2pt,linecolor=ccqqqq](1.1750052398650974,1.380637313710435)(1.1900052732434774,1.4161125503472833) \psline[linewidth=1.2pt,linecolor=ccqqqq](1.1900052732434774,1.4161125503472833)(1.2050053066218573,1.4520377889868363) \psline[linewidth=1.2pt,linecolor=ccqqqq](1.2050053066218573,1.4520377889868363)(1.2200053400002373,1.4884130296290947) \psline[linewidth=1.2pt,linecolor=ccqqqq](1.2200053400002373,1.4884130296290947)(1.2350053733786173,1.5252382722740578) \psline[linewidth=1.2pt,linecolor=ccqqqq](1.2350053733786173,1.5252382722740578)(1.2500054067569972,1.5625135169217261) \psline[linewidth=1.2pt,linecolor=ccqqqq](1.2500054067569972,1.5625135169217261)(1.2650054401353772,1.6002387635720994) \psline[linewidth=1.2pt,linecolor=ccqqqq](1.2650054401353772,1.6002387635720994)(1.2800054735137572,1.6384140122251776) \psline[linewidth=1.2pt,linecolor=ccqqqq](1.2800054735137572,1.6384140122251776)(1.2950055068921371,1.677039262880961) \psline[linewidth=1.2pt,linecolor=ccqqqq](1.2950055068921371,1.677039262880961)(1.310005540270517,1.7161145155394493) \psline[linewidth=1.2pt,linecolor=ccqqqq](1.310005540270517,1.7161145155394493)(1.325005573648897,1.7556397702006428) \psline[linewidth=1.2pt,linecolor=ccqqqq](1.325005573648897,1.7556397702006428)(1.340005607027277,1.7956150268645412) \psline[linewidth=1.2pt,linecolor=ccqqqq](1.340005607027277,1.7956150268645412)(1.355005640405657,1.8360402855311446) \psline[linewidth=1.2pt,linecolor=ccqqqq](1.355005640405657,1.8360402855311446)(1.370005673784037,1.876915546200453) \psline[linewidth=1.2pt,linecolor=ccqqqq](1.370005673784037,1.876915546200453)(1.3850057071624169,1.9182408088724665) \psline[linewidth=1.2pt,linecolor=ccqqqq](1.3850057071624169,1.9182408088724665)(1.4000057405407969,1.960016073547185) \psline[linewidth=1.2pt,linecolor=ccqqqq](1.4000057405407969,1.960016073547185)(1.4150057739191768,2.0022413402246086) \psline[linewidth=1.2pt,linecolor=ccqqqq](1.4150057739191768,2.0022413402246086)(1.4300058072975568,2.044916608904737) \psline[linewidth=1.2pt,linecolor=ccqqqq](1.4300058072975568,2.044916608904737)(1.4450058406759367,2.088041879587571) \psline[linewidth=1.2pt,linecolor=ccqqqq](1.4450058406759367,2.088041879587571)(1.4600058740543167,2.131617152273109) \psline[linewidth=1.2pt,linecolor=ccqqqq](1.4600058740543167,2.131617152273109)(1.4750059074326967,2.175642426961353) \psline[linewidth=1.2pt,linecolor=ccqqqq](1.4750059074326967,2.175642426961353)(1.4900059408110766,2.2201177036523014) \psline[linewidth=1.2pt,linecolor=ccqqqq](1.4900059408110766,2.2201177036523014)(1.5050059741894566,2.2650429823459555) \psline[linewidth=1.2pt,linecolor=ccqqqq](1.5050059741894566,2.2650429823459555)(1.5200060075678365,2.310418263042314) \psline[linewidth=1.2pt,linecolor=ccqqqq](1.5200060075678365,2.310418263042314)(1.5350060409462165,2.3562435457413775) \psline[linewidth=1.2pt,linecolor=ccqqqq](1.5350060409462165,2.3562435457413775)(1.5500060743245965,2.4025188304431464) \psline[linewidth=1.2pt,linecolor=ccqqqq](1.5500060743245965,2.4025188304431464)(1.5650061077029764,2.4492441171476202) \psline[linewidth=1.2pt,linecolor=ccqqqq](1.5650061077029764,2.4492441171476202)(1.5800061410813564,2.496419405854799) \psline[linewidth=1.2pt,linecolor=ccqqqq](1.5800061410813564,2.496419405854799)(1.5950061744597364,2.544044696564683) \psline[linewidth=1.2pt,linecolor=ccqqqq](1.5950061744597364,2.544044696564683)(1.6100062078381163,2.592119989277272) \psline[linewidth=1.2pt,linecolor=ccqqqq](1.6100062078381163,2.592119989277272)(1.6250062412164963,2.6406452839925656) \psline[linewidth=1.2pt,linecolor=ccqqqq](1.6250062412164963,2.6406452839925656)(1.6400062745948762,2.6896205807105646) \psline[linewidth=1.2pt,linecolor=ccqqqq](1.6400062745948762,2.6896205807105646)(1.6550063079732562,2.7390458794312686) \psline[linewidth=1.2pt,linecolor=ccqqqq](1.6550063079732562,2.7390458794312686)(1.6700063413516362,2.7889211801546776) \psline[linewidth=1.2pt,linecolor=ccqqqq](1.6700063413516362,2.7889211801546776)(1.6850063747300161,2.8392464828807915) \psline[linewidth=1.2pt,linecolor=ccqqqq](1.6850063747300161,2.8392464828807915)(1.700006408108396,2.8900217876096104) \psline[linewidth=1.2pt,linecolor=ccqqqq](1.700006408108396,2.8900217876096104)(1.715006441486776,2.9412470943411346) \psline[linewidth=1.2pt,linecolor=ccqqqq](1.715006441486776,2.9412470943411346)(1.730006474865156,2.992922403075364) \psline[linewidth=1.2pt,linecolor=ccqqqq](1.730006474865156,2.992922403075364)(1.745006508243536,3.045047713812298) \psline[linewidth=1.2pt,linecolor=ccqqqq](1.745006508243536,3.045047713812298)(1.760006541621916,3.097623026551937) \psline[linewidth=1.2pt,linecolor=ccqqqq](1.760006541621916,3.097623026551937)(1.775006575000296,3.150648341294281) \psline[linewidth=1.2pt,linecolor=ccqqqq](1.775006575000296,3.150648341294281)(1.7900066083786759,3.20412365803933) \psline[linewidth=1.2pt,linecolor=ccqqqq](1.7900066083786759,3.20412365803933)(1.8050066417570558,3.2580489767870846) \psline[linewidth=1.2pt,linecolor=ccqqqq](1.8050066417570558,3.2580489767870846)(1.8200066751354358,3.3124242975375435) \psline[linewidth=1.2pt,linecolor=ccqqqq](1.8200066751354358,3.3124242975375435)(1.8350067085138158,3.367249620290708) \psline[linewidth=1.2pt,linecolor=ccqqqq](1.8350067085138158,3.367249620290708)(1.8500067418921957,3.422524945046577) \psline[linewidth=1.2pt,linecolor=ccqqqq](1.8500067418921957,3.422524945046577)(1.8650067752705757,3.478250271805152) \psline[linewidth=1.2pt,linecolor=ccqqqq](1.8650067752705757,3.478250271805152)(1.8800068086489556,3.534425600566431) \psline[linewidth=1.2pt,linecolor=ccqqqq](1.8800068086489556,3.534425600566431)(1.8950068420273356,3.591050931330415) \psline[linewidth=1.2pt,linecolor=ccqqqq](1.8950068420273356,3.591050931330415)(1.9100068754057156,3.6481262640971046) \psline[linewidth=1.2pt,linecolor=ccqqqq](1.9100068754057156,3.6481262640971046)(1.9250069087840955,3.705651598866499) \psline[linewidth=1.2pt,linecolor=ccqqqq](1.9250069087840955,3.705651598866499)(1.9400069421624755,3.7636269356385985) \psline[linewidth=1.2pt,linecolor=ccqqqq](1.9400069421624755,3.7636269356385985)(1.9550069755408555,3.822052274413403) \psline[linewidth=1.2pt,linecolor=ccqqqq](1.9550069755408555,3.822052274413403)(1.9700070089192354,3.8809276151909127) \psline[linewidth=1.2pt,linecolor=ccqqqq](1.9700070089192354,3.8809276151909127)(1.9850070422976154,3.940252957971127) \begin{scriptsize} \rput[bl](0.5,0.96){\ccqqqq{$f$}} \psdots[linecolor=vermelho](-1.,1.) \psdots[dotstyle=*,linecolor=vermelho](0.,0.) \psdots[linecolor=vermelho](2.,4.) \end{scriptsize} \end{pspicture*}}

Figura 2. Gráficos de $x^2$ em $[-1,2]$ e $(-1,2)$

Resolução.

  1. Pelos gráficos da Figura 2, temos que o máximo de $x^2$ em $[-1,2]$ ocorre em $x=2$. O valor máximo que a função atinge é $f(2)=4$.

  2. Pelos gráficos da Figura 2, temos a função $x^2$ em $(-1,2)$ não possui máximo $x=2$. Um modo de ver isso é por redução ao absurdo. Suponha que tivesse um máximo em $a$, que podemos supor maior que $0$, se tomarmos valor $b$ entre $a$ e $2$ a função será maior em $b$, pois a função é crescente em $[0,2)$. O que levaria a um absurdo e logo a função não possui máximo. Porque esse argumento não funciona no item anterior?

Extremos Relativos

Definição 2.
Seja $I$ um intervalo e $f:I\to \bbR$ uma função.

  • Diremos que $x_0\in I$ é um ponto de máximo local de $f$, se existir $\delta>0$ tal que $f(x)\leq f(x_0)$, para todo $x\in(x_0-\delta, x_0+ \delta)\cap I$. Neste caso, diremos que $f(x_0)$ é um máximo local.

  • Diremos que $x_0\in I$ é um ponto de mínimo local de $f$, se existir $\delta>0$ tal que $f(x)\geq f(x_0)$, para todo $x\in(x_0-\delta, x_0+ \delta) \cap I$. Neste caso, diremos que $f(x_0)$ é mínimo local.

  • Um ponto $x_0\in I$ será dito um ponto extremo local, se $x_0$ for um ponto de máximo local ou um ponto de mínimo local.

\psset{algebraic,labelsep=2pt,xunit=1cm,yunit=.5cm} \begin{pspicture}(0,0)(5,3.5) \psaxes[labels=none,ticks=none,linewidth=.5pt,arrowscale=1.8]{->}(0,0)(0,0)(5,5) \psplot[linecolor=vermelho]{.5}{3.75}{x+sin(x^2)} \qdisk(1.4,2.33){1.3pt} \qdisk(2.12,1.15){1.3pt} \qdisk(2.83,3.8){1.3pt} \qdisk(3.3,2.3){1.3pt} \uput[u](1.4,2.33){\scalefont{.7}$(a,f(a))$} \uput[d](2.12,1.15){\scalefont{.7}$(b,f(b))$} \uput[u](2.83,3.8){\scalefont{.7}$(c,f(c))$} \uput[d](3.3,2.3){\scalefont{.7}$(d,f(d))$} \end{pspicture}

A função $f$ possui máximos relativos nos pontos $a$ e $c$ e mínimos relativos nos pontos $b$ e $d$. Observe que $f(d)>f(a)$, ou seja, o valor de uma função em um mínimo relativo pode ser maior que o valor num máximo relativo.

Teorema [Teorema de Fermat].
Se $f$ é uma função definida no intervalo aberto $(a,b)$ e $x$ é um ponto extremo de $f$ em $(a,b)$ então ou $f$ não é diferenciável em $x$ ou $f^{\prime}(x) = 0$.

Demonstração

Suponha que $f$ é diferenciável em $\displaystyle x_0$ e que $\displaystyle x_0$ é um máximo local (uma prova similar pode ser feita quando $ x_0$ é um mínimo local). Então $\exists \, \delta > 0 $ tal que $(x_0 - \delta,x_0 + \delta) \subset (a,b)$ e tal que $f(x_0) \ge f(x)\, \forall x$ para todo $x$ satisfazendo $ |x - x_0| < \delta $. Logo, para qualquer $h \in (0,\delta)$ temos que:

(1)
\[ \dfrac{f(x_0+h) - f(x_0)}{h} \le 0. \]

Tomando o limite $ h\to 0$ temos que $f'(x_0) \le 0$. Por outro lado para $h \in (-\delta,0)$ temos que

(2)
\[ \dfrac{f(x_0+h) - f(x_0)}{h} \ge 0 \]

Novamente, tomando o limite $ h\to 0$ temos que $f'(x_0) \ge 0$

Logo $ f'(x_0) = 0.$

Observação. A recíproca não é necessariamente verdadeira. Seja $f(x)=x^3$ que está definida em todo $x \in \mathbb{R}$. Logo $f^{\prime}(x)= 3 . x^2$. Portanto $f^{\prime}(0)= 0$. Porém $0$ não é um ponto nem de máximo nem de mínimo para a função $f$ em qualquer intervalo $(a,b)$ que contenha o $0$.

Definição 3.
O ponto $p \in \Dom f $ é um ponto crítico de $f$ se $f^{\prime}(p) = 0$ ou se a derivada de $f$ no ponto $p$ não existir. Neste caso, o valor $f(p)$ é chamado valor crítico da função $f$.

Note que é necessário que exista $f (p)$, a fim de $p$ ser um ponto crítico. Este é um ponto importante, e muitas vezes esquecido.

Exercício. Determine os pontos críticos da função $y=3x+2\cos (3x)$.

Resolução. A derivada é dada por

(3)
\[ y'=3-6\sin 3x \]

Os pontos críticos ocorrem quando

(4)
\[ \sin 3x=\frac{1}{2} \]

Ou seja, quando

(5)
\[ 3x=\frac{\pi }{6}+2 \pi k \quad 3x=\frac{5\pi }{6}+2 \pi k \quad k\in\bbZ \]

Ou seja quando

(6)
\[ x=\frac{\pi }{18}+\frac{2 \pi k}{3} \quad 3x=\frac{5\pi }{18}+\frac{2 \pi k}{3} \quad k\in\bbZ \]

Exercício. Determine os pontos críticos da função $g(x)=x-x^{1/3}$.

Resolução. Derivando temos que $g'(x)=1-1/3x^{-2/3}$. Ou seja, $g'(x)=1-\dfrac{1}{3\sqrt[3]{x^2}}$. Simplificando, temos:

(7)
\[ g'(x)=1-\frac{1}{3\sqrt[3]{x^2}}=\frac{3 \sqrt[3]{x^2}-1}{3 \sqrt[3]{x^2}} \]

e assim os pontos críticos são:

(8)
\[ x=-\frac{1}{3 \sqrt{3}} \text{ e } x=\frac{1}{3 \sqrt{3}} \]
\newrgbcolor{qqwuqq}{0. 0.39215686274509803 0.} \psset{xunit=0.8cm,yunit=1cm,algebraic=true,dimen=middle,dotstyle=o,dotsize=3pt 0,linewidth=0.8pt,arrowsize=3pt 2,arrowinset=0.25} \begin{pspicture*}(-2.7,-1.7)(2.6,1.7) \psaxes[labelFontSize=\scriptstyle,xAxis=true,yAxis=true,Dx=12.,Dy=12.,ticksize=-2pt 0,subticks=2]{->}(0,0)(-4.6,-2.7)(3.6,2.7) \psplot[linewidth=1.2pt,linecolor=vermelho,plotpoints=200]{-3.6}{3.6}{x-x/abs(x)*abs(x)^(1/3)} \begin{scriptsize} \rput[tl](-2.7,1.6){$f(x) \, = \,x - x^{\dfrac{1}{3}}$} \end{scriptsize} \end{pspicture*}

Exercício. Determine os pontos críticos da função $g(x)=\dfrac{x^2+1}{x^2-x-6}$.

Resolução.

Extremos em Intervalos Fechados

O Teorema de Weierstrass [de Weierstrass ou do Valor Extremo] afirma que uma função contínua em um intervalo fechado atinge valor máximo e um mínimo global, mas não diz como encontrar esses valores extremos. Notemos que o valor extremo ou ocorre num ponto crítico ou ocorre em um extremo do intervalo.

Teorema [de Weierstrass ou do Valor Extremo].
Se $f$ for contínua em $[a,b]$, então existirão $x_1,x_2\in [a,b]$ tais que

(9)
\[ f(x_1) \leq f(x) \leq f(x_2), \text{ para todo } x \in [a,b]. \]

Como consequência dos Teorema de Weierstrass e de Teorema de Fermat, temos

Teorema 3.
Se $f$ é continua no intervalo fechado e limitado $[a,b]$, então $f$ tem pontos de máximo e de mínimo em $[a,b]$. Mais ainda, os únicos possíveis pontos extremais da função $f$ são:

  1. pontos críticos de $f$;
  2. os extremos do intervalo fechado $[a,b]$, isto é $a$ ou $b$.
\begin{pspicture}(0,-1)(4,4.25) \psline[linewidth=.08cm](1.5,1)(3.3,1) \pscircle[fillstyle=solid,fillcolor=black](1.5,1){.1} \pscircle[fillstyle=solid,fillcolor=black](3.3,1){.1} \rput(1.5,.5){$a$} \rput(3.3,.5){$b$} \pscurve[linecolor=red]{*-*}(1.5,2)(2.2,4)(2.9,2.5)(3.3,3) \pscircle*(2.2,4){.08} \psline[linestyle=dotted](2.2,4)(2.2,1) \psline(2.2,.8)(2.2,1.2) \rput(2.2,.5){$x_0$} \psline{->}(.5,1)(4,1) \psline{->}(.75,.75)(.75,4.25) \psline(1.5,.8)(1.5,1.2) \psline(3.3,.8)(3.3,1.2) \rput(2,0){$x_0$ um máximo interior,} \rput(2,-.4){$f'(x_0)=0$.} \rput(2,-.8){ Sem pontos de minimo interior.} \end{pspicture} %%%%%%% Second Graph \begin{pspicture}(0,-1)(4,4.25) \psline[linewidth=.08cm](1.5,1)(3.3,1) \pscircle[fillstyle=solid,fillcolor=black](1.5,1){.1} \pscircle[fillstyle=solid,fillcolor=black](3.3,1){.1} \rput(1.5,.5){$a$} \rput(3.3,.5){$b$} \psline[linecolor=red]{*-*}(1.5,2)(2.2,4)(2.9,2.5)(3.3,3) \pscircle*(2.2,4){.08} \psline[linestyle=dotted](2.2,4)(2.2,1) \psline(2.2,.8)(2.2,1.2) \rput(2.2,.5){$x_0$} %%%Draw Axes Last \psline{->}(.5,1)(4,1) \psline{->}(.75,.75)(.75,4.25) \psline(1.5,.8)(1.5,1.2) \psline(3.3,.8)(3.3,1.2) \rput(2,0){$x_0$ um maximo interior,} \rput(2,-.4){$f'(x_0)$ não existe.} \rput(2,-.8){Sem pontos de minimo interior.} \end{pspicture}

Figura 3. Os extremos no interior do intervalo devem ocorrer nos pontos onde $f'$ é zero ou não existe.
\begin{pspicture}(0,-1)(4,4.25) \psline[linewidth=.08cm](1.5,1)(3.3,1) \pscircle[fillstyle=solid,fillcolor=black](1.5,1){.1} \pscircle[fillstyle=solid,fillcolor=black](3.3,1){.1} \rput(1.5,.5){$a$} \rput(3.3,.5){$b$} \pscurve[linecolor=red]{*-*}(1.5,4)(1.95,2.5)(2.4,3.3)(2.85,2.5)(3.3,4) \pscircle*(1.95,2.5){.08} \pscircle*(2.85,2.5){.08} \psline[linestyle=dotted](1.95,2.5)(1.95,1) \psline(1.95,.8)(1.95,1.2) \rput(1.95,.5){$x_1$} \psline[linestyle=dotted](2.85,2.5)(2.85,1) \psline(2.85,.8)(2.85,1.2) \rput(2.85,.5){$x_2$} %%Draw Axes Last \psline{->}(.5,1)(4,1) \psline{->}(.75,.75)(.75,4.25) \psline(1.5,.8)(1.5,1.2) \psline(3.3,.8)(3.3,1.2) \rput(2,0){$x_1,x_2$ minimos,} \rput(2,-.4){$f'(x_1),f(x_2)=0$.} \rput(2,-.8){Sem pontos de maximo interior.} \end{pspicture}

Exercício. Ache os extremos de $f(x)=3x^4-4x^3-8$ em $[-1,2]$.

\newrgbcolor{qqwuqq}{0. 0.39215686274509803 0.} \psset{xunit=0.8cm,yunit=0.2cm,algebraic=true,dimen=middle,dotstyle=o,dotsize=3pt 0,linewidth=0.8pt,arrowsize=3pt 2,arrowinset=0.25} \begin{pspicture*}(-2.2,-12.)(3.3,12.) \psaxes[labelFontSize=\scriptstyle,xAxis=true,yAxis=true,Dx=1.,Dy=10.,ticksize=-2pt 0,subticks=2]{->}(0,0)(-2.2,-12.)(3.3,12.) \psline[linewidth=1.2pt,linecolor=vermelho](-0.9999989999999884,-1.0000239999702778)(-0.9999989999999884,-1.0000239999702778) \psline[linewidth=1.2pt,linecolor=vermelho](-0.9999989999999884,-1.0000239999702778)(-0.9849989624883585,-1.3533278257755033) \psline[linewidth=1.2pt,linecolor=vermelho](-0.9849989624883585,-1.3533278257755033)(-0.9699989249767286,-1.6934534815762987) \psline[linewidth=1.2pt,linecolor=vermelho](-0.9699989249767286,-1.6934534815762987)(-0.9549988874650986,-2.020719502005731) \psline[linewidth=1.2pt,linecolor=vermelho](-0.9549988874650986,-2.020719502005731)(-0.9399988499534687,-2.3354407766604037) \psline[linewidth=1.2pt,linecolor=vermelho](-0.9399988499534687,-2.3354407766604037)(-0.9249988124418388,-2.637928550100459) \psline[linewidth=1.2pt,linecolor=vermelho](-0.9249988124418388,-2.637928550100459)(-0.9099987749302089,-2.92849042184958) \psline[linewidth=1.2pt,linecolor=vermelho](-0.9099987749302089,-2.92849042184958)(-0.8949987374185789,-3.207430346394985) \psline[linewidth=1.2pt,linecolor=vermelho](-0.8949987374185789,-3.207430346394985)(-0.879998699906949,-3.475048633187434) \psline[linewidth=1.2pt,linecolor=vermelho](-0.879998699906949,-3.475048633187434)(-0.8649986623953191,-3.731641946641224) \psline[linewidth=1.2pt,linecolor=vermelho](-0.8649986623953191,-3.731641946641224)(-0.8499986248836892,-3.9775033061341887) \psline[linewidth=1.2pt,linecolor=vermelho](-0.8499986248836892,-3.9775033061341887)(-0.8349985873720592,-4.212922086007704) \psline[linewidth=1.2pt,linecolor=vermelho](-0.8349985873720592,-4.212922086007704)(-0.8199985498604293,-4.438184015566681) \psline[linewidth=1.2pt,linecolor=vermelho](-0.8199985498604293,-4.438184015566681)(-0.8049985123487994,-4.653571179079574) \psline[linewidth=1.2pt,linecolor=vermelho](-0.8049985123487994,-4.653571179079574)(-0.7899984748371695,-4.85936201577837) \psline[linewidth=1.2pt,linecolor=vermelho](-0.7899984748371695,-4.85936201577837)(-0.7749984373255395,-5.055831319858598) \psline[linewidth=1.2pt,linecolor=vermelho](-0.7749984373255395,-5.055831319858598)(-0.7599983998139096,-5.243250240479326) \psline[linewidth=1.2pt,linecolor=vermelho](-0.7599983998139096,-5.243250240479326)(-0.7449983623022797,-5.421886281763159) \psline[linewidth=1.2pt,linecolor=vermelho](-0.7449983623022797,-5.421886281763159)(-0.7299983247906497,-5.592003302796241) \psline[linewidth=1.2pt,linecolor=vermelho](-0.7299983247906497,-5.592003302796241)(-0.7149982872790198,-5.753861517628254) \psline[linewidth=1.2pt,linecolor=vermelho](-0.7149982872790198,-5.753861517628254)(-0.6999982497673899,-5.90771749527242) \psline[linewidth=1.2pt,linecolor=vermelho](-0.6999982497673899,-5.90771749527242)(-0.68499821225576,-6.053824159705499) \psline[linewidth=1.2pt,linecolor=vermelho](-0.68499821225576,-6.053824159705499)(-0.66999817474413,-6.19243078986779) \psline[linewidth=1.2pt,linecolor=vermelho](-0.66999817474413,-6.19243078986779)(-0.6549981372325001,-6.323783019663128) \psline[linewidth=1.2pt,linecolor=vermelho](-0.6549981372325001,-6.323783019663128)(-0.6399980997208702,-6.448122837958889) \psline[linewidth=1.2pt,linecolor=vermelho](-0.6399980997208702,-6.448122837958889)(-0.6249980622092403,-6.565688588585988) \psline[linewidth=1.2pt,linecolor=vermelho](-0.6249980622092403,-6.565688588585988)(-0.6099980246976103,-6.676714970338876) \psline[linewidth=1.2pt,linecolor=vermelho](-0.6099980246976103,-6.676714970338876)(-0.5949979871859804,-6.781433036975546) \psline[linewidth=1.2pt,linecolor=vermelho](-0.5949979871859804,-6.781433036975546)(-0.5799979496743505,-6.880070197217526) \psline[linewidth=1.2pt,linecolor=vermelho](-0.5799979496743505,-6.880070197217526)(-0.5649979121627206,-6.972850214749885) \psline[linewidth=1.2pt,linecolor=vermelho](-0.5649979121627206,-6.972850214749885)(-0.5499978746510906,-7.05999320822123) \psline[linewidth=1.2pt,linecolor=vermelho](-0.5499978746510906,-7.05999320822123)(-0.5349978371394607,-7.1417156512437066) \psline[linewidth=1.2pt,linecolor=vermelho](-0.5349978371394607,-7.1417156512437066)(-0.5199977996278308,-7.2182303723929975) \psline[linewidth=1.2pt,linecolor=vermelho](-0.5199977996278308,-7.2182303723929975)(-0.5049977621162008,-7.2897465552083265) \psline[linewidth=1.2pt,linecolor=vermelho](-0.5049977621162008,-7.2897465552083265)(-0.4899977246045709,-7.3564697381924535) \psline[linewidth=1.2pt,linecolor=vermelho](-0.4899977246045709,-7.3564697381924535)(-0.474997687092941,-7.418601814811678) \psline[linewidth=1.2pt,linecolor=vermelho](-0.474997687092941,-7.418601814811678)(-0.45999764958131106,-7.4763410334958404) \psline[linewidth=1.2pt,linecolor=vermelho](-0.45999764958131106,-7.4763410334958404)(-0.44499761206968114,-7.529881997638316) \psline[linewidth=1.2pt,linecolor=vermelho](-0.44499761206968114,-7.529881997638316)(-0.4299975745580512,-7.579415665596018) \psline[linewidth=1.2pt,linecolor=vermelho](-0.4299975745580512,-7.579415665596018)(-0.4149975370464213,-7.625129350689403) \psline[linewidth=1.2pt,linecolor=vermelho](-0.4149975370464213,-7.625129350689403)(-0.39999749953479136,-7.667206721202463) \psline[linewidth=1.2pt,linecolor=vermelho](-0.39999749953479136,-7.667206721202463)(-0.38499746202316143,-7.705827800382728) \psline[linewidth=1.2pt,linecolor=vermelho](-0.38499746202316143,-7.705827800382728)(-0.3699974245115315,-7.741168966441268) \psline[linewidth=1.2pt,linecolor=vermelho](-0.3699974245115315,-7.741168966441268)(-0.3549973869999016,-7.773402952552692) \psline[linewidth=1.2pt,linecolor=vermelho](-0.3549973869999016,-7.773402952552692)(-0.33999734948827165,-7.802698846855145) \psline[linewidth=1.2pt,linecolor=vermelho](-0.33999734948827165,-7.802698846855145)(-0.3249973119766417,-7.829222092450312) \psline[linewidth=1.2pt,linecolor=vermelho](-0.3249973119766417,-7.829222092450312)(-0.3099972744650118,-7.853134487403419) \psline[linewidth=1.2pt,linecolor=vermelho](-0.3099972744650118,-7.853134487403419)(-0.29499723695338187,-7.874594184743226) \psline[linewidth=1.2pt,linecolor=vermelho](-0.29499723695338187,-7.874594184743226)(-0.27999719944175194,-7.893755692462035) \psline[linewidth=1.2pt,linecolor=vermelho](-0.27999719944175194,-7.893755692462035)(-0.264997161930122,-7.910769873515685) \psline[linewidth=1.2pt,linecolor=vermelho](-0.264997161930122,-7.910769873515685)(-0.2499971244184921,-7.925783945823555) \psline[linewidth=1.2pt,linecolor=vermelho](-0.2499971244184921,-7.925783945823555)(-0.23499708690686216,-7.938941482268559) \psline[linewidth=1.2pt,linecolor=vermelho](-0.23499708690686216,-7.938941482268559)(-0.21999704939523224,-7.950382410697156) \psline[linewidth=1.2pt,linecolor=vermelho](-0.21999704939523224,-7.950382410697156)(-0.2049970118836023,-7.960243013919336) \psline[linewidth=1.2pt,linecolor=vermelho](-0.2049970118836023,-7.960243013919336)(-0.18999697437197238,-7.968655929708633) \psline[linewidth=1.2pt,linecolor=vermelho](-0.18999697437197238,-7.968655929708633)(-0.17499693686034246,-7.975750150802117) \psline[linewidth=1.2pt,linecolor=vermelho](-0.17499693686034246,-7.975750150802117)(-0.15999689934871253,-7.9816510249003985) \psline[linewidth=1.2pt,linecolor=vermelho](-0.15999689934871253,-7.9816510249003985)(-0.1449968618370826,-7.986480254667625) \psline[linewidth=1.2pt,linecolor=vermelho](-0.1449968618370826,-7.986480254667625)(-0.12999682432545268,-7.990355897731482) \psline[linewidth=1.2pt,linecolor=vermelho](-0.12999682432545268,-7.990355897731482)(-0.11499678681382275,-7.993392366683195) \psline[linewidth=1.2pt,linecolor=vermelho](-0.11499678681382275,-7.993392366683195)(-0.09999674930219282,-7.995700429077528) \psline[linewidth=1.2pt,linecolor=vermelho](-0.09999674930219282,-7.995700429077528)(-0.0849967117905629,-7.997387207432783) \psline[linewidth=1.2pt,linecolor=vermelho](-0.0849967117905629,-7.997387207432783)(-0.06999667427893297,-7.998556179230801) \psline[linewidth=1.2pt,linecolor=vermelho](-0.06999667427893297,-7.998556179230801)(-0.054996636767303035,-7.99930717691696) \psline[linewidth=1.2pt,linecolor=vermelho](-0.054996636767303035,-7.99930717691696)(-0.0399965992556731,-7.999736387900178) \psline[linewidth=1.2pt,linecolor=vermelho](-0.0399965992556731,-7.999736387900178)(-0.024996561744043168,-7.999936354552913) \psline[linewidth=1.2pt,linecolor=vermelho](-0.024996561744043168,-7.999936354552913)(-0.009996524232413234,-7.999995974211159) \psline[linewidth=1.2pt,linecolor=vermelho](-0.009996524232413234,-7.999995974211159)(0.0050035132792166995,-8.00000049917445) \psline[linewidth=1.2pt,linecolor=vermelho](0.0050035132792166995,-8.00000049917445)(0.020003550790846633,-8.000031536705855) \psline[linewidth=1.2pt,linecolor=vermelho](0.020003550790846633,-8.000031536705855)(0.03500358830247657,-8.000167049031988) \psline[linewidth=1.2pt,linecolor=vermelho](0.03500358830247657,-8.000167049031988)(0.0500036258141065,-8.000481353342998) \psline[linewidth=1.2pt,linecolor=vermelho](0.0500036258141065,-8.000481353342998)(0.06500366332573643,-8.001045121792572) \psline[linewidth=1.2pt,linecolor=vermelho](0.06500366332573643,-8.001045121792572)(0.08000370083736635,-8.001925381497935) \psline[linewidth=1.2pt,linecolor=vermelho](0.08000370083736635,-8.001925381497935)(0.09500373834899628,-8.003185514539854) \psline[linewidth=1.2pt,linecolor=vermelho](0.09500373834899628,-8.003185514539854)(0.11000377586062621,-8.00488525796263) \psline[linewidth=1.2pt,linecolor=vermelho](0.11000377586062621,-8.00488525796263)(0.12500381337225613,-8.00708070377411) \psline[linewidth=1.2pt,linecolor=vermelho](0.12500381337225613,-8.00708070377411)(0.14000385088388606,-8.009824298945666) \psline[linewidth=1.2pt,linecolor=vermelho](0.14000385088388606,-8.009824298945666)(0.155003888395516,-8.013164845412225) \psline[linewidth=1.2pt,linecolor=vermelho](0.155003888395516,-8.013164845412225)(0.17000392590714591,-8.017147500072241) \psline[linewidth=1.2pt,linecolor=vermelho](0.17000392590714591,-8.017147500072241)(0.18500396341877584,-8.021813774787711) \psline[linewidth=1.2pt,linecolor=vermelho](0.18500396341877584,-8.021813774787711)(0.20000400093040577,-8.027201536384169) \psline[linewidth=1.2pt,linecolor=vermelho](0.20000400093040577,-8.027201536384169)(0.2150040384420357,-8.033345006650688) \psline[linewidth=1.2pt,linecolor=vermelho](0.2150040384420357,-8.033345006650688)(0.23000407595366562,-8.040274762339882) \psline[linewidth=1.2pt,linecolor=vermelho](0.23000407595366562,-8.040274762339882)(0.24500411346529555,-8.0480177351679) \psline[linewidth=1.2pt,linecolor=vermelho](0.24500411346529555,-8.0480177351679)(0.2600041509769255,-8.056597211814431) \psline[linewidth=1.2pt,linecolor=vermelho](0.2600041509769255,-8.056597211814431)(0.2750041884885554,-8.066032833922701) \psline[linewidth=1.2pt,linecolor=vermelho](0.2750041884885554,-8.066032833922701)(0.29000422600018533,-8.07634059809948) \psline[linewidth=1.2pt,linecolor=vermelho](0.29000422600018533,-8.07634059809948)(0.30500426351181525,-8.087532855915068) \psline[linewidth=1.2pt,linecolor=vermelho](0.30500426351181525,-8.087532855915068)(0.3200043010234452,-8.099618313903314) \psline[linewidth=1.2pt,linecolor=vermelho](0.3200043010234452,-8.099618313903314)(0.3350043385350751,-8.112602033561593) \psline[linewidth=1.2pt,linecolor=vermelho](0.3350043385350751,-8.112602033561593)(0.35000437604670503,-8.126485431350831) \psline[linewidth=1.2pt,linecolor=vermelho](0.35000437604670503,-8.126485431350831)(0.36500441355833496,-8.141266278695483) \psline[linewidth=1.2pt,linecolor=vermelho](0.36500441355833496,-8.141266278695483)(0.3800044510699649,-8.156938701983549) \psline[linewidth=1.2pt,linecolor=vermelho](0.3800044510699649,-8.156938701983549)(0.3950044885815948,-8.173493182566563) \psline[linewidth=1.2pt,linecolor=vermelho](0.3950044885815948,-8.173493182566563)(0.41000452609322474,-8.190916556759603) \psline[linewidth=1.2pt,linecolor=vermelho](0.41000452609322474,-8.190916556759603)(0.42500456360485467,-8.209192015841278) \psline[linewidth=1.2pt,linecolor=vermelho](0.42500456360485467,-8.209192015841278)(0.4400046011164846,-8.228299106053742) \psline[linewidth=1.2pt,linecolor=vermelho](0.4400046011164846,-8.228299106053742)(0.4550046386281145,-8.248213728602686) \psline[linewidth=1.2pt,linecolor=vermelho](0.4550046386281145,-8.248213728602686)(0.47000467613974445,-8.268908139657336) \psline[linewidth=1.2pt,linecolor=vermelho](0.47000467613974445,-8.268908139657336)(0.4850047136513744,-8.29035095035046) \psline[linewidth=1.2pt,linecolor=vermelho](0.4850047136513744,-8.29035095035046)(0.5000047511630044,-8.312507126778367) \psline[linewidth=1.2pt,linecolor=vermelho](0.5000047511630044,-8.312507126778367)(0.5150047886746343,-8.335337990000898) \psline[linewidth=1.2pt,linecolor=vermelho](0.5150047886746343,-8.335337990000898)(0.5300048261862642,-8.358801216041439) \psline[linewidth=1.2pt,linecolor=vermelho](0.5300048261862642,-8.358801216041439)(0.5450048636978941,-8.382850835886908) \psline[linewidth=1.2pt,linecolor=vermelho](0.5450048636978941,-8.382850835886908)(0.5600049012095241,-8.407437235487768) \psline[linewidth=1.2pt,linecolor=vermelho](0.5600049012095241,-8.407437235487768)(0.575004938721154,-8.432507155758017) \psline[linewidth=1.2pt,linecolor=vermelho](0.575004938721154,-8.432507155758017)(0.5900049762327839,-8.458003692575192) \psline[linewidth=1.2pt,linecolor=vermelho](0.5900049762327839,-8.458003692575192)(0.6050050137444138,-8.483866296780368) \psline[linewidth=1.2pt,linecolor=vermelho](0.6050050137444138,-8.483866296780368)(0.6200050512560438,-8.510030774178162) \psline[linewidth=1.2pt,linecolor=vermelho](0.6200050512560438,-8.510030774178162)(0.6350050887676737,-8.536429285536725) \psline[linewidth=1.2pt,linecolor=vermelho](0.6350050887676737,-8.536429285536725)(0.6500051262793036,-8.562990346587748) \psline[linewidth=1.2pt,linecolor=vermelho](0.6500051262793036,-8.562990346587748)(0.6650051637909336,-8.589638828026462) \psline[linewidth=1.2pt,linecolor=vermelho](0.6650051637909336,-8.589638828026462)(0.6800052013025635,-8.616295955511637) \psline[linewidth=1.2pt,linecolor=vermelho](0.6800052013025635,-8.616295955511637)(0.6950052388141934,-8.642879309665577) \psline[linewidth=1.2pt,linecolor=vermelho](0.6950052388141934,-8.642879309665577)(0.7100052763258233,-8.669302826074132) \psline[linewidth=1.2pt,linecolor=vermelho](0.7100052763258233,-8.669302826074132)(0.7250053138374533,-8.695476795286682) \psline[linewidth=1.2pt,linecolor=vermelho](0.7250053138374533,-8.695476795286682)(0.7400053513490832,-8.721307862816152) \psline[linewidth=1.2pt,linecolor=vermelho](0.7400053513490832,-8.721307862816152)(0.7550053888607131,-8.746699029139002) \psline[linewidth=1.2pt,linecolor=vermelho](0.7550053888607131,-8.746699029139002)(0.770005426372343,-8.771549649695235) \psline[linewidth=1.2pt,linecolor=vermelho](0.770005426372343,-8.771549649695235)(0.785005463883973,-8.795755434888386) \psline[linewidth=1.2pt,linecolor=vermelho](0.785005463883973,-8.795755434888386)(0.8000055013956029,-8.819208450085537) \psline[linewidth=1.2pt,linecolor=vermelho](0.8000055013956029,-8.819208450085537)(0.8150055389072328,-8.841797115617297) \psline[linewidth=1.2pt,linecolor=vermelho](0.8150055389072328,-8.841797115617297)(0.8300055764188627,-8.863406206777825) \psline[linewidth=1.2pt,linecolor=vermelho](0.8300055764188627,-8.863406206777825)(0.8450056139304927,-8.883916853824811) \psline[linewidth=1.2pt,linecolor=vermelho](0.8450056139304927,-8.883916853824811)(0.8600056514421226,-8.90320654197949) \psline[linewidth=1.2pt,linecolor=vermelho](0.8600056514421226,-8.90320654197949)(0.8750056889537525,-8.92114911142663) \psline[linewidth=1.2pt,linecolor=vermelho](0.8750056889537525,-8.92114911142663)(0.8900057264653825,-8.937614757314536) \psline[linewidth=1.2pt,linecolor=vermelho](0.8900057264653825,-8.937614757314536)(0.9050057639770124,-8.95247002975506) \psline[linewidth=1.2pt,linecolor=vermelho](0.9050057639770124,-8.95247002975506)(0.9200058014886423,-8.965577833823588) \psline[linewidth=1.2pt,linecolor=vermelho](0.9200058014886423,-8.965577833823588)(0.9350058390002722,-8.976797429559038) \psline[linewidth=1.2pt,linecolor=vermelho](0.9350058390002722,-8.976797429559038)(0.9500058765119022,-8.985984431963878) \psline[linewidth=1.2pt,linecolor=vermelho](0.9500058765119022,-8.985984431963878)(0.9650059140235321,-8.992990811004109) \psline[linewidth=1.2pt,linecolor=vermelho](0.9650059140235321,-8.992990811004109)(0.980005951535162,-8.997664891609269) \psline[linewidth=1.2pt,linecolor=vermelho](0.980005951535162,-8.997664891609269)(0.9950059890467919,-8.999851353672437) \psline[linewidth=1.2pt,linecolor=vermelho](0.9950059890467919,-8.999851353672437)(1.0100060265584219,-8.999391232050229) \psline[linewidth=1.2pt,linecolor=vermelho](1.0100060265584219,-8.999391232050229)(1.0250060640700518,-8.996121916562803) \psline[linewidth=1.2pt,linecolor=vermelho](1.0250060640700518,-8.996121916562803)(1.0400061015816817,-8.989877151993852) \psline[linewidth=1.2pt,linecolor=vermelho](1.0400061015816817,-8.989877151993852)(1.0550061390933116,-8.980487038090606) \psline[linewidth=1.2pt,linecolor=vermelho](1.0550061390933116,-8.980487038090606)(1.0700061766049416,-8.96777802956384) \psline[linewidth=1.2pt,linecolor=vermelho](1.0700061766049416,-8.96777802956384)(1.0850062141165715,-8.95157293608786) \psline[linewidth=1.2pt,linecolor=vermelho](1.0850062141165715,-8.95157293608786)(1.1000062516282014,-8.931690922300518) \psline[linewidth=1.2pt,linecolor=vermelho](1.1000062516282014,-8.931690922300518)(1.1150062891398314,-8.9079475078032) \psline[linewidth=1.2pt,linecolor=vermelho](1.1150062891398314,-8.9079475078032)(1.1300063266514613,-8.88015456716083) \psline[linewidth=1.2pt,linecolor=vermelho](1.1300063266514613,-8.88015456716083)(1.1450063641630912,-8.848120329901871) \psline[linewidth=1.2pt,linecolor=vermelho](1.1450063641630912,-8.848120329901871)(1.1600064016747211,-8.811649380518327) \psline[linewidth=1.2pt,linecolor=vermelho](1.1600064016747211,-8.811649380518327)(1.175006439186351,-8.77054265846574) \psline[linewidth=1.2pt,linecolor=vermelho](1.175006439186351,-8.77054265846574)(1.190006476697981,-8.724597458163188) \psline[linewidth=1.2pt,linecolor=vermelho](1.190006476697981,-8.724597458163188)(1.205006514209611,-8.67360742899329) \psline[linewidth=1.2pt,linecolor=vermelho](1.205006514209611,-8.67360742899329)(1.2200065517212408,-8.617362575302202) \psline[linewidth=1.2pt,linecolor=vermelho](1.2200065517212408,-8.617362575302202)(1.2350065892328708,-8.555649256399622) \psline[linewidth=1.2pt,linecolor=vermelho](1.2350065892328708,-8.555649256399622)(1.2500066267445007,-8.488250186558782) \psline[linewidth=1.2pt,linecolor=vermelho](1.2500066267445007,-8.488250186558782)(1.2650066642561306,-8.414944435016453) \psline[linewidth=1.2pt,linecolor=vermelho](1.2650066642561306,-8.414944435016453)(1.2800067017677605,-8.335507425972947) \psline[linewidth=1.2pt,linecolor=vermelho](1.2800067017677605,-8.335507425972947)(1.2950067392793905,-8.249710938592115) \psline[linewidth=1.2pt,linecolor=vermelho](1.2950067392793905,-8.249710938592115)(1.3100067767910204,-8.157323107001345) \psline[linewidth=1.2pt,linecolor=vermelho](1.3100067767910204,-8.157323107001345)(1.3250068143026503,-8.058108420291559) \psline[linewidth=1.2pt,linecolor=vermelho](1.3250068143026503,-8.058108420291559)(1.3400068518142803,-7.951827722517228) \psline[linewidth=1.2pt,linecolor=vermelho](1.3400068518142803,-7.951827722517228)(1.3550068893259102,-7.838238212696355) \psline[linewidth=1.2pt,linecolor=vermelho](1.3550068893259102,-7.838238212696355)(1.37000692683754,-7.717093444810478) \psline[linewidth=1.2pt,linecolor=vermelho](1.37000692683754,-7.717093444810478)(1.38500696434917,-7.5881433278046835) \psline[linewidth=1.2pt,linecolor=vermelho](1.38500696434917,-7.5881433278046835)(1.4000070018608,-7.451134125587588) \psline[linewidth=1.2pt,linecolor=vermelho](1.4000070018608,-7.451134125587588)(1.4150070393724299,-7.305808457031349) \psline[linewidth=1.2pt,linecolor=vermelho](1.4150070393724299,-7.305808457031349)(1.4300070768840598,-7.151905295971664) \psline[linewidth=1.2pt,linecolor=vermelho](1.4300070768840598,-7.151905295971664)(1.4450071143956897,-6.989159971207769) \psline[linewidth=1.2pt,linecolor=vermelho](1.4450071143956897,-6.989159971207769)(1.4600071519073197,-6.817304166502437) \psline[linewidth=1.2pt,linecolor=vermelho](1.4600071519073197,-6.817304166502437)(1.4750071894189496,-6.636065920581981) \psline[linewidth=1.2pt,linecolor=vermelho](1.4750071894189496,-6.636065920581981)(1.4900072269305795,-6.445169627136245) \psline[linewidth=1.2pt,linecolor=vermelho](1.4900072269305795,-6.445169627136245)(1.5050072644422094,-6.24433603481863) \psline[linewidth=1.2pt,linecolor=vermelho](1.5050072644422094,-6.24433603481863)(1.5200073019538394,-6.033282247246058) \psline[linewidth=1.2pt,linecolor=vermelho](1.5200073019538394,-6.033282247246058)(1.5350073394654693,-5.811721722998993) \psline[linewidth=1.2pt,linecolor=vermelho](1.5350073394654693,-5.811721722998993)(1.5500073769770992,-5.579364275621444) \psline[linewidth=1.2pt,linecolor=vermelho](1.5500073769770992,-5.579364275621444)(1.5650074144887292,-5.335916073620956) \psline[linewidth=1.2pt,linecolor=vermelho](1.5650074144887292,-5.335916073620956)(1.580007452000359,-5.081079640468603) \psline[linewidth=1.2pt,linecolor=vermelho](1.580007452000359,-5.081079640468603)(1.595007489511989,-4.814553854599012) \psline[linewidth=1.2pt,linecolor=vermelho](1.595007489511989,-4.814553854599012)(1.610007527023619,-4.536033949410346) \psline[linewidth=1.2pt,linecolor=vermelho](1.610007527023619,-4.536033949410346)(1.6250075645352489,-4.2452115132642945) \psline[linewidth=1.2pt,linecolor=vermelho](1.6250075645352489,-4.2452115132642945)(1.6400076020468788,-3.9417744894861) \psline[linewidth=1.2pt,linecolor=vermelho](1.6400076020468788,-3.9417744894861)(1.6550076395585087,-3.6254071763645364) \psline[linewidth=1.2pt,linecolor=vermelho](1.6550076395585087,-3.6254071763645364)(1.6700076770701386,-3.2957902271519153) \psline[linewidth=1.2pt,linecolor=vermelho](1.6700076770701386,-3.2957902271519153)(1.6850077145817686,-2.952600650064092) \psline[linewidth=1.2pt,linecolor=vermelho](1.6850077145817686,-2.952600650064092)(1.7000077520933985,-2.595511808280449) \psline[linewidth=1.2pt,linecolor=vermelho](1.7000077520933985,-2.595511808280449)(1.7150077896050284,-2.224193419943923) \psline[linewidth=1.2pt,linecolor=vermelho](1.7150077896050284,-2.224193419943923)(1.7300078271166583,-1.8383115581609815) \psline[linewidth=1.2pt,linecolor=vermelho](1.7300078271166583,-1.8383115581609815)(1.7450078646282883,-1.4375286510016245) \psline[linewidth=1.2pt,linecolor=vermelho](1.7450078646282883,-1.4375286510016245)(1.7600079021399182,-1.0215034814994084) \psline[linewidth=1.2pt,linecolor=vermelho](1.7600079021399182,-1.0215034814994084)(1.7750079396515481,-0.589891187651407) \psline[linewidth=1.2pt,linecolor=vermelho](1.7750079396515481,-0.589891187651407)(1.790007977163178,-0.1423432624182439) \psline[linewidth=1.2pt,linecolor=vermelho](1.790007977163178,-0.1423432624182439)(1.805008014674808,0.321492446275915) \psline[linewidth=1.2pt,linecolor=vermelho](1.805008014674808,0.321492446275915)(1.820008052186438,0.8019717355433755) \psline[linewidth=1.2pt,linecolor=vermelho](1.820008052186438,0.8019717355433755)(1.8350080896980678,1.299454047532901) \psline[linewidth=1.2pt,linecolor=vermelho](1.8350080896980678,1.299454047532901)(1.8500081272096978,1.814302469429709) \psline[linewidth=1.2pt,linecolor=vermelho](1.8500081272096978,1.814302469429709)(1.8650081647213277,2.346883733455499) \psline[linewidth=1.2pt,linecolor=vermelho](1.8650081647213277,2.346883733455499)(1.8800082022329576,2.8975682168684003) \psline[linewidth=1.2pt,linecolor=vermelho](1.8800082022329576,2.8975682168684003)(1.8950082397445875,3.4667299419630275) \psline[linewidth=1.2pt,linecolor=vermelho](1.8950082397445875,3.4667299419630275)(1.9100082772562175,4.054746576070453) \psline[linewidth=1.2pt,linecolor=vermelho](1.9100082772562175,4.054746576070453)(1.9250083147678474,4.661999431558204) \psline[linewidth=1.2pt,linecolor=vermelho](1.9250083147678474,4.661999431558204)(1.9400083522794773,5.288873465830278) \psline[linewidth=1.2pt,linecolor=vermelho](1.9400083522794773,5.288873465830278)(1.9550083897911072,5.935757281327131) \psline[linewidth=1.2pt,linecolor=vermelho](1.9550083897911072,5.935757281327131)(1.9700084273027372,6.603043125525662) \psline[linewidth=1.2pt,linecolor=vermelho](1.9700084273027372,6.603043125525662)(1.985008464814367,7.2911268909392675) \begin{scriptsize} \rput[bl](-0.76,-3.4){{$f$}} \psdots[dotstyle=*,linecolor=darkgray](-1.,-1.) \rput[bl](-2.,-3.7){\darkgray{(-1,-1)}} \psdots[dotstyle=*,linecolor=darkgray](0.,-8.) \rput[bl](0.08,-7.4){\darkgray{(0,-8)}} \psdots[dotstyle=*,linecolor=darkgray](1.,-9.) \rput[bl](0.98,-10.9){\darkgray{(1,-9)}} \psdots[dotstyle=*,linecolor=darkgray](2.,8.) \rput[bl](2.08,8.6){\darkgray{(2,8)}} \end{scriptsize} \end{pspicture*}

Resolução Como $f$ é diferenciável, os pontos críticos ocorrem quando $f'(x)=0$. Calculando a derivada temos:

(10)
\[ f'(x)= 12 x^{3} - 12x^{2} \]

resolvendo

(11)
\[ 12 x^{3} - 12x^{2}=0 \]

temos que a derivada se anula em $x=0$ e $x=1$.

Logo os candidatos a pontos de extremos são $-1,0,1,2$.

Calculando o valor da função nesses pontos temos:

\[ \begin{aligned} f(-1)=& -1\\ f(0)=& -8\\ f(1)=& -9\\ f(2)&= 8& \end{aligned} \]

Logo, $x=2$ é o ponto de máximo e $x=1$ é o ponto de mínimo.

Exercício. Um fazendeiro deseja construir um curral e possui 500m de cerca linear. O local onde deseja construir o curral faz divisa com um edifício e assim não será necessário qualquer cerca neste lado. Quais são as dimensões do curral que vai encerrar a maior área.

Exercício. Determine a razão entre a altura e o diâmetro da base do cilindro de volume máximo que pode ser inscrito numa esfera de raio $R$.

cilindroesfera

Resolução

O volume do cilindro é dado por

(12)
\[ V=\pi r^2h \]

e por Pitágoras temos a seguinte relação entre o raio e a altura:

(13)
\[ r^2+(h/2)^2=R^2 \]

Logo a expressão do volume em função da altura é

(14)
\[ V(h)=\pi h (R^2-(h/2)^2)=-((h^3 \pi)/4) + h \pi R^2 \]

Como o cilindro está contido na esfera, temos que os valores de $h$ estão no intervalo $[0,R]$. Assim, temos um problema de extremos em um intervalo fechado, e consequentemente temos a existência de um máximo. Esse máximo ocorrerá ou nos pontos extremos do intervalo ou nos pontos críticos.

Como $V(h)$ é diferenciável, os pontos críticos são os pontos de derivada iguais a 0. Derivando

(15)
\[ V'(h)=-((h^2 \pi)/2) + \pi (-(h^2/4) + R^2) \]

Resolvendo $V'(h)=0$ temos:

(16)
\[ h=\dfrac{2 R}{\sqrt{3}} \]

Como

(17)
\[ r^2+(h/2)^2=R^2 \]

temos que

(18)
\[ r= \sqrt{\dfrac{2}{3}} R \]

e assim

(19)
\[ \dfrac{h}{r}=\sqrt{2} \]

Teorema do Valor Médio

Sabemos que a derivada de uma função constante é zero. Pergunta-se se uma função cuja derivada seja sempre zero é constante. Ou, em outras palavras, se um corpo tem velocidade instantânea zero no intervalo de tempo dado por um intervalo, este encontra-se em repouso?

Para responder perguntas deste tipo devemos aprender a extrair informação de uma função a partir da informação dada pela derivada da função. Informalmente, devemos utilizar a informação que a derivada nos da sobre o comportamento local da função para extrair informação sobre o comportamento global desta.

O objetivo desta seção é, dada uma função $f:[a,b] \rightarrow \mathbb{R}$, encontrar condições sob as quais exista um ponto $c \in (a,b)$ tal que

(20)
\[ f^{\prime}(c) = \dfrac{f(b) - f(a)}{b-a}. \]

Intuitivamente, a equação acima nos diz que existe um instante de tempo $c$ no qual a velocidade instantânea de um objeto (informação local) é igual à velocidade média do objeto no intervalo de tempo $[a,b]$ (informação global).

Começamos com um caso especial do Teorema do Valor Médio conhecido como teorema de Rolle.

Teorema [Teorema de Rolle].
Seja $f$ uma função contí nua no intervalo fechado $[a,b]$, diferenciável no intervalo aberto $(a,b)$ satisfazendo $f(a) = f(b)$.

Então, existe $c \in (a,b)$ tal que $f^{\prime}(c) = 0$.

\scalebox{0.7}{ \begin{pspicture}(-.75,0)(4,4) \psset{algebraic, arrowscale=1.5,xunit=1.2cm} \psaxes[linewidth=.6pt,labels=none,ticks=none]{->}(-.75,0)(4,4) \psplot[linecolor=vermelho]{0}{3.1416}{2+sin(2*x)} \psline[linewidth=.6pt,linestyle=dashed,dash=3pt](0,0)(0,2) \psline[linewidth=.6pt,linestyle=dashed,dash=3pt](.78,0)(.78,3) \psline[linewidth=.6pt,linestyle=dashed,dash=3pt](3.1416,0)(3.1416,2) \psline[linewidth=.5pt](0,3)(3,3) \psline[linewidth=.4pt,linestyle=dashed,dash=3pt](0,2)(3.1416,2) \uput[u](.78,3){\scalefont{.8}$f'(c)=0$} \uput[d](0,0){\scalefont{.8}$a$} \uput[d](.78,0){\scalefont{.8}$c$} \uput[d](3.1416,0){\scalefont{.8}$b$} \uput[l](2.6,2.45){\scalefont{.7}$y=f(x)$} \end{pspicture}}

Demonstração. Como $ f $ é contínua em $\left[a, b \right]$, temos que $ f $ atinge um máximo $ M $ em $ x_1 \in \left[a, b \right] $ e um mínimos $ m $, em algum $ x_2 \in \left[a, b \right] $.

Suponha $ x_1 $ e $x_2 $ são ambos pontos finais de $ \left[a, b \right] $. Como $ f \left({a} \right) = f \left({b} \right) $ temos que e $ m = M $ e assim $ f $ é constante em $ \left[a, b \right] $. Consequentemente $ f^{\prime} \left({ x_i} \right) = 0 $ para todo $ x_i \in \left(a, b \right) $.

Suponha $ x_1 $ não é um ponto final de $ \left[a, b \right]$. Então $ x_1 \in \left(a, b \right) $ e $ f $ tem um máximo local em $ x_1$ . E o resultado segue a partir do fato que a derivada num ponto de máximo ou mínimo é zero.

Da mesma forma, suponha $x_2 $ não é um ponto final de $\left[a, b \right] $. Então $x_2 \in \left(a, b \right) $ e $ f $ tem um mínimo local em $ x_2. $

E o resultado segue a partir do fato que a derivada num ponto de máximo ou mínimo é zero.

Exercício. Mostre que $x^3 - x$ possui uma raiz em $[-1,1]$.

Teorema [Teorema do Valor Médio].
Seja $f$ uma função continua no intervalo fechado $[a,b]$ e diferenciável no intervalo aberto $(a,b)$. Então, existe $c \in (a,b)$ tal que

(21)
\[ f^{\prime}(c) = \dfrac{f(b) - f(a)}{b-a}. \]
\scalebox{0.6}{ \begin{pspicture}(-.5,-.5)(4,4) \psset{arrowscale=1.4,algebraic,unit=2cm} \psaxes[linewidth=.6pt,ticks=none,labels=none]{->}(0,0)(-.25,-.25)(3.5,2) \psplot[linecolor=vermelho]{.25}{3.25}{-1.12+2.6*x - 0.6*x^2} \psline[linewidth=.5pt](1,0)(1,.88) \psline[linewidth=.5pt,linestyle=dashed,dash=3pt](2,0)(2,1.68) \psline[linewidth=.5pt](3,0)(3,1.28) \psplot[linewidth=.5pt]{.5}{3.25}{1.28+.2*x} \psline[linewidth=.5pt](1,.88)(3,1.28) \psline[linewidth=.5pt](1,.88)(3,.88) \uput[l](1,.88){\scalefont{.7}$(a,f(a))$} \uput[r](3,1.28){\scalefont{.7}$(b,f(b))$} \uput[d](1,0){\scalefont{.8}$a$} \uput[d](2,0){\scalefont{.8}$c$} \uput[ul](2.1,1.68){\scalefont{.7}$(c,f(c))$} \uput[d](3,0){\scalefont{.8}$b$} \psarc[linewidth=.5pt](1,.88){.8}{0}{11.3} \uput[r](3,.8){\scalefont{.8}$\tg(\alpha)=\dis \dfrac{f(b)-f(a)}{b-a}=f'(c)$} \uput[dr](2.5,1.85){\scalefont{.7}$y=f(c)+f'(c)(x-c)$} \rput(1.6,.935){\scalefont{.7}$\alpha$} \end{pspicture}}

Demonstração

A equação da reta que passa pelos pontos $(a,f(a)) $ e $(b,f(b)) $ é dada por

(22)
\[ y - f(a) = \dfrac{f(b) - f(a)}{b-a} ( x- a). \]

Definamos a função auxiliar

(23)
\[ h(x) = f(x) - f(a) - \dfrac{f(b) - f(a)}{b-a} ( x- a). \]

Começamos observando que $h(x) $ é contínua em $[a,b]$ pois é soma da função contínua $f$ e um polinômio de grau 1. Analogamente, temos que a função $ h(x) $ é diferenciável em $(a,b).$

Finalmente é imediato da definição de $h$ que $h(a) = h(b) = 0. $

Logo, pelo teorema de Rolle existe $ c \in (a,b)$ tal que $ h'(c) = 0. $ Portanto,

(24)
\[ 0 = h'(c) = f'(c) - \dfrac{f(b) - f(a)}{b-a} \quad \Longrightarrow \quad f'(c) = \dfrac{f(b) - f(a)}{b-a}. \]

Teorema [Teorema do Valor Médio de Cauchy ou do Valor Médio Generalizado].
Sejam $f$ e $g$ funções continuas no intervalo fechado $[a,b]$ e diferenciáveis no intervalo aberto $(a,b)$. Então, existe $c \in (a,b)$ tal que

(25)
\[ \dfrac{g(b) - g(a)}{b-a} . f^{\prime}(c) = \dfrac{f(b) - f(a)}{b-a} . g^{\prime}(c) . \]

Demonstração. O resultado pode ser demonstrado utilizando o Teorema do valor Médio para a função

(26)
\[ h(x)=[f(b)-f(a)]g(x)-[g(b)-g(a)]f(x) \]

E observando que

\[ \begin{aligned} h(a)=&[f(b)-f(a)]g(a)-[g(b)-g(a)]f(a)\\ =&f(b)g(a)-g(b)f(a)\\ =&[f(b)-f(a)]g(b)-[g(b)-g(a)]f(b)\\ =&h(b) \end{aligned} \]

e assim $h'(c)=0$ para algum ponto $c\in (a,b)$. Diferenciando $h$ o resultado segue..

Teorema [Teorema do Valor Médio de Cauchy Generalizado] .
Sejam $f,g$ funções definidas num intervalo fechado $[a,b]$ que são $n$-vezes diferenciáveis em $(a,b)$ e cujas primeiras $n-1$ derivadas são contínuas em $[a,b]$. Suponha $c\in [a,b]$. Então para cada $x\neq c$ in $[a,b]$ existe $x_1$ no intervalo $c$ e $x_1$ tal que

\[ \scriptstyle \left(f(x)-\sum_{k=0}^{n-1}\dfrac{f^{(k)}(c)}{k!}(x-c)^k\right) g^{(n)}(x_1)= \]
\[ f^{(n)}(x_1)\left(g(x)-\sum_{k=0}^{n-1}\dfrac{g^{(k)}(c)}{k!}(x-c)^k\right) \]

Demonstração

Por simplicidade assumiremos $c<b$ e $x>c$. Com $x$ fixo considere

\[ F(t)=f(t)+\sum_{k=1}^{n-1}\dfrac{f^{(k)}(t)}{k!}(x-t)^k \]
\[ G(t)=g(t)+\sum_{k=1}^{n-1}\dfrac{g^{(k)}(t)}{k!}(x-t)^k \]

para cada $t\in[c,x]$. Então $F,G$ são contínuas em $[c,x]$ e deriváveis em $(c,x)$. Pelo Teorema do Valor Médio

\[ F'(x_1)[G(x)-G(c)]=G'(x_1)[F(x)-F(c)] \]

para $x_1\in (c,x)$.

Logo

\[ F'(x_1)[g(x)-G(c)]=G'(x_1)[f(x)-F(c)] \]

pois $F(x)=f(x),G(x)=g(x)$. Simplificando os termos de sinais opostos temos que

\[ F'(t)=\dfrac{(x-t)^{n-1}}{(n-1)!}f^{(n)}(t) \]
\[ G'(t)=\dfrac{(x-t)^{n-1}}{(n-1)!}g^{(n)}(t) \]

que fornece a fórmula desejada quando $t=x_1$.

Consequências do Teorema do Valor Médio

Teorema 8.
Se $f^{\prime}(x)=0$ para todo $x \in (a,b)$, então $f$ é constante no intervalo $[a,b]$.

Demonstração. Sejam $x_1$ e $x_2$ $\in (a,b)$, com $x_1<x_2.$ Como $f^{\prime}(x)=0$ em $(a,b)$ temos que $f$ é continua no intervalo $[x_1,x_2]$ e diferenciável em $(x_1,x_2)$.

Aplicando o Teorema do Valor Médio, temos que existe $c \in (x_1,x_2)$ tal que

(27)
\[ f(x_2)-f(x_1)=f'(c)(x_2-x_1)\ \]
Como $f'(x)=0$ para todo $x$, temos que $f'(c)=0$ e assim

Begin Equation

f(x_2)=f(x_1)

~ End Equation

O teorema acima responde de forma explícita e positiva a pergunta feita ao começo desta seção: um corpo cuja velocidade instantânea é zero no intervalo de tempo dado encontra-se em repouso.

Corolário. Sejam $f$ e $g$ funções continuas no intervalo fechado $[a,b]$ e diferenciáveis no intervalo aberto $(a,b)$ tal que $f^{\prime}(x) = g^{\prime}(x)$ para todo $x \in (a,b)$. Então, existe $K \in \mathbb{R}$ tal que

(28)
\[ f(x) = g(x) + K \]

para todo $x \in [a,b]$.

Demonstração. Considere a função $F(x)=f(x)-g(x)$. Então $F'(x)=f'(x)-g'(x)=0$ para todo $x$ em $(a,b)$. E logo $f-g$ é constante.

No corolário acima, é fundamental que o domínio de $f$ seja um intervalo para que o resultado seja válido. Um contra-exemplo é a função $f(x)=\dfrac{x}{|x|}$ pois $f'(x)=0$ em todo ponto do domínio mas a função $f$ não é constante. Isso ocorre pois o domínio de $f$ não é um intervalo.

Exercício. Mostre que $\arcsen x+ \arccos x =\pi/2$.

Resolução.

Calculando a derivada de $\arcsen x+ \arccos x$ temos:

(29)
\[ \dfrac{1}{\sqrt{1-x^2}}-\dfrac{1}{\sqrt{1-x^2}}=0 \]

Logo

(30)
\[ \arcsen x+ \arccos x=K \]

em $x=0$ temos

(31)
\[ \arcsen 0+ \arccos 0=K \]

e logo $K=\dfrac{\pi}{2}.$

Funções Crescentes e Decrescentes

Definição 4.
Uma função $f$ é crescente no intervalo dado $I$ se para quaisquer par $a,b \in I$ com $a < b$ tem-se que $f(a) < f(b)$. A função $f$ é decrescente em $I$ se para quaisquer $a,b \in I$ com $a < b$ tem-se que $f(a) > f(b)$.

O seguinte resultado nos da um critério utilizando o sinal da derivada da função para determinar os intervalos de crescimento e decrescimento desta.

Proposição. Seja $f:D \rightarrow \mathbb{R}$ e seja $I \subset D$ um intervalo. Se $f^{\prime}(x) > 0$ para todo $x \in I$, então $f$ é crescente em $I$.

Por outro lado, se $f^{\prime}(x) < 0$ para todo $x \in I$, então $f$ é decrescente em $I$.

Demonstração. Aplicando o Teorema do Valor Médio a $f$ em $ [x_1,x_2] ,$ existe um $c \in (x_1,x_2)$ tal que

(32)
\[ f(x_2) -f(x_1) = f'(c) (x_2 - x_1) . \]

Como $f'(c) > 0 $ e $ x_2 - x_1 > 0 $ devemos ter que $ f(x_2)-f(x_1) > 0 $ ou seja, $f(x_1) < f(x_2) .$ Logo $ f $ é crescente.

A prova do outro caso é análoga.

Exercício. Determine os pontos para os quais $f(x)=\dfrac{1}{3} x^3 - \dfrac{3}{2} x^2 + 2x -1$ é crescente e decrescente. Utilizando essa informação esboce o gráfico.

Resolução. Seja $f(x)=\dfrac{1}{3} x^3 - \dfrac{3}{2} x^2 + 2x -1$, então $f^{\prime}(x) = x^2 -3x + 2 = (x-1) (x-2)$. Como $f^{\prime}$ é positiva em $\left(-\infty, 1\right)\cup \left(2, \infty \right)$ e $f^{\prime}$ é negativa em $(1,2)$ podemos concluir pelo corolário anterior que a função $f$ é

  • crescente em $\left(-\infty, 1 \right) \cup \left(2, \infty \right)$

  • decrescente em $(1,2)$.

Exercício. Determine os pontos para os quais $f(x)=\dfrac{x^2}{x^2-1}$ é crescente e decrescente.

Resolução. A função não está definida em $x=-1$ e $x=1$

A derivada de $f$ é:

(33)
\[ f'(x)=\frac{2x}{(x^2-1)^4} \]

Como o denominador é sempre positivo, e o numerador é positivo em $(0,\infty)$.

Assim a derivada é positiva $(0,\infty)$. De modo similar, podemos concluir que a derivada é negativa em $(-\infty,0)$.

Ou seja:

  • crescente em $(0,\infty)$

  • decrescente em $(-\infty,0)$.

Teste da derivada primeira para a determinação de máximos e mínimos

Utilizando apenas a informação da derivada primeira é possível determinar se um determinado ponto crítico de uma função $f$ é:

  • um ponto de máximo local,
  • um ponto de mínimo local
  • nem ponto de máximo nem ponto de mínimo local.

Teorema 9.
Seja $f:I \rightarrow \mathbb{R}$ uma função diferenciável e seja $x \in I$ um ponto crítico de $f$. Então,

  • Se $f^{\prime} > 0$ no intervalo $(x-\eps,x)$ à esquerda de $x$ e se $f^{\prime} < 0$ no intervalo $(x,x+\eps)$ à direita de $x$, então $x$ é um ponto de máximo local.

  • Se $f^{\prime} < 0$ no intervalo $(x-\eps,x)$ à esquerda de $x$ e se $f^{\prime} > 0$ no intervalo $(x,x+\eps)$ à direita de $x$, então $x$ é um ponto de mínimo local.

  • Se $f^{\prime}$ tem o mesmo sinal no intervalo $(x-\eps,x)$ à esquerda de $x$ e no intervalo $(x,x+\eps)$ à direita de $x$, então $x$ não é nem ponto de máximo nem ponto de mínimo local.

Exercício. Ache os máximos e mínimos locais de $f(x)=x^{1/3}(8-x)$

Concavidade

Uma função $f$é côncava para cima no intervalo dado $I$ se para quaisquer par de pontos $a,b \in I$, o segmento que conecta $(a,f(a))$ com $(b,f(b))$ estiver acima do gráfico de $f$.

De modo análogo, uma função $f$ é dita côncava para baixo no intervalo dado $I$ se para quaisquer par de pontos $a,b \in I$, o segmento que conecta $(a,f(a))$ com $(b,f(b))$ estiver abaixo do gráfico de $f$. Mais formalmente,

Definição 5.
Uma função $f$ é dita côncava para cima no intervalo $I$ se para quaisquer terna de pontos $a,x,b \in I$ com $a < x < b$ temos que

(34)
\[ \dfrac{f(x) - f(a)}{x-a} < \dfrac{f(b) - f(a)}{b-a}. \]

Definição 6.
Uma função $f$ é côncava para baixo no intervalo $I$ se para quaisquer terna de pontos $a,x,b \in I$ com $a < x < b$ temos que

(35)
\[ \dfrac{f(x) - f(a)}{x-a} > \dfrac{f(b) - f(a)}{b-a}. \]
\scalebox{0.7}{ \begin{pspicture}(-3,-1)(3,3) \psset{xunit=.75cm,labelsep=2pt,arrowscale=1.4,algebraic} \psaxes[linewidth=.5pt,labels=none,ticks=none]{->}(-3,-1)(-3,-1)(3,3) %\parabola(-3,0)(0,2.5) \psplot[linecolor=vermelho, linewidth=1pt]{-1.5}{3}{2.5-0.277*x^2} \psline[linewidth=.5pt](-1,2.22)(2.5,0.76) \uput[d](-1,-1){\scalefont{.8}$x$} \uput[d](2.5,-1){\scalefont{.8}$y$} \uput[d](.75,-1){\scalefont{.7}$tx+(1-t)y$} \qdisk(.75,1.49){1.2pt} \qdisk(.75,-1){1.2pt} \uput[ur](.75,2.34){\scalefont{.7}$f(tx+(1-t)y)$} \uput[l](.7,1.44){\scalefont{.7}$tf(x)+(1-t)f(y)$} \qdisk(.75,2.34){1.2pt} \psline[linewidth=.4pt,linestyle=dashed,dash=2pt](-1,-1)(-1,2.22) \psline[linewidth=.4pt,linestyle=dashed,dash=2pt](2.5,-1)(2.5,0.76) \psline[linewidth=.4pt,linestyle=dashed,dash=2pt](.75,-1)(.75,2.34) \end{pspicture}} \scalebox{0.7}{ \begin{pspicture}(-3,-1)(3,3) \psset{xunit=.75cm,labelsep=2pt,arrowscale=1.4,algebraic} \psaxes[linewidth=.5pt,labels=none,ticks=none]{->}(-3,-1)(-3,-1)(3,3) \psplot[linecolor=vermelho, linewidth=1pt]{-1.5}{3}{0.2777*x^2} \psline[linewidth=.5pt](-1,.277)(2.5,1.736) \uput[d](-1,-1){\scalefont{.8}$x$} \uput[d](2.5,-1){\scalefont{.8}$y$} \uput[d](.75,-1){\scalefont{.7}$tx+(1-t)y$} \qdisk(.75,1){1.2pt} \qdisk(.75,-1){1.2pt} \uput[r](.8,0.156){\scalefont{.7}$f(tx+(1-t)y)$} \uput[l](.7,1.05){\scalefont{.7}$tf(x)+(1-t)f(y)$} \qdisk(.75,0.156){1.2pt} \psline[linewidth=.4pt,linestyle=dashed,dash=2pt](-1,-1)(-1,.277) \psline[linewidth=.4pt,linestyle=dashed,dash=2pt](2.5,-1)(2.5,1.736) \psline[linewidth=.4pt,linestyle=dashed,dash=2pt](.75,-1)(.75,1) \end{pspicture}}

Teorema 10.
[Teste da Concavidade]

  • Se $f^{\prime \prime} > 0$ no intervalo $I$, então $f$ é côncava para cima em $I.$
  • Se $f^{\prime \prime} < 0$ no intervalo $I$, então $f$ é côncava em $I$.

Demonstração

Dados $x, y\in [a,b]$ com $x<y$. Seja $t\in ]0,1[$ e façamos $z=t x+(1-t)y$. Temos que provar que $f(z)\le tf(x)+(1-t)f(y)$. Como $f(z)=tf(z)+(1-t)f(z)$, a desigualde anterior pode ser escrita como:

(36)
\[ tf(z)+(1-t)f(z)\le tf(x)+(1-t)f(y)\quad\Longleftrightarrow \]
(37)
\[ \quad (1-t)\big(f(z)-f(x)\big)\le t\big(f(y)-f(z)\big) \]

Aplicando o TVM nos intervalos $[x,z]$ y $[z,y]$, obtemos pontos $c\in (x,z)$, $d\in (z,y)$ satisfazendo

(38)
\[f(z)-f(x)=f'(c)(z-x),\qquad f(y)-f(z)=f'(d)(y-z) \]

Como por hipotese $f'$ é crescente, temos que $f'(c)\le f'(d)$, e como $(1-t)(z-x)=t(y-z)$, segue que:

\[(1-t)\big(f(z)-f(x)\big)=(1-t)f'(c)(z-x)\le tf'(d)(y-z) \]
\[= t\big(f(y)-f(z)\big) \]
\begin{tikzpicture}[scale=.9] \draw [thick, ocre] (-2.5,.5) arc (180:90:2); \draw [thick, ocre] (2.5,.5) arc (0:90:2); \draw [thick, ocre] (-2.5,-.5) arc (180:270:2); \draw [thick, ocre] (2.5,-.5) arc (0:-90:2); \draw (-1,1.25) node [] {\tiny \parbox{50pt}{$f'>0$, crescente \vskip 3pt $f''<0$, c. baixo}}; \draw (1.4,1.25) node [] {\tiny \parbox{50pt}{$f'<0$, decrescente \vskip 3pt $f''<0$, c. baixo}}; \draw (-1,-1.25) node [] {\tiny \parbox{50pt}{$f'<0$, decrescente \vskip 3pt $f''>0$, c. cima}}; \draw (1.4,-1.25) node [] {\tiny \parbox{50pt}{$f'>0$, crescente \vskip 3pt $f''>0$, c. cima}}; \end{tikzpicture}

Figura 4. As 4 maneiras que concavidade interage com o crescimento/decrescimento

Exercício. Estude a concavidade de $ f(x) = e^{-\dfrac{x^2}{2}}$ e esboce o gráfico.

Resolução. Começamos calculando as duas primeiras derivadas $ f'(x) = - x e^{-\dfrac{x^2}{2}} $ e $ f''(x) = (x^2-1)e^{-\dfrac{x^2}{2}}$.

Como $ e^{-\dfrac{x^2}{2}} > 0 $ para todo $x,$ o sinal de $f''$ é dado pelo sinal de $ x^2-1. $ Portanto,

  • $ f''(x) > 0$ em $ (-\infty, -1) $ e $ (1, + \infty)\Rightarrow f $ é côncava para cima em $ (-\infty, -1) $ e $ (1, +\infty) ,$
  • $ f''(x) < 0 $ em $ (-1,1) \Rightarrow f $ é côncava para baixo em $ (-1,1).$

Pontos de inflexão

Um ponto $p$ é um ponto de inflexão de $f$ se $ p $ é um ponto no qual a concavidade da função muda.

Definição 7.
Seja $f$ uma função contínua em ,$p\in D_f$,. Diremos que ,$p$, é ponto de inflexão de $f$ se $f$ é côncava para baixo em $(p-\eps,p)$ e $f$ é côncava para cima em $(p,p+\eps)$, ou se $f$ é côncava para cima em $(p-\eps,p)$ e $f$ é côncava para baixo em $(p,p+\eps)$.

\begin{tikzpicture} \begin{axis}[width=\marginparwidth+25pt,% tick label style={font=\scriptsize},axis y line=middle,axis x line=middle,name=myplot,% %x=.37\marginparwidth, %y=.37\marginparwidth, xtick={1,2,3,4},% % extra x ticks={.33}, % extra x tick labels={$1/3$}, %ytick={1}, %minor y tick num=1,%extra y ticks={-5,-3,...,7},% ymin=-1,ymax=16,% xmin=-.5,xmax=4.5% ] \addplot [thick, ocre,smooth,domain=.5:4.5] {2*(x-1)*(x-2)*(x-3)*(x-4)+5}; \filldraw (axis cs:1.85,4.39) circle (1pt); \filldraw (axis cs:3.15,4.39) circle (1pt); \draw (axis cs:1.5,8) node {\tiny \parbox{30pt}{\centering$f''>0$ \vskip 2pt c. cima}}; \draw (axis cs:3.5,8) node {\tiny \parbox{30pt}{\centering$f''>0$ \vskip 2pt c. cima}}; \draw (axis cs:2.5,4) node {\tiny \parbox{30pt}{\centering$f''<0$ \vskip 2pt c. baixo}}; \end{axis} \node [right] at (myplot.right of origin) {\scriptsize $x$}; \node [above] at (myplot.above origin) {\scriptsize $y$}; \end{tikzpicture}

Figura 5. Pontos de Inflexão

Teorema 11.
Seja $f:I\rightarrow \mathbb{R}$ e $a, b,c \in I$ tal que $a \in (b,c) \subset I$. Se o sinal de $f^{\prime \prime}$ em $(b,a)$for diferente do sinal de $f^{\prime \prime}$ em $(a,c)$ então $a$ é um ponto de inflexão de $f$.

Exercício. Mostre que $f(x)=x^n$ possui um ponto de inflexão na origem se $n$ for ímpar.

Teste da derivada segunda para a determinação de máximos e mínimos

Se a função analisada for duas vezes diferenciáveis há critérios bem simples para a determinação de máximos e mínimos locais. Seja $f:I\rightarrow \mathbb{R}$ uma função dada.

Teorema 12.
Assuma que $f^{\prime}(a)=0$.

  • Se $f^{\prime \prime}(a) > 0$, então $f$ tem um ponto de mínimo local em $a$
  • Se $f^{\prime \prime}(a) < 0$, então $f$ tem um ponto de máximo local em $a$.

Suponha que $f''(x) > 0$. Por hipotese temos que $f'(x) = 0$. Assim

\[0 < f''(x) = \lim_{h \to 0} \frac{f'(x + h) - f'(x)}{h} = \]
\[\lim_{h \to 0} \frac{f'(x + h) - 0}{h} = \lim_{h \to 0} \frac{f'(x+h)}{h}. \]

Logo, para $h$ suficientemente pequeno temos que

\[\frac{f'(x+h)}{h} > 0 \]

O que implica que $f'(x+h) < 0$ if $h < 0$ e que $f'(x+h) > 0$ se $h > 0$. Logo pelo teste da derivada primeira $f$ tem um máximo local em $x$.

A demonstração do caso no qual $f''(x) < 0$ é analoga

Exercício. Determine os pontos críticos da função $f$ e classifique-os (pontos máximo, mínimo local) sendo

(39)
\[ a) \quad \ f(x) = \dis\dfrac{x^4}{4} - x^3 - 2x^2+3;\qquad b) f(x)=x^2e^{-5x}. \]

Resolução.

  1. Como $f'(x) = x^3 - 3 x^2 - 4 x = x(x^2-3x-4).$ temos que $x = -1,\, x=0 $ e $ x=4$ são os pontos críticos de $f.$ Como $f''(-1) = 5, \, f''(0) = -4 $ e $ f''(4) = 20 $ concluímos que $ 0$ é ponto de máximo e $ -1 $ e $4$ são pontos de mínimo.

  2. $x=0 $ é ponto de máximo e $ x = \dfrac{2}{5} $ é ponto de mínimo.

Exercício. Seja a função $f(x)=\left( x-1\right) ^{3}+1.$ Analise seus pontos críticos.

Resolução. Temos $f'(x)=3\left( x-1\right) ^{2};$ Logo, $f'(x)=0\Longleftrightarrow x=1.$ Ainda, $f''(x)=6\left(x-1\right) =0\Longleftrightarrow x=1.$ Assim, $f'(1)=f''(1)=0$ e, neste caso, o critério falha.

Devemos então analisar a concavidade de $f$ numa vizinhança do ponto $x=1:$

$f''(x)=6\left( x-1\right) >0\Longleftrightarrow x>1$  e $ f''(x)=6\left( x-1\right) <0\Longleftrightarrow x<1$  portanto, a curva muda de concavidade no ponto $\Longrightarrow x=1$ é um ponto de inflexão.

A função $f$ não tem pontos de máximo ou mínimo locais em $\mathbb{R},$uma vez que $f'(x)=3\left( x-1\right) ^{2}>0$ para $x\neq 1,$ o que implica que $f$ é monótona crescente. Se $f$ estivesse definida num intervalo fechado $\left[ a,b\right] $ então, $f$ teria um ponto de mínimo absoluto em $x=a$ e um ponto de máximo absoluto em $x=b.$

A Regra de L'Hôpital

Uma aplicação do Teorema do valor médio generalizado permite-nos simplificar o cálculo de limites da forma

(40)
\[ \displaystyle \limitex{a} \dfrac{f(x)}{g(x)}, \]

quando $\displaystyle \limitex{a} f(x) = \displaystyle \limitex{a} g(x) = 0$.

Observação. Note que não é possível aplicar a regra do quociente para calcular este tipo de limite dado que o denominador converge a $0$ quando $x$ tende a $a$.

Teorema 13.
[Regra de L'Hôpital]. Sejam $f$ e $g$ funções diferenciáveis no intervalo aberto $(a,b)$ tal que

(41)
\[ \displaystyle \lim_{x \rightarrow a^{+}} f(x) = 0 \text{ e } \displaystyle \lim_{x \rightarrow a^{+}} g(x) = 0. \nonumber \]

Suponha, também, que $g^{\prime}(x) \neq 0$ para todo $x \in (a,b)$. Se $\displaystyle \lim_{x \rightarrow a^{+}} \dfrac{f^{\prime}(x)}{g^{\prime}(x)}$ existe, então

(42)
\[ \displaystyle \lim_{x \rightarrow a^{+}} \dfrac{f(x)}{g(x)} = \displaystyle \lim_{x \rightarrow a^{+}} \dfrac{f^{\prime}(x)}{g^{\prime}(x)}. \]

Demonstração. A partir da diferenciabilidade de $f$ e $g$ o Teorema do Valor Médio de Cauchy garante que para quaisquer dois pontos distintos x e $y$ em $I$ existe um $\xi$ entre $x$ e $y$ tal que

(43)
\[ \dfrac{f (x) -f (y)}{g (x) -g (y)} = \dfrac{f '(\xi) }{ g ''(\xi)} \]

Então como $f \left({a}\right) = g \left({a}\right) = 0$:

(44)
\[ \displaystyle \exists \xi \in \left({a \,.\,.\, x}\right): \dfrac {f' \left({\xi}\right)} {g' \left({\xi}\right)} = \dfrac {f \left({x}\right)} {g \left({x}\right)} \]

O $\xi$ depende de $x$ e $\xi \to a$ quando $x \to a$.

Além disso, $\xi \ne a$ quando $x > a$.

E assim

(45)
\[ \displaystyle \lim_{x \mathop \to a^+} \dfrac {f' \left({\xi}\right)} {g' \left({\xi}\right)} = \lim_{x \mathop \to a^+} \dfrac {f' \left({x}\right)} {g' \left({x}\right)} \]

Observação. A regra de L'Hopital pode ser generalizada para os limites $x\to p^+$,,  $x\to p^-$,, $x\to +\infty$  ou  $x\to -\infty$,.

E para a indeterminação da forma $\dfrac{\infty}{\infty}$, ou seja para o caso:

(46)
\[ \dis\lim_{x\to p} f(x)= +\infty=\dis\lim_{x\to p} g(x) \]

Para podermos aplicar a regra de L'Hôpital no caso em que $x \rightarrow a$, as funções envolvidas devem ser diferenciáveis no intervalo aberto contendo o ponto $a$ (exceto, tal vez, no próprio ponto $a$).

Isto sempre deve ser verificado!!

Exercício. Calcule $\dis \lim_{x\to 0}\dfrac{1-e^{2x}}{x}$.

Resolução. Como $ \dis \lim_{x\to 0} 1- e^{2x} = 0 $ e $ \dis\lim_{x\to0} x = 0 $ pela Regra de L'Hopital,

(47)
\[ \lim_{x\to 0} \dfrac{1-e^{2x}}{x}= \lim_{x\to 0} \dfrac{(1-e^{2x})'}{x'} = \lim_{x\to 0} \dfrac{-2e^{2x}}{1} = -2. \]

Exercício. Calcule $\dis \lim_{x\to 0}\dfrac{\sen x}{x}$.

Resolução. Como $ \dis \lim_{x\to 0} \sen x = 0 $ e $\dis\lim_{x\to 0} x = 0 $ pela Regra de L'Hopital,

(48)
\[ \lim_{x\to 0} \dfrac{\sen x}{x}= \lim_{x\to 0} \dfrac{(\sen x)'}{x'} = \lim_{x\to 0} \dfrac{\cos x}{1} = 1. \]

Exercício. Calcule $\displaystyle \lim_{x \rightarrow 0} \dfrac{x^2 + 2x}{\sin \left(x\right)}$ se existir.

Resolução.

Note que $\displaystyle \lim_{x \rightarrow 0} x^2+ 2x = \displaystyle \lim_{x \rightarrow 0} \sin \left(x\right) = 0$ e que as funções envolvidas são diferenciáveis em toda parte. Logo, podemos aplicar a regra de L'Hôpital.

(49)
\[ \displaystyle \lim_{x \rightarrow 0} \dfrac{x^2+ 2x}{\sin \left(x\right)} = \displaystyle \lim_{x \rightarrow 0} \dfrac{2 x + 2}{\cos \left(x\right)} = 2. \]

Exercício. Calcule $\displaystyle \lim_{x \rightarrow 0} \dfrac{1-\cos\left(x\right)}{x\sin \left(x\right)}$ se existir.

Resolução. Note que $\displaystyle \lim_{x \rightarrow 0} 1-\cos\left(x\right) = \displaystyle \lim_{x \rightarrow 0} x \sin \left(x\right) = 0$ e que as funções envolvidas são diferenciáveis em toda parte. Logo, podemos aplicar a regra de L'Hôpital.

(50)
\[ \displaystyle \lim_{x \rightarrow 0} \dfrac{1-\cos\left(x\right)}{x\sin \left(x\right)} = \displaystyle \lim_{x \rightarrow 0} \dfrac{\sin\left(x\right)}{\sin\left(x\right) + x \cos \left(x\right)}. \]

Note que $\displaystyle \lim_{x \rightarrow 0} \sin\left(x\right) = \displaystyle \lim_{x \rightarrow 0} \sin\left(x\right) + x \cos \left(x\right) = 0$ e que as funções envolvidas são diferenciáveis em toda parte. Logo, podemos aplicar a regra de L'Hôpital novamente.

\[ \begin{aligned} \displaystyle \lim_{x \rightarrow 0} \dfrac{\sin\left(x\right)}{\sin\left(x\right) + x \cos \left(x\right)} =& \displaystyle \lim_{x \rightarrow 0} \dfrac{\cos\left(x\right)} {2 . \cos\left(x\right) - x \sin \left(x\right)} \nonumber \\ =& \dfrac{1}{2}. \nonumber \end{aligned} \]

Portanto podemos concluir que $\displaystyle \lim_{x \rightarrow 0} \dfrac{1-\cos\left(x\right)}{x\sin \left(x\right)} = \dfrac{1}{2}$.

Exercício. Calcule $\displaystyle \lim_{x \rightarrow \infty} \dfrac{1 - \cos\left(\dfrac{1}{x}\right)}{\sin\left(\dfrac{1}{x}\right)}$ se existir.

indeterminacaoz

Resolução. Observe que $1 - \cos\left(\dfrac{1}{x}\right)$ e que $\sin\left(\dfrac{1}{x}\right)$ são diferenciáveis para todo $x > 0$ e que ambas funções convergem para $0$ quando $x\rightarrow\infty$. Logo, temos que

\[ \begin{aligned} \displaystyle \lim_{x \rightarrow \infty} \dfrac{1 - \cos\left(\dfrac{1}{x}\right)}{\sin\left(\dfrac{1}{x}\right)} =& \displaystyle \lim_{x \rightarrow \infty} \dfrac{x^{-2} \sin\left(\dfrac{1}{x}\right)}{x^{-2} \cos\left(\dfrac{1}{x}\right)} \nonumber \\ =& \displaystyle \lim_{x \rightarrow \infty} \dfrac{\sin\left(\dfrac{1}{x}\right)}{\cos\left(\dfrac{1}{x}\right)} \nonumber \\ =& \dfrac{\sin\left(0\right)}{\cos\left(0\right)} \nonumber \\ =& 0. \nonumber \end{aligned} \]

Diferenças e Produtos Indeterminados

No caso de produtos indeterminados utilizamos que $fg=f/1/g$ para transformar o produto em quociente. Essa estratégia é ilustrada nos exemplos a seguir.

Exercício. Calcule

(51)
\[ \limitex{0+}x\ln x \]

indeterminacaoxlnx

Resolução.

(52)
\[ \limitex{0+}x\ln x= \limitex{0+}\dfrac{\ln x}{1/x}= \]

Utilizando L'Hopital temos

\[ \begin{aligned} \limitex{0+}\dfrac{\ln x}{1/x}=&\limitex{0+}\dfrac{1/x}{-1/x^2}\\ =&\limitex{0+}\dfrac{-x^2}{x}\\ =&\limitex{0+} -x=0 \end{aligned} \]

Exercício. Calcule

(53)
\[ \limitex{-\infty}x e^x \]

indeterminacaoxex

Resolução.

(54)
\[ \limitex{-\infty}x e^x= \limitex{-\infty}\dfrac{x}{e^{-x}} \]

Utilizando L'Hopital temos

(55)
\[ \limitex{-\infty}\dfrac{x}{e^{-x}}= \limitex{-\infty}\dfrac{1}{-e^{-x}}=0 \]

No caso de diferenças temos que manipular a expressão de modo a convertê-la num quociente ou num produto indeterminado:

Exercício. Calcule

(56)
\[ \limitex{0+} \left(\dfrac{1}{x^2}-\dfrac{1}{\sen x} \right) \]

Resolução.

(57)
\[ \limitex{0+} \dfrac{1}{x^2}\left(1-\dfrac{x^2}{\sen x} \right) \]

e

(58)
\[ \limitex{0+} \dfrac{x^2}{\sen x} =0 \]

Exercício. Calcule

(59)
\[ \limitex{\infty} x \sin \dfrac{1}{x} \]

sin1sobrex

Resolução.

\[ \begin{aligned} \limitex{\infty} x \sin \dfrac{1}{x} & = \limitex{\infty} \dfrac{\sin \dfrac{1}{x}}{1/x} \\ & = \limitex{\infty} \dfrac{-x^{-2}\cos\dfrac{1}{x}}{-x^{-2}} \\ & = \limitex{\infty} \cos\dfrac{1}{x} \\ & = \cos{\left(\limitex{\infty} \dfrac{1}{x} \right)} \\ & = 1. \end{aligned} \]

Potência Indeterminadas

Quando temos uma forma indeterminada que envolve uma potência, ou seja formas indeterminadas da forma $0^0$, $1^\infty$ e $\infty^0$, em geral a estratégia a ser utilizada é aplicar o logaritmo natural:

se $\dis \lim_{x\to c} \ln\big(f(x)\big) = L$, então

\[ \dis \lim_{x\to c} f(x) = \lim_{x\to c} e^{\ln(f(x))} = e\,^L. \]

Exercício. Calcule

(60)
\[ \lim_{x\to\infty}\left(1+\dfrac1x\right)^x \]

limfundamental

Resolução Temos uma forma indeterminada do tipo $1^\infty$. Seja $f(x) = (1+1/x)^x$. Desta forma queremos calcular $\dis\lim_{x\to\infty}f(x)$. Começaremos calculando $\dis \lim_{x\to\infty}\ln\big(f(x)\big)$.

\[ \begin{aligned} \lim_{x\to\infty}\ln\big(f(x)\big) & = \lim_{x\to\infty} \ln \left(1+\dfrac1x\right)^x \\ &= \lim_{x\to\infty} x\ln\left(1+\dfrac1x\right)\\ &= \lim_{x\to\infty} \dfrac{\ln\left(1+\dfrac1x\right)}{1/x}\\ &= \lim_{x\to\infty} \dfrac{\dfrac{1}{1+1/x}\cdot(-1/x^2)}{(-1/x^2)} \\ \end{aligned} \]
\[ \begin{aligned} &= \lim_{x\to\infty} \dfrac{\dfrac{1}{1+1/x}\cdot(-1/x^2)}{(-1/x^2)} \\ &= \lim_{x\to\infty}\dfrac{1}{1+1/x}\\ &= 1. \end{aligned} \]

Logo $\dis\lim_{x\to\infty} \ln \big(f(x)\big) = 1.$ Voltando ao limite original

\[ \lim_{x\to\infty}\left(1+\dfrac1x\right)^x = \lim_{x\to\infty} f(x) = \lim_{x\to\infty}e^{\ln (f(x))} = e^1 = e. \]

Exercício.

(61)
\[ \lim_{x\to0^+} x^x. \]

xelevadoax

Resolução. Temos uma forma indeterminada do tipo $0^0$. Seja $f(x) = x^x$. Começaremos calculando $\dis\lim_{x\to0^+} \ln\big(f(x)\big)$.

\[ \begin{aligned} \lim_{x\to0^+} \ln\big(f(x)\big) &= \lim_{x\to0^+} \ln\left(x^x\right) \\ &= \lim_{x\to0^+} x\ln x \\ &= \lim_{x\to0^+} \dfrac{\ln x}{1/x}.\\ &= \lim_{x\to0^+} \dfrac{1/x}{-1/x^2} \\ &= \lim_{x\to0^+} -x \\ &= 0. \end{aligned} \]

Logo $\dis\lim_{x\to0^+} \ln\big(f(x)\big) =0$. Voltando ao limite original

\[ \lim_{x\to0^+} x^x = \lim_{x\to0^+} f(x) = \lim_{x\to0^+} e^{\ln(f(x))} = e^0 = 1. \]

Assíntotas

Definição 8.
A reta $x=a$ é uma assíntota vertical de uma função $f$ se pelo menos uma das seguintes afirmações for verdadeira:

\[ \begin{aligned} \displaystyle \lim_{x \rightarrow a^{+}} f(x) = \infty & \ \ \ & \displaystyle \lim_{x \rightarrow a^{-}} f(x) = \infty \nonumber \\ \displaystyle \lim_{x \rightarrow a^{+}} f(x) = -\infty & \ \ \ & \displaystyle \lim_{x \rightarrow a^{-}} f(x) = -\infty \nonumber \end{aligned} \]

Exercício. A reta $ x = 3 $ é assíntota vertical de $f(x) =\dfrac{2}{x-3}.$

Definição 9.
A reta $ y = L $ é chamada de assíntota horizontal para uma função $ f$ se

(62)
\[ \lim_{x \to+\infty} f(x) = L \qquad \textrm{ ou } \qquad \lim_{x \to-\infty} f(x) = L \]

Exercício. A reta $ y = 1 $ é assíntota horizontal de $f(x) =\dfrac{x^2-1}{x^2+1}.$

Assíntotas Inclinadas

Definição 10.
Seja $f:I \rightarrow \mathbb{R}$ uma função qualquer. Se existem $a, b \in \mathbb{R}$ tais que

(63)
\[ \displaystyle \lim_{x \rightarrow \infty} \left(f(x)-\left(ax+b\right)\right) = 0 \]

dizemos que a reta $y(x) = ax +b$ é uma assíntota inclinada à função $f$. Se $a = 0$ dizemos que $y(x)=b$ é uma assíntota horizontal à função $f$.

Como encontrar $a$ e $b$?

O coeficiente $a$ é dado pelo valor do seguinte limite, se existir.

(64)
\[ a = \displaystyle \lim_{x \rightarrow \infty} \dfrac{f(x)}{x}. \]

Uma vez encontrado o valor de $a$ podemos utiliza-lo para encontrar o valor de $b$. O coeficiente $b$ é dado pelo valor do seguinte limite, se existir.

(65)
\[ b = \displaystyle \lim_{x \rightarrow \infty} \left(f(x)- ax\right) = 0. \]

Exercício. Determine as assíntotas de $f(x) =\sqrt{9x^2+x+1} $ e esboce o gráfico.

Resolução

Antes de calcular os limites, faremos algumas simplificações

\[ \begin{aligned} \dfrac{f(x)}{x} &= \dfrac {|x| \sqrt{9+\dfrac{1}{x} + \dfrac{1}{x^2}}}{x}\\ &= \left \{ \begin{array}{ll} \sqrt{9+\dfrac{1}{x} + \dfrac{1}{x^2}} & \textrm{ se } x > 0 \\ -\sqrt{9+\dfrac{1}{x} + \dfrac{1}{x^2}} & \textrm{ se } x < 0.\end{array} \right. \end{aligned} \]

Primeiramente observamos que $ \dis \lim_{x \to+ \infty } \dfrac{f(x)}{x} = 3 $ e $\dis \lim_{x \to-\infty } \dfrac{f(x)}{x} =- 3 .$ Assim $ a = 3 $ para $ x \to+ \infty $ e $ a =-2 $ para $ x \to-\infty.$

Determinemos agora $ b .$

(66)
\[ \lim_{x \to+ \infty} [\sqrt{9x^2+x+1} - 3x] = \lim_{x \to+ \infty} \dfrac{x+1}{\sqrt{9x^2+x+1} + 3x} = \dfrac{1}{6}. \]

Logo, $ y = 3x+\dfrac{1}{6} $ é assíntota para $ x \to+ \infty. $ Analogamente vemos que $ y = -3x - \dfrac{1}{6} $ é assíntota para $ x \to- \infty.$

assintota2

Exercício. Determine as assíntotas de $f(x)=\dis\dfrac{x^3}{x^2+1}$.

Resolução.

Como a função está definida em todos os pontos, pois $ x^2 +1 $ nunca é $0,$ não há assíntota vertical. Uma vez que $ \dis \lim_{x \to\pm \infty} f(x) = \pm\infty, $ não há assíntotas horizontais. Fazendo a divisão de polinômios obtemos

(67)
\[ \dfrac{x^3}{x^2+1} = x- \dfrac{x}{x^2+1}, \]

então

(68)
\[ \lim_{x \to\pm \infty } \dfrac{x^3}{x^2+1} - x = \lim_{x \to\pm \infty } \dfrac{x}{x^2+1} = 0. \]

Portanto, a reta $ y = x $ é uma assíntota oblíqua.

Construção de Gráficos

É possível fazer um esboço do gráfico de uma função utilizando os conceitos e resultados obtidos ao longo do curso. A seguir damos um roteiro que não pretende ser exaustivo. Isto é, o roteiro a seguir serve apenas como um guia. Porém, destacamos que cada função apresenta suas peculiaridades e seria inútil tentar gerar um algoritmo que sirva para todas as funções.

Roteiro para a construção de gráficos

Passos
1 Encontrar o domínio $\Dom f$.
2 Calcular os pontos de intersecção com os eixos.
3 Encontrar os pontos críticos e os valores críticos.
4 Determine, quando possível, se $f$ for par ou impar.
5 Determine intervalos de crescimento e decrescimento.
6 Encontre os máximos e mínimos de $f$.
7 Determine intervalos de concavidade e convexidade.
8 Determine os pontos de inflexão.
9 Encontre as assíntotas.
10 Faça o esboço do gráfico de $f$.

Observação.

  • Conhecer as simetrias da função, isto é, se a função $f$ é par ou impar ou periódica pode diminuir o trabalho a ser feito.

  • Distinga entre pontos de máximos e mínimos locais e globais.

  • Distinga entre assíntotas inclinadas, horizontais e inclinadas.

Exercício. Esboce o gráfico de $f(x) = 3x^3-10x^2+7x+5$.

Esboço do gráfico de $f(x) = 3x^3-10x^2+7x+5$

figsketch1a figsketch1b

Resolução

  • O domínio de $f$ é todos os reais; isto é $f(x)$ está definida para todo $x$.
  • Calculamos $f(0)=5$. Não calculamos as raízes pois é um polinômio de grau 3.
  • Para determinar os valores críticos de $f$ calculamos $f'(x) = 9x^2-20x+7$. Usando a fórmula de Bhaskara temos que $f'$ se anula em:
    \[x = \dfrac{20\pm \sqrt{(-20)^2-4(9)(7)}}{2(9)} = \dfrac19\left(10\pm\sqrt{37}\right) \Rightarrow x\approx 0.435, 1.787. \]
  • Para determinar os pontos de inflexão de $f$ calculamos $f''(x) = 18x-20$. E logo
    \[f''(x) = 0 \Rightarrow x= 10/9 \approx 1.111. \]
  • Não existem assíntotas verticais.

  • Para determinar o comportamento assintótico para valores grandes calcularemos os limites de $x\to \pm \infty $

    \[\lim_{x\to -\infty} f(x) = -\infty \qquad \lim_{x\to \infty}f(x) = \infty. \]

    Logo não temos assíntotas horizontais

  • Marcamos os valores $x=(10\pm\sqrt{37})/9$ e $x=10/9$ na reta real, como na figura 6. Marcamos cada subintervalo no qual seja crescente ou decrescente, concava para cima ou para baixo.

figsketchline1


Figura 6. 

* Nós colocamos os pontos apropriados no eixo como mostrado na Figura #figsketch1 e conectamos os pontos com linhas retas. Na Figura #figsketch1(b) nós ajustamos essas linhas para demonstrar a concavidade adequada. Nossa curva cruza o eixo $ $ y em y = $ 5 $ e atravessa a $ x $ eixo perto de $ x = -0.424 $. Na Figura #figsketch1 mostramos um gráfico de $ f $ desenhado com um programa de computador, verificando a precisão do nosso esboço.

~ End Resolucao

Exercício. Esboce o gráfico de $\dis f(x) = \dfrac{x^2-x-2}{x^2-x-6}$.

Resolução

  • Vamos determinar o domínio máximo de definição, para isso buscamos os pontos para os quais não podemos calcular $f$. Achamos que em $x=-2$ e $x=3$, $f(x)$ não está definida . Logo o domínio de $f$ is $\Dom = \{ x\neq -2,3\}$.

  • Para determinar os valores críticos de $f$, primeiro calculamos $f'(x)$. Usando a regra do quociente temos $f'(x) = \dfrac{-8x+4}{(x^2+x-6)^2} = \dfrac{-8x+4}{(x-3)^2(x+2)^2}.$

    $f'(x) = 0$ quando $x = 1/2$, e $f'$ não está definida quando $x=-2,3$. Como $f'$ não está definida somente quando $f$ também não está, estes não são valores críticos. O único valor crítico é $x=1/2$.

  • Para encontrar os possíveis pontos de inflexão, encontramos $f''(x)$, novamente utilizando a regra do quociente:
    \[f''(x) = \dfrac{24x^2-24x+56}{(x-3)^3(x+2)^3}. \]

Nós achamos que $ f '' (x) $ nunca é 0 (igualando o numerador a 0 e resolvendo para $ x $, encontramos que as únicas raízes para esta equação quadrática são imaginárias) e $f ''$ não está definida quando $ x = -2,3 $. Assim concavidade possivelmente irá alterar somente em $ x = -2 $ e $ x = 3 $.

  • As assíntotas verticais de $ f $ estão em $ x = -2 $ e $ x = 3 $, os pontos onde $ f $ não está definida.
  • Há uma assíntota horizontal em $ y = 1 $, pois $\dis \lim_{x\to -\infty}f(x) = 1$ e $\dis\lim_{x\to\infty}f(x) =1$.

  • Colocamos os valores $x=1/2$, $x=-2$ e $x=3$ na reta real como mostrado na Figura 7. Marcamos em cada intervalo se $f$ é crescente ou decrescente, concava para cima ou para baixo. Desta forma vemos que $f$ possui um máximo local em $x=1/2$; a concavidade muda apenas nas assintotas verticais.

    figsketchline2


    Figura 7. 
  • Colocamos os pontos apropriados no eixo como mostrado na Figura #figsketch2 e conectamos os pontos com linhas retas. Na Figura #figsketch2 nós ajustamos essas linhas para demonstrar a concavidade adequada. Também mostramos que $ f $ intersepta o eixo $ x $ em $ x = -1 $ e $ x = 2 $

figsketch2b figsketch2a figsketch2


Figura 8. 

Exercício. Esboce $\dis f(x) = \dfrac{5(x-2)(x+1)}{x^2+2x+4}.$

figsketch3afigsketch3b

figsketch3


Figura 9. Esboço do gráfico de $\dis f(x) = \dfrac{5(x-2)(x+1)}{x^2+2x+4}.$

Resolucao

  • Assumimos que o domínio de $ f $ é todos os números reais e consideramos as restrições. As únicas restrições vêm quando o denominador é 0, mas isso nunca ocorre. Portanto, o domínio de $ f $ é todos os números reais $\mathbb{R}$.
  • Nós determinamos os valores críticos de $ f $ igualando $ f '(x) = 0 $ e resolvendo para $ x $. Nós achamos $f'(x) = \dfrac{15x(x+4)}{(x^2+2x+4)^2} \quad \Rightarrow f'(x) = 0 \text{ quando } \ x=-4,0.$
  • Encontramos os possíveis pontos de inflexão, resolvendo $f''(x) = 0$ for $x$. Encontramos $f''(x) = -\dfrac{30x^3+180x^2-240}{(x^2+2x+4)^3} .$ O polinômio cúbico no numerador não fatora em termos simples.

    Assim aproximamos as raízes $ x = -5.759 $, $ x = -1.305 $ e $ x = 1.064 $.

  • Não existem assímptotas verticais.

  • Temos uma assíntota horizontal em $y=5$, pois $\dis \lim_{x\to-\infty}f(x) = \lim_{x\to\infty}f(x) = 5$.

  • Colocamos os pontos críticos e possíveis pontos em uma linha de número como mostrado na Figura 10 e marcamos cada intervalo como crescente/decrescente, concava para cima/para baixo

    figsketchline3


    Figura 10. 
  • Na Figura 9 (a) marcamos os pontos importantes na reta real, bem como as duas raízes de $ f $, $ x = -1 $ e $ x = 2 $, e ligamos os pontos com linhas retas para obter uma impressão geral sobre o gráfico. Na Figura 9 (b), nós adicionamos concavidade. Figura 9 (c) mostramos um gráfico gerado por computador de $ f $, confirmando nossos resultados.

Exercício. Esboce o gráfico da função

\[ f(x)=x+2x^{\frac{2}{3}}=x+2\sqrt[3]{x^{2}}. \]

Resolução

* A função $f$ é uma função algébrica irracional e definida para todo $ \mathbb{R}$, ou seja, $\Dom(f)=\mathbb{R}$.

A função $f$ é contínua para todo $x\in \mathbb{R}$. (Verifique a continuidade de $f$ no ponto $x=0$).

  • Como
    \[\begin{aligned} f(-x) =&x+2\sqrt[3]{x^{2}}\neq x+2\sqrt[3]{x^{2}}=f(x) \\ -f(x) =&-x-2\sqrt[3]{x^{2}}\neq x+2\sqrt[3]{x^{2}}=f(-x) \end{aligned} \]

Logo, f não é par nem ímpar.

  • Vamos determinar agora as raízes $f$:

    $f(x)=0\Longleftrightarrow \left{ \begin{array}{c} x=0

    x=-8% \end{array}% \right. $   são as raízes de f;

  • Vamos agora determinar a derivada, pontos críticos e os intervalos nos quais $f$ é crescente e decrescente

    (69)
    \[f'(x)=1+2.\dfrac{2}{3}x^{-\dfrac{1}{3}}=1+\dfrac{4}{3\sqrt[3]{x}} \]

$f\prime (x)$ não é definida para $x=0$, e portanto, $f$ não é diferenciável no ponto $x=0$.

(70)
\[ f'(x)=0\Longleftrightarrow 1+\dfrac{4}{3\sqrt[3]{x}}% =0\Longleftrightarrow \sqrt[3]{x}=-\dfrac{4}{3} \]
(71)
\[ \Leftrightarrow x=-\dfrac{64}{27}\approx -2,37 \]

Assim, $x=-\dfrac{64}{27}$ é um ponto crítico de $f$.

(72)
\[ f'(x)>0\Longleftrightarrow 1+\dfrac{4}{3\sqrt[3]{x}}>0\Longleftrightarrow x<-\dfrac{64}{27} \]

ou seja, $f$ é crescente no intervalo $\left( -\infty ,-\dfrac{64}{27}\right) .$

Do fato de $f'$ não existir no ponto $x=0$, devemos analisar o sinal de $f'$ numa vizinhança deste ponto;

Para $x>0$, temos $f'(x)=1+\dfrac{4}{3\sqrt[3]{x}}>0,$ ou seja, $f$ é crescente para $x>0$;

Para -$\dfrac{64}{27}<x<0,$ temos que $f'(x)<0,$ ou seja, $f$ é decrescente.

Podemos já concluir que $f$ tem um mínimo local no ponto $x=0$ (porque?).

  • Agora vamos estudar a concavidade de $f$:

    (73)
    \[f''(x)=-\dfrac{4}{9}x^{-\dfrac{4}{3}}=-\dfrac{4}{9}\dfrac{1}{\sqrt[3]{x^{4}}}% \text{ \ com }x\neq 0 \]

Temos que $f''(x)<0$ para todo $x\neq 0\Longrightarrow f''(-\dfrac{64}{27})<0$ , portanto, $x=-\dfrac{64}{27}$ é um ponto de máximo local para $f$.

Ainda, do fato de $f''(x)<0$ para todo $x\neq 0,$ então $f(x)$ tem a concavidade voltada para baixo para todo $x\neq 0.$

  • Passaremos agora a determinar as assíntotas:

    Temos que

    \[\begin{aligned} \lim_{x\rightarrow +\infty }(x+2\sqrt[3]{x^{2}}) =&+\infty \\ \lim_{x\rightarrow -\infty }(x+2\sqrt[3]{x^{2}}) =&\lim_{x\rightarrow -\infty }\sqrt[3]{x^{2}}(\dfrac{x}{x^{\dfrac{2}{3}}}+2)=\lim_{x\rightarrow -\infty }\sqrt[3]{x^{2}}\left( \sqrt[3]{x}+2\right) =\ -\infty \end{aligned} \]

    Se existir assíntota inclinada, será uma reta $y=ax+b$ onde, $a$ e $b$ são constantes dadas por:

    $a=\lim_{x\rightarrow +\infty }\dfrac{f(x)}{x}=\lim_{x\rightarrow +\infty}\left( 1+2x^{-\dfrac{1}{3}}\right) =1+\lim_{x\rightarrow +\infty }\dfrac{2}{\sqrt[3]{x}}=1;$

$b=\lim_{x\rightarrow +\infty }\left( f(x)-ax\right) =\lim_{x\rightarrow+\infty }2x^{\dfrac{2}{3}}=2\lim_{x\rightarrow +\infty }\sqrt[3]{x^{2}}=+\infty .$

O mesmo cálculo, feito para $x\rightarrow -\infty ,$ mostra que não há assíntota inclinada para $f$.

  • Valores especiais de $f$:

    $f(0)=0$  e  $y=0$ se

    \[x+2\sqrt[3]{x^{2}}=0\Longrightarrow x=0, x=-8 \]

    $f(-\dfrac{64}{27})=\dfrac{32}{27}\approx 1,18;$  $f(1)=4$  e  $f(8)=16.$

\newrgbcolor{qqwuqq}{0. 0.39215686274509803 0.} \psset{xunit=1.0cm,yunit=1.0cm,algebraic=true,dimen=middle,dotstyle=o,dotsize=3pt 0,linewidth=0.8pt,arrowsize=3pt 2,arrowinset=0.25} \begin{pspicture*}(-3.5,-1.4)(3.4,5.6) \psaxes[labelFontSize=\scriptstyle,xAxis=true,yAxis=true,Dx=1.,Dy=1.,ticksize=-2pt 0,subticks=2]{->}(0,0)(-3.5,-1.4)(3.4,5.6) \psplot[linewidth=1.2pt,linecolor=vermelho,plotpoints=200]{-3.5}{3.4}{x+2.0*abs(x)^(2.0/3.0)} \begin{scriptsize} \rput[bl](-4.2,0.72){{$f$}} \end{scriptsize} \end{pspicture*}

Problemas de Otimização

Exercício. Um fabricante de embalagens deseja fabricar uma lata cujo formato é um cilindro circular reto de volume $V_0$. Quais devem ser as dimensões da lata de modo a minimizar a quantidade de material gasto na fabricação, ou seja a área lateral da superfície?

lata


Figura 11. 

Resolução Sendo $r$ e $h$ o raio da base e a altura da lata, respectivamente. O volume da lata é dado por

(74)
\[ V_0=\pi r^2 h \]

e a área lateral

(75)
\[ A=2\pi r^2+2\pi r h \]

Resolvendo a equação (74) para h temos:

(76)
\[ h=\dfrac{V_0}{\pi r^2} \]

e substituindo em (75) temos

(77)
\[ A(r)= 2 \pi r^2 + 2 \dfrac{V_0}{r} \]

Claramente o raio deve ser positivo, e a área deve estar definida temos que temos que $0< r < \infty$

A função $A(r)$ é diferenciável em todos os pontos do domínio. Assim para calcular os pontos críticos, derivamos

\[ \begin{aligned} A'(r)=&4\pi r -2 \dfrac{V_0}{r^2}\\ =&\dfrac{2 \left(2 \pi r^3-V_0\right)}{r^2} \end{aligned} \]

e logo a derivada é igual a zero em:

(78)
\[ r=\left(\dfrac{V_0}{2\pi}\right)^{\dfrac{1}{3}} \]

Como não estamos num intervalo fechado, não temos a garantia de existência de um mínimo.

Para analisarmos o comportamento de $A(r)$ iremos estudar o sinal da derivada.

A derivada é positiva se $r>\left(\dfrac{V_0}{2\pi}\right)^{\dfrac{1}{3}}$ e negativa caso contrário.

E assim o ponto $r=\left(\dfrac{V_0}{2\pi}\right)^{\dfrac{1}{3}}$ é um ponto de mínimo global

Exercício. Encontre as dimensões do triângulo isósceles de maior área que esteja inscrito na circunferência de raio $R$.

Resolução Sejam $ x $ a altura do triângulo, $ y $ a base e $ z $ a medida de um dos lados congruentes. A área do triângulo é $ A =\dfrac{1}{2} xy$ onde $ x \in (0,2R) $ e $ y \in (0,2R).$ Utilizando Teorema de Pitágoras temos que

(79)
\[ \Bigl(\dfrac{y}{2}\Bigr)^2 + (x-R)^2 = R^2 \quad \text{ e portanto } \qquad y = 2 \sqrt{2Rx-x^2}. \]

Substituindo obtemos $A(x) = x \sqrt{2Rx-x^2}.$ Logo, nosso problema é maximizar a função

(80)
\[ A(x) = x \sqrt{2Rx-x^2} \qquad x \in (0,2R). \]

Calculando a derivada

(81)
\[ A'(x) = \dfrac{x(3R-2x)}{\sqrt{2Rx - x^2}}, \]

temos que ou $ x = \dfrac{3}{2}R $ é o único candidato a ponto de máximo no intervalo $(0,2R).$ Analisando o sinal da derivada primeira vemos que de fato $x = \dfrac{3}{2}R $ é um ponto de máximo. Portanto as dimensões são

(82)
\[ \text{altura } x = \dfrac{3}{2}R \quad \text{ e base } y = \sqrt{3}R \quad \text{ e logo } z^2 = \dfrac{9}{4}R^2 + \dfrac{3}{4} R^2 = 3 R^2. \]

Logo o triângulo é equilátero.

Exercício. Uma calha deve ser construída com uma folha de metal de largura $30cm$ dobrando-se para cima $1/3$ da folha de cada lado, fazendo-se um ângulo $\theta$ com a horizontal. Determine o ângulo que vai maximizar a quantidade de água que a calha pode conter.

\definecolor{ffqqqq}{rgb}{1.,0.,0.} \begin{tikzpicture}[line cap=round,line join=round,>=triangle 45,x=1.0cm,y=1.0cm] \clip(-2.3,-1.) rectangle (4.3,3.); \draw [color=ffqqqq] (0.,0.)-- (2.,0.); \draw [dash pattern=on 2pt off 2pt] (2.,0.)-- (4.,0.); \draw [dash pattern=on 2pt off 2pt] (0.,0.)-- (-2.,0.); \draw [color=ffqqqq] (-1.4142135623730951,1.414213562373095)-- (0.,0.); \draw [color=ffqqqq] (2.,0.)-- (3.414213562373095,1.414213562373095); \draw [dash pattern=on 2pt off 2pt] (-1.4142135623730951,1.414213562373095)-- (3.414213562373095,1.414213562373095); \draw (-0.89058,0.54) node[anchor=north west] {$\theta$}; \draw (-1.6044,1.2008) node[anchor=north west] {10}; \draw (0.9608,-0.0576) node[anchor=north west] {10}; \draw (3.3082,1.2734) node[anchor=north west] {10}; \draw (2.4128,0.541) node[anchor=north west] {$\theta$}; \end{tikzpicture}

Resolução

Neste caso, queremos maximizar o volume que uma calha pode suportar. Primeiramente observamos que o volume de uma calha desta forma é a área de seção transversal vezes comprimento da calha. Assim, para um determinado comprimento, a fim de maximizar o volume devemos maximizar a área da seção transversal.

Para obter uma fórmula para a área da seção transversal vamos refazer o desenho acima um pouco.

\definecolor{ffqqqq}{rgb}{1.,0.,0.} \begin{tikzpicture}[line cap=round,line join=round,>=triangle 45,x=1.0cm,y=1.0cm] \clip(-2.2,-1.) rectangle (4.2,2.5); \draw [color=ffqqqq] (0.,0.)-- (2.,0.); \draw [dash pattern=on 2pt off 2pt] (2.,0.)-- (4.,0.); \draw [dash pattern=on 2pt off 2pt] (0.,0.)-- (-2.,0.); \draw [color=ffqqqq] (-1.4142135623730951,1.414213562373095)-- (0.,0.); \draw [color=ffqqqq] (2.,0.)-- (3.414213562373095,1.414213562373095); \draw [dash pattern=on 2pt off 2pt] (-1.4142135623730951,1.414213562373095)-- (3.414213562373095,1.414213562373095); \draw [dash pattern=on 2pt off 2pt] (0.,0.)-- (0.,1.41); \draw [dash pattern=on 2pt off 2pt] (2.,0.)-- (2.,1.414213562373095); \draw (-0.809,0.52) node[anchor=north west] {$\theta$}; \draw (-0.9994,1.4606) node[anchor=north west] {$\theta$}; \draw (-1.6044,1.2008) node[anchor=north west] {10}; \draw (0.9608,-0.0576) node[anchor=north west] {10}; \draw (3.3082,1.2734) node[anchor=north west] {10}; \draw (2.4128,0.5442) node[anchor=north west] {$\theta$}; \draw (-0.8542,2.1414) node[anchor=north west] {$b$}; \draw (0.1622,1.1282) node[anchor=north west] {$h$}; \end{tikzpicture}

A área seccional pode ser obtida somando a área do retângulo e as áreas dos triângulos. Como $b=10\cos \theta$ e $h=10 \sin \theta$ temos:

(83)
\[ A=10h+ 2\left(\dfrac{1}{2} bh\right)=100 \sin \theta + (10 \sin \theta ) (10 \cos \theta) \]
(84)
\[ A= 100( \sin\theta \sin \theta \cos \theta \]

Podemos assumir que $\theta$ pertence ao intervalo $0\leq \theta \leq \pi/2$.

Calculando a derivada temos:

\[ \begin{aligned} A'(\theta)=&100(\cos \theta +\cos^2 \theta - \sin^2 \theta)\\ =&100(\cos \theta +\cos^2 \theta - (1- \cos^2 \theta))\\ =&100(2 \cos^2 \theta +\cos \theta - 1)\\ =&100(2 \cos \theta -1)( \cos \theta +1)\\ \end{aligned} \]

E logo a derivada se anula quando: $2 \cos \theta -1=$ ou seja $\cos \theta =1/2$ e logo $\theta=\pi/3$. ou quando $\cos \theta +1=0$, ou seja $\cos \theta =-1$ e $\theta=\pi$.

Como $A(0)=0$, $A(\pi/3)\approx 129.9$ e $A(\pi)=100$. Temos que a área seccional máxima ocorre quando $\theta=\pi/3$.

Exercício. Um arame de comprimento $L$ é cortado em duas partes. Com uma dessas partes faz-se um quadrado e com a outra um retângulo equilátero. Em que ponto deve-se cortar o arame para que a soma das áreas seja máxima?

Resolução

A soma das áreas é dada por

(85)
\[ A=a^{2}+\dfrac{\sqrt{3}}{4}b^{2} \]

onde, $a^{2}$ é a área do quadrado de lado $a$  e $\dfrac{\sqrt{3}}{4}b^{2}$ é a área do triângulo equilátero de lado $b$.

Como o arame tem comprimento $L$, então $L=4a+3b\Longrightarrow a=\dfrac{L-3b}{4}.$ Substituindo o valor de a na equação (85), obtemos $A$ como função de apenas uma variável:

\[ \begin{aligned} A(b) =&\left[ \dfrac{L-3b}{4}\right] ^{2}+\dfrac{\sqrt{3}}{4}b^{2}=\dfrac{% L^{2}-6Lb+9b^{2}+4\sqrt{3}b^{2}}{16} \\ =&\dfrac{1}{16}\left[ \left( 9+4\sqrt{3}\right) b^{2}-6Lb+L^{2}\right] \end{aligned} \]

Devemos determinar um valor para $b$ de modo que $A(b)$ seja máxima. Começaremos procurando os pontos críticos

(86)
\[ A^{\prime }(b)=-\dfrac{3}{2}\left( L-3b\right) +\dfrac{b\sqrt{3}}{2}=-\dfrac{3}{% 2}L+\dfrac{9+\sqrt{3}}{2}b \]

Então,

(87)
\[ f'(b)=0\Longleftrightarrow b=\dfrac{3L}{9+\sqrt{3}} \]

Por outro lado, $A''(\dfrac{3L}{9+\sqrt{3}})=\dfrac{9+\sqrt{3}}{2}>0\Longrightarrow $ a soma das áreas assume um mínimo local nesse ponto (critério da segunda derivada) quando $b=\dfrac{3L}{9+\sqrt{3}}$ $\Longleftrightarrow a=\dfrac{1}{4}\left( L-\dfrac{9L}{9+\sqrt{3}}\right) .$

Como a função $A(b)$ é contínua no intervalo $\left[ 0,\dfrac{L}{3}\right] $ temos que existe um máximo e um mínimo absolutos em $\left[ 0,\dfrac{L}{3}\right] $

Como somente assume um mínimo local no interior deste intervalo, então o máximo deve ser assumido em um dos extremos deste intervalo. Vamos calcular os valores nos extremos:

Se $b=0$ e portanto $a=\dfrac{L}{4},$ temos  $A(0)=\left( \dfrac{L}{4}\right)^{2}=\dfrac{1}{16}L^{2};$

Se $b=\dfrac{L}{3}$ e portanto, $a=0,$ temos $A(\dfrac{L}{3})=\dfrac{\sqrt{3}}{4}\left( \dfrac{L}{3}\right) ^{2}=\dfrac{\sqrt{3}}{36}L^{2}$

Como, $\dfrac{\sqrt{3}}{36}L^{2}<\dfrac{1}{16}L^{2}$  (porque $\dfrac{4}{9}\sqrt{3}<1$  e  $\sqrt{3}<2),$ segue-se que a área é máxima quando não se corta o arame, formando somente um quadrado de lado $a=\dfrac{L}{4}.$

Polinômio de Taylor

Nesta seção, vamos discutir a Fórmula de Taylor, a qual nos fornece o polinômio de grau $n$ que melhor aproxima uma função na vizinhança de um ponto $a$.

Polinômio de Taylor de Ordem 1 e 2

O exemplo mais simples de aproximação de uma função por um polinômio é a aproximação linear.

Naquela seção utilizamos a aproximação linear

(88)
\[ P_1(x) = f(a) + f'(a) (x-a) \]

para aproximar a função $ f(x) $ para $ x $ na vizinhança de $ a$.

Definimos o erro que ao aproximar $ f(x) $ por $ P_1 $ por

(89)
\[ E_1(x) = f(x) - P_1(x). \]

E desta forma podemos escrever:

(90)
\[ f(x)=f(a) + f'(a) (x-a)+E_1(x) \]

Teorema 14.
O erro $ E_1(x) $ tende a zero mais rapidamente do que $(x-a).$ Isto é, temos que:

(91)
\[ \limitex{a} \dfrac{E_1(x)}{x-a} = 0, \]

Demonstração. Observemos que, para $ x \neq a, $ temos

(92)
\[ \dfrac{E-1(x)}{x-a} = \dfrac{f(x) - f(a)}{x-a} - f'(a). \]

E logo

(93)
\[ \limitex{a} \dfrac{E_1(x)}{x-a} = 0, \]

O polinômio de Taylor de ordem 1 de $f(x)$ ao redor de $a$ é definido como

(94)
\[ P_1(x) = f(a) + f'(a) (x-a) \]

Teorema 15.
O polinômio $ P_1$ é a função linear que melhor aproxima localmente $f(x) $ ao redor de $a.$

Demonstração Seja uma $q(x)$ uma função linear

(95)
\[ q(a)=d+m(x-a) \]

E tal que

(96)
\[ f(x)=d+m(x-a)+E_1(x) \]

e suponha que $\limitex{a} \dfrac{E_1(x)}{x-a}=0$.

Como o erro em $a$ é $0$ temos que $d=f(a)$ e logo a reta passa por $(a,(f(a))$. Para determinarmos $m$ observe que

(97)
\[ f(x)-f(a)=m(x-a)+E_1(x) \]

dividindo por $(x-a)$ e tomando o limite teríamos

(98)
\[ \limitex{a} \dfrac{f(x)-f(a)}{x-a}=\limitex{a} m+\limitex{a} \dfrac{E_1(x)}{x-a} \]

E logo $m=f'(a)$.

Uma deficiência da aproximação linear é que a reta tangente possui apenas a mesma inclinação de $ f $; ela não consegue por exemplo, possuir a mesma concavidade que $ f $. Nosso objetivo nessa seção é encontrar um polinômio $p(x) $, que coincide não só na inclinação, mas também na concavidade

Para isso suponha que a função $f(x) $ seja duas vezes diferenciável. Procuramos um polinômio $P_2(x) $, de grau no máximo $2$, tal que

(99)
\[ f(a) = P_2(a) ,\quad f'(a) = P_2'(a) \,\, \text{ e }\,\, f''(a)= P_2''(a). \]

Devemos procurar $ P_2(x) = c_0 + c_1 (x-a) + c_2(x-a)^2$ que satisfaça:

  • $ f(a) = P_2(a) \ \Longrightarrow \ c_0 = f(a), $

  • $P_2'(x) = c_1 + 2 c_2 (x-a) \ \Longrightarrow \ P_2'(a) = c_1 =f'(a),$

  • $ \displaystyle P_2'(x) = 2 c_2 \ \Longrightarrow \ P_2'(a) = 2c_2 = f''(a) \ \Longrightarrow \ c_2 = \dfrac{f''(a)}{2}.$

    Concluímos, portanto, que

    \[\displaystyle P_2(x) = f(a) + f'(a) (x-a) + \dfrac{f''(a)}{2} (x-a)^2. \]

Novamente, definimos o erro que se comete ao aproximar $ f(x) $ por $ P_2(x) $ por

(100)
\[ E_2(x) = f(x) - P_2(x). \]

Observemos que, para $ x \neq p, $

(101)
\[ \dfrac{E_2(x)}{(x-a)^2} = \dfrac{f(x) - f(a) - f'(a)(x-a) - \dfrac{f''(a)}{2} (x-a)^2}{(x-a)^2} , \]

e, utilizando a regra de L'Hopital, obtemos

(102)
\[ \lim_{x \rightarrow p}\dfrac{E(x)}{(x-a)^2} = \dfrac{1}{2}\lim_{x \rightarrow p} \left[ \dfrac{f'(x) - f'(a)}{(x-a)} - f''(a)\right] = 0. \]

Ou seja, quando $ x \rightarrow p ,$ o erro $ E_2(x) $ tende a zero mais rapidamente que $ (x-a)^2.$

Definimos o polinômio de Taylor de ordem 2 de $f(x)$ ao redor de $p$ por

(103)
\[ \displaystyle P_2(x) = f(a) + f'(a) (x-a) + \dfrac{f''(a)}{2} (x-a)^2 \]

Novamente podemos provar que $P_2$ é o polinômio de grau 2 que melhor aproxima localmente $f(x)$ ao redor de $a.$

Polinômio de Taylor de Ordem n

Suponha que $f$ tem derivadas até ordem $n$ no ponto $x = 0$, onde $n> 1$, e deixe-nos tentar encontrar um polinômio

(104)
\[ P_n(x)=c_0+c_1x+\dots c_nx^n \]

que concorda com $f$ e suas primeiras $n$ derivadas em 0. Há $n + 1$ condições a serem satisfeitas, ou seja,

(105)
\[ P_n(0)=f(0) \quad P_n'(0)=f'(0) \quad \dots P_n^{ (n)}(0)=f^{(n)}(0) \]

A equação $P_n(0)=f(0)$ nos dá que $c_0=f(0)$. Diferenciando temos

(106)
\[ P'_n(x)=c_1+2c_2x+\dots nc_nx^{n-1} \]

e assim $P'_n(0)=c_1=f'(0)$, e logo $c_1=f'(0)$ Diferenciando novamente temos

(107)
\[ P'_n(x)=2c_2+\dots nc_nx^{n-1} \]

e assim $P'_n(0)=2c_2=f'(0)$, e logo $c_2=f'(0)/2$

E após diferenciar $k$ vezes:

(108)
\[ c_k=f^{(k)}(0)/k! \]

temos que tal polinômio terá a seguinte forma

(109)
\[ \displaystyle P_n(x) = f(0) + f'(0) (x) + \dfrac{f''(0)}{2} x^2 + ... + \dfrac{f^{(n)}(0)}{n!} x^n \]

Definição 11.
O polinômio

(110)
\[ \displaystyle P_n(x) = f(0) + f'(0) (x) + \dfrac{f''(0)}{2} x^2 + ... + \dfrac{f^{(n)}(0)}{n!} x^n \]

é denominado polinômio de Taylor de ordem $n$ de $f(x)$ centrado na origem.

Exercício.

  • Determine o $n$-ésimo termo do polinômio de Taylor para $f(x) = e^x$.
  • Use $P_5(x)$ para aproximar o valor de $e$.

Resolução

  • Começamos tabelando as derivadas de $e^x$ no ponto $x=0$.

    ~ Begin Center

$f(x) = e^x$ $\Rightarrow $$f(0) = 1$
$f'(x) = e^x $ $\Rightarrow $$f'(0) = 1$
$f''(x) = e^x $ $\Rightarrow $$f''(0) = 1$
$\ \vdots $ $\ \vdots$
$f\,^{(n)}(x) = e^x $$\Rightarrow $$f\,^{(n)}(0) = 1$

~ End Center

Desta forma pela definição de Taylor

\[ \begin{aligned} P_n(x) &= f(0) + f'(0)x + \dfrac{f'(0)}{2!}x^2++\cdots+\dfrac{f\,^n(0)}{n!}x^n\\ &= 1+x+\dfrac{1}{2}x^2+\dfrac{1}{6}x^3 + \dfrac{1}{24}x^4 + \cdots + \dfrac{1}{n!}x^n. \end{aligned} \]
  • Da parte 1

    \[P_5 = 1+x+\dfrac{1}{2}x^2+\dfrac{1}{6}x^3 + \dfrac{1}{24}x^4 + \dfrac{1}{120}x^5. \]

    Para aproximar o valor de $e$, observe que $e = e^1 = f(1) \approx P_5(1).$ É muito simples de calcular $P_5(1)$:

    \[P_5(1) = 1+1+\dfrac12+\dfrac16+\dfrac1{24}+\dfrac1{120} = \dfrac{163}{60} \approx 2.71667. \]

    Um gráfico de $f(x)=e^x$ e $P_5(x)$ é mostrada na figura 12.

\begin{tikzpicture} \begin{axis}[width=\marginparwidth+25pt,% tick label style={font=\scriptsize},axis y line=middle,axis x line=middle,name=myplot,axis on top,% % xtick={2,4,6,8,10},% % extra x ticks={3.14,1.57}, % extra x tick labels={$\pi$,$\pi/2$}, % ytick={-1,-2,1,2}, %minor y tick num=1,%extra y ticks={-5,-3,...,7},% % minor x tick num=4, ymin=-3,ymax=11,% xmin=-3.75,xmax=2.9% ] \addplot [ocre,domain=-3.5:2.5,smooth,thick,samples=50] {exp(x)}; \addplot [vermelho,domain=-4:4,smooth,thick] coordinates {(-3.5,-1.645)(-3.39,-1.365)(-3.28,-1.123)(-3.17,-0.9148)(-3.06,-0.7362)(-3.,-0.65)(-2.89,-0.5103)(-2.78,-0.3917)(-2.67,-0.2911)(-2.56,-0. 2061)(-2.45,-0.1341)(-2.34,-0.07308)(-2.23,-0.02097)(-2.12,0.02397)(- 2.01,0.06332)(-1.9,0.0985)(-1.79,0.1308)(-1.68,0.1613)(-1.57,0.1911)(- 1.46,0.2212)(-1.35,0.2522)(-1.24,0.2851)(-1.13,0.3205)(-1.02,0.3592)(- 0.91,0.4018)(-0.8,0.449)(-0.69,0.5014)(-0.58,0.5598)(-0.47,0.625)(-0. 36,0.6977)(-0.25,0.7788)(-0.14,0.8694)(-0.03,0.9704)(0.08,1.083)(0.19, 1.209)(0.3,1.35)(0.41,1.507)(0.52,1.682)(0.63,1.878)(0.74,2.096)(0.85, 2.339)(0.96,2.61)(1.07,2.913)(1.18,3.25)(1.29,3.625)(1.4,4.042)(1.51, 4.506)(1.62,5.021)(1.73,5.592)(1.84,6.224)(1.95,6.924)(2.06,7.698)(2. 17,8.552)(2.28,9.494)(2.39,10.53)(2.5,11.67)}; %\addplot [{\colortwo!40},domain=-4:4,thick,smooth] {-x^4/2-x^3/6+x^2+x+2}; \draw (axis cs:-3.,-2) node {\scriptsize $y=P_5(x)$}; %\draw (axis cs:-2,-2.75) node {\scriptsize $y=p_{13}(x)$}; \end{axis} \node [right] at (myplot.right of origin) {\scriptsize $x$}; \node [above] at (myplot.above origin) {\scriptsize $y$}; \end{tikzpicture}

Figura 12. 

Exercício.

  • Ache o $n$-ésimo termo do polinômio de Taylor de $y=\ln x$ em $x=1$.

  • Use $P_6(x)$ para aproximar o valor de $ \ln 1.5$.

  • Use $P_6(x)$ para aproximar o valor de $\ln 2$.

Resolução

Começamos tabelando a derivada de $\ln x$ em $x=1$.

Taylor de $\ln x$
$f(x) = \ln x $ $\Rightarrow $ $f(1) = 0$
$f'(x) = 1/x $ $\Rightarrow $ $f'(1) = 1$
$f''(x) = -1/x^2 $$\Rightarrow $ $f''(1) = -1$
$f'''(x) = 2/x^3 $$\Rightarrow $$f'''(1) = 2$
$f\,^{(4)}(x) = -6/x^4 $$\Rightarrow $$f\,^{(4)}(1) = -6$
$\ \vdots $ $\ \vdots$
$f\,^{(n)}(x) = $ $\Rightarrow$ $f\,^{(n)}(1) = $
$\dis \rule{0pt}{15pt}\dfrac{(-1)^{n+1}(n-1)!}{x^n} $ $(-1)^{n+1}(n-1)!$

Pela definição [#def:taypoly], temos

\[ \begin{aligned} P_n(x) &= f(c) + f'(c)(x-c) + \dfrac{f'p(c)}{2!}(x-c)^2+\dfrac{f'''(c)}{3!}(x-c)^3+\cdots+\dfrac{f\,^n(c)}{n!}(x-c)^n\\ &= 0+(x-1)-\dfrac12(x-1)^2+\dfrac13(x-1)^3-\dfrac14(x-1)^4+\cdots+\dfrac{(-1)^{n+1}}{n}(x-1)^n. \end{aligned} \]

E assim $P_6(x)$ é dado por

\[ P_6(x) = (x-1)-\dfrac12(x-1)^2+\dfrac13(x-1)^3-\dfrac14(x-1)^4+\dfrac15(x-1)^5-\dfrac16(x-1)^6. \]

E desta forma

\[ \begin{aligned} P_6(1.5) &= (1.5-1)-\dfrac12(1.5-1)^2+\dfrac13(1.5-1)^3-\dfrac14(1.5-1)^4+\cdots \\ &\cdots +\dfrac15(1.5-1)^5-\dfrac16(1.5-1)^6\\ &=\dfrac{259}{640}\\ &\approx 0.404688. \end{aligned} \]

Está é uma boa aproximação já que $\ln 1.5 \approx 0.4055.$ A figura 13 mostra o gráfico de $y=\ln x$ e $y=P_6(x)$.

* Agora aproximaremos $\ln 2$ por $ P_6(2)$:

\[ \begin{aligned} P_6(2) &= (2-1)-\dfrac12(2-1)^2+\dfrac13(2-1)^3-\dfrac14(2-1)^4+\cdots \\ &\cdots +\dfrac15(2-1)^5-\dfrac16(2-1)^6\\ &= 1-\dfrac12+\dfrac13-\dfrac14+\dfrac15-\dfrac16 \\ &= \dfrac{37}{60}\\ &\approx 0.616667. \end{aligned} \]

Essa aproximação não é fantástica: uma calculadora mostra que $\ln 2 \approx 0.693147.$ O gráfico na Figura 13 mostra que $P_6(x)$ fornece aproximações menos acuradas de $\ln x$ quando $x$ fica próximo de 0 ou 2.

Mesmo o polinômio de Taylor de ordem 20 falha ao aproximar $\ln x$ para $x>2$, como mostra a figura 14. Nos discutiremos a seguir o porque.

\begin{tikzpicture} \begin{axis}[width=\marginparwidth+25pt,% tick label style={font=\scriptsize},axis y line=middle,axis x line=middle,name=myplot,axis on top,% % xtick={2,4,6,8,10},% % extra x ticks={3.14,1.57}, % extra x tick labels={$\pi$,$\pi/2$}, % ytick={-1,-2,1,2}, %minor y tick num=1,%extra y ticks={-5,-3,...,7},% % minor x tick num=4, ymin=-4.5,ymax=2.4,% xmin=-.5,xmax=3.2% ] \addplot [ocre,domain=0.01:3,smooth,thick,samples=50] {ln(x)}; \addplot [vermelho,domain=-4:4,smooth,thick] coordinates {(-0.22,-4.213)(-0.15,-3.543)(-0.1,-3.132)(-0.04,-2.702)(0.02,-2.333)(0.08,-2.015)(0.14,-1.74)(0.2, -1.502)(0.26,-1.296)(0.32,-1.115)(0.38,-0.9564)(0.44,-0.8161)(0.5,-0. 6911)(0.56,-0.5791)(0.62,-0.4778)(0.68,-0.3856)(0.74,-0.3011)(0.8,-0. 2231)(0.86,-0.1508)(0.92,-0.08338)(0.98,-0.0202)(1.04,0.03922)(1.1,0. 09531)(1.16,0.1484)(1.22,0.1988)(1.28,0.2468)(1.34,0.2926)(1.4,0.3363) (1.46,0.378)(1.52,0.4177)(1.58,0.4553)(1.64,0.4907)(1.7,0.5233)(1.76, 0.5527)(1.82,0.578)(1.88,0.5982)(1.94,0.6117)(2.,0.6167)(2.06,0.6108)( 2.12,0.5912)(2.18,0.5544)(2.24,0.4961)(2.3,0.4114)(2.36,0.2944)(2.42, 0.1381)(2.48,-0.06544)(2.54,-0.3253)(2.6,-0.6521)(2.66,-1.058)(2.72,- 1.556)(2.78,-2.161)(2.84,-2.892)(2.9,-3.765)(2.96,-4.804)}; %\addplot [{\colortwo!40},domain=-4:4,thick,smooth] {-x^4/2-x^3/6+x^2+x+2}; \draw (axis cs:2.5,1.65) node {\scriptsize $y=\ln x$}; \draw (axis cs:2.2,-2.75) node {\scriptsize $y=P_6(x)$}; \end{axis} \node [right] at (myplot.right of origin) {\scriptsize $x$}; \node [above] at (myplot.above origin) {\scriptsize $y$}; \end{tikzpicture}

Figura 13. 
\begin{tikzpicture} \begin{axis}[width=\marginparwidth+25pt,% tick label style={font=\scriptsize},axis y line=middle,axis x line=middle,name=myplot,axis on top,% % xtick={2,4,6,8,10},% % extra x ticks={3.14,1.57}, % extra x tick labels={$\pi$,$\pi/2$}, % ytick={-1,-2,1,2}, %minor y tick num=1,%extra y ticks={-5,-3,...,7},% % minor x tick num=4, ymin=-4.5,ymax=2.4,% xmin=-.5,xmax=3.2% ] \addplot [ocre,domain=0.01:3,smooth,thick,samples=50] {ln(x)}; \addplot [vermelho,domain=-4:4,smooth,thick] coordinates {(-0.108,-7.567)(-0.052,-4.958)(0.004,-3.519)(0.06,-2.671)(0.116,-2.13) (0.172,-1.756)(0.228,-1.478)(0.284,-1.259)(0.34,-1.079)(0.396,-0.9263) (0.452,-0.7941)(0.508,-0.6773)(0.564,-0.5727)(0.62,-0.478)(0.676,-0. 3916)(0.732,-0.312)(0.788,-0.2383)(0.844,-0.1696)(0.9,-0.1054)(0.956,- 0.045)(1.012,0.01193)(1.068,0.06579)(1.124,0.1169)(1.18,0.1655)(1.236, 0.2119)(1.292,0.2562)(1.348,0.2986)(1.404,0.3393)(1.46,0.3784)(1.516, 0.4161)(1.572,0.4523)(1.628,0.4874)(1.684,0.5212)(1.74,0.5538)(1.796, 0.5853)(1.852,0.6154)(1.908,0.6427)(1.964,0.6635)(2.02,0.6665)(2.076, 0.621)(2.132,0.4476)(2.188,-0.04877)(2.244,-1.326)(2.3,-4.421)}; %\addplot [{\colortwo!40},domain=-4:4,thick,smooth] {-x^4/2-x^3/6+x^2+x+2}; \draw (axis cs:2.5,1.65) node {\scriptsize $y=\ln x$}; \draw (axis cs:1.7,-2.75) node {\scriptsize $y=p_{20}(x)$}; \end{axis} \node [right] at (myplot.right of origin) {\scriptsize $x$}; \node [above] at (myplot.above origin) {\scriptsize $y$}; \end{tikzpicture}

Figura 14. 

Para entendermos porque a aproximação acima falha precisamos entender a precisão com que uma função é aproximada por polinômios de Taylor, para esse fim definimos o erro como sendo

(111)
\[ E_n(x) = f(x) - P_n(x), \]

sendo $f(x) $ a função dada e $ P_n(x)$ o polinômio de Taylor de grau $n$ ao redor de $a.$

Teorema [Fórmula de Taylor com Erro de Lagrange].
Suponhamos que a função $f(x)$ seja $(n+1)$ vezes diferenciável no ao redor do ponto $p.$ Então

(112)
\[ E_n(x) = \dfrac{f^{n+1}(\bar{x})}{(n+1)!} (x-a)^{n+1} \]

para algum $\bar{x}$ entre $x$ e $a$.

A demonstração desse Teorema será feita no Apêndice A.1

Exercício. Use o Teorema [Fórmula de Taylor com Erro de Lagrange] para estimar o erro cometido ao aproximar $\ln 1.5$ e $\ln 2$ por $P_6(x)$, o polinômio de Taylor de grau 6 de $f(x)=\ln x$ centrado em $x=1$, como calculado no Exemplo 42.

  • Vimos que $\ln 1.5$ pode ser aproximado por $P_6(1.5)$. Para calcularmos o erro usaremos o Teorema [Fórmula de Taylor com Erro de Lagrange] e para isso precisamos de um intervalo aberto $I$ que contenha $x$ e $c$. Quanto menor o intervalo usamos o melhor; ele vai nos dar uma aproximação mais precisa (e menor!) do erro. Assim escolhemos $I = (0.9,1.6)$, pois este intervalo contém tanto $c=1$ e $x=1.5$.

    Agora precisamos estimar $\max\big|f\,^{(n+1)}(z)\big|$. Nesse caso específico queremos determinar o quão grande é a sétima derivada de $y=\ln x$ no intervalo aberto $(0.9,1.6)$. A sétima derivada é $ -6!/x^7$.

O maior valor que atinge em $ I$ é de cerca de 1506. Assim, podemos limitar o erro como:

\[ \begin{aligned} \big|E_6(1.5)\big| &\leq \dfrac{\max\big|f\,^{(7)}(z)\big|}{7!}\big|(1.5-1)^7\big| &\leq \dfrac{1506}{5040}\cdot\dfrac1{2^7} &\approx 0.0023. \end{aligned} \]

Como $P_6(1.5) = 0.404688$ e usando uma calculadora temos que $\ln 1.5 \approx 0.405465$, o erro real é de $0.000778$, que é menor que o erro máximo estimado usando o Teorema $0.0023$.

  • Novamente começamos escolhendo um intervalo $I$ que contenha $c=1$ e $x=2$; Nesse caso escolheremos $I = (0.9,2.1)$. O valor máximo da sétima derivada de $f$ nesse intervalo é 1506 (o maior valor ocorre próximo de $x=0.9$). Logo

    \[\begin{aligned} \big| E_6(2)\big| &\leq \dfrac{\max\big|f\,^{(7)}(z)\big|}{7!}\big|(2-1)^7\big| &\leq \dfrac{1506}{5040}\cdot1^7 &\approx 0.30. \end{aligned} \]

    Esse limitante não é tão bom quanto o anterior. Como $P_6(2)\approx 0.61667$, a nossa estimativa de erro garante que o valor real de $\ln 2$ está entre $0.31667$ e $0.91667$. E desta forma não são muito úteis.

Exercício. Quantos termos do polinômio de Taylor são necessários para aproximar $ e $ com um erro inferior a $10^{-5}$?

Resolução. Queremos que $E_n(1) < 10^{-5} .$ Logo basta tomar $n $ tal que $ \dfrac{3}{(n+1)!} < 10^{-5}, $ ou seja, tal que $ (n+1)! > 3(10^5).$ Substituindo valores em $ (n+1)!$ temos que a desigualdade é satisfeita para $ n =8.$

Irracionalidade de e

Começaremos obtendo uma expressão para $e$ utilizando polinômios de Taylor.

Teorema 17.

(113)
\[ e=\lim_{n\to +\infty} \Bigl( 1 + 1 + \dfrac{1}{2} + \dfrac{1}{3!} + \dfrac{1}{4!} +...+ \dfrac{1}{n!}\Bigr) \]

Demonstração

Como vimos, o polinômio de Taylor de ordem $n$ ao redor do zero da função $f(x) = e^x $ é $ \displaystyle P_n(x) = 1 + x +\dfrac{x}{2} + \dfrac{x^3}{3!} + \dfrac{x^4}{4!} +...+ \dfrac{x^n}{n!}.$

Observe que para $x\in [0,1],\, 0 \leq e^x = f^{(n+1)}(x) \leq e< 3.$ Pelo Teorema [Fórmula de Taylor com Erro de Lagrange], o erro da aproximação é dado por

(114)
\[ | e^1 - P_n(1)| = \Bigl| e - \Bigl( 1 + 1 + \dfrac{1}{2} + \dfrac{1}{3!} + \dfrac{1}{4!} +...+ \dfrac{1}{n!}\Bigr)\Bigr| \]
(115)
\[ = |E_n(1)| = \Bigl| \dfrac{f^{(n+1)}(x)}{(n+1)!}\Bigr| \]

para algum $ x \in [0,1].$

Logo,

(116)
\[ \Bigl| e - \Bigl( 1 + 1 + \dfrac{1}{2} + \dfrac{1}{3!} + \dfrac{1}{4!} +...+ \dfrac{1}{n!}\Bigr)\Bigr| \leq \dfrac{3}{(n+1)!}. \]

Finalmente, tomando o limite e aplicando o Teorema do Confronto obtemos

(117)
\[ \lim_{n\to +\infty} \Bigl( 1 + 1 + \dfrac{1}{2} + \dfrac{1}{3!} + \dfrac{1}{4!} +...+ \dfrac{1}{n!}\Bigr) = e. \]

Teorema 18.
O número $e$ é irracional.

Demonstração

Suponha que $e$ é um número racional. Então existem inteiros positivos $a$ e $b$ de tal forma que $e = a / b$. Defina o número

(118)
\[ x = b!\,\biggl(e - \sum_{n = 0}^{b} \dfrac{1}{n!}\biggr)\! \]

Desta forma se e é racional, então $x$ será um inteiro. Para vermos esse fato substituímos e = a/b nessa definição e obtemos

(119)
\[ x = b!\,\biggl(\dfrac{a}{b} - \sum_{n = 0}^{b} \dfrac{1}{n!}\biggr) = a(b - 1)! - \sum_{n = 0}^{b} \dfrac{b!}{n!}\,. \]

O primeiro termo é um número inteiro, e cada fração na soma é realmente um número inteiro porque $ n \leq b $ para cada termo. Portanto $ x $ é um número inteiro.

Agora demonstraremos que $0 < x < 1$. Primeiramente provaremos que $x$ é positivo, para isso utilizaremos a representação de e em série obtida anteriormente, obtendo

\[ \begin{aligned} x& = b!\,\biggl(\sum_{n = 0}^{\infty} \dfrac{1}{n!} - \sum_{n = 0}^{b} \dfrac{1}{n!}\biggr)\\ =& \sum_{n = b+1}^{\infty} \dfrac{b!}{n!}>0 \end{aligned} \]

Agora demonstraremos que $x<1$. Para todos os termos com $n\geq b+1$ temos a estimativa

(120)
\[ \dfrac{b!}{n!} =\dfrac1{(b+1)(b+2)\cdots(b+(n-b))} <\dfrac1{(b+1)^{n-b}}\,.\! \]

Essa desigualdade é estrita para cada $ n \geq b + 1 $. Alterando o índice de soma de $k =n-b $ e utilizando a fórmula para a série geométrica obtemos

\[ \begin{aligned} x & =\sum_{n = b+1}^\infty \dfrac{b!}{n!}\\ &< \sum_{n=b+1}^\infty \dfrac1{(b+1)^{n-b}}\\ & =\sum_{k=1}^\infty \dfrac1{(b+1)^k}\\ & =\dfrac{1}{b+1} \biggl(\dfrac1{1-\dfrac1{b+1}}\biggr)\\ & = \dfrac{1}{b} < 1. \end{aligned} \]

Como não existe inteiro estritamente entre 0 e 1, chegamos a uma contradição, e assim e deve ser irracional.

Apêndice

Demonstração da Fórmula de Taylor com Resto de Lagrange

Teorema [Fórmula de Taylor com resto de Lagrange].
Suponhamos que a função $f(x)$ seja $(n+1)$ vezes diferenciável no ao redor do ponto $p.$ Então

(121)
\[ E_n(x) = \dfrac{f^{n+1}(\bar{x})}{(n+1)!} (x-a)^{n+1} \]

para algum $\bar{x}$ entre $x$ e $p$.

Demonstração.

Podemos obter a fórmula de Taylor utilizando no Teorema [Teorema do Valor Médio de Cauchy Generalizado] $g(x)=(x-c)^n$. Desta forma para algum $x_1$ teríamos

\[ \left( {f(x) - \sum\limits_{k = 0}^{n - 1} {\dfrac{{{f^{(k)}}(c)}}{{k!}}} {{(x - c)}^k}} \right)n! = {f^{(n)}}({x_1}){\left( {x - c} \right)^n} \]

ou

\[ f(x) = \sum\limits_{k = 0}^{n - 1} {\dfrac{{{f^{(k)}}(c)}}{{k!}}} {(x - c)^k} + \dfrac{{{f^{(n)}}({x_1})}}{{n!}}{\left( {x - c} \right)^n} \]

Observe que $g^{(k)}(c)=0$ se $k=0,1,2\ldots,n-1$, $g^{n}=n!.$

Referências