Math ClubMath Club
v1 · padrão canônico

Lição 8 — Teorema de Weierstrass (máximo e mínimo)

Funções contínuas em intervalos fechados e limitados (compactos) atingem seus valores máximo e mínimo absolutos. Demonstração via sequências, consequências e aplicações em otimização de engenharia.

Used in: Cálculo 1 — Unidade 1 · USP MAC0105 · ITA MA-011

f contıˊnua em [a,b]    xmin,xmax[a,b]:f(xmin)f(x)f(xmax)  x[a,b]f \text{ contínua em } [a,b] \;\Longrightarrow\; \exists\, x_{\min}, x_{\max} \in [a,b]: f(x_{\min}) \leq f(x) \leq f(x_{\max})\;\forall x \in [a,b]

O Teorema de Weierstrass (ou Teorema do Valor Extremo) garante que toda função contínua num intervalo fechado e limitado [a,b][a,b] atinge seu máximo e mínimo absolutos. Ambos os requisitos — fechado e limitado — são indispensáveis.

Choose your door

Rigorous notation, full derivation, hypotheses

Definição rigorosa

Teorema de Weierstrass (Valor Extremo)

Estrutura da demonstração:

Passo 1 — ff é limitada superiormente: Suponha, por absurdo, que ff é ilimitada superiormente em [a,b][a,b]. Então para cada nNn \in \mathbb{N} existe xn[a,b]x_n \in [a,b] com f(xn)>nf(x_n) > n. Como (xn)(x_n) é sequência em [a,b][a,b] (limitada), pelo Teorema de Bolzano-Weierstrass existe subsequência xnkc[a,b]x_{n_k} \to c \in [a,b]. Por continuidade de ff: f(c)=limkf(xnk)f(c) = \lim_{k}f(x_{n_k}). Mas f(xnk)>nk+f(x_{n_k}) > n_k \to +\infty — contradição pois f(c)f(c) é finito. \square

Passo 2 — ff atinge o supremo: Seja M=sup[a,b]fM = \sup_{[a,b]} f. Existe sequência yn[a,b]y_n \in [a,b] com f(yn)Mf(y_n) \to M. Por Bolzano-Weierstrass, ynkxmax[a,b]y_{n_k} \to x_{\max} \in [a,b]. Por continuidade: f(xmax)=limf(ynk)=Mf(x_{\max}) = \lim f(y_{n_k}) = M. Analogamente para o ínfimo. \blacksquare

Exemplos resolvidos


Exercícios

Exercise list

30 exercises · 7 with worked solution (25%)

Application 18Understanding 6Modeling 4Challenge 2
  1. Ex. 8.1Understanding

    A fórmula do vértice da parábola y=ax2+bx+cy = ax^2+bx+c é h=b/(2a)h = -b/(2a). Qual resultado do cálculo diferencial justifica essa fórmula?

    Select the correct option
    Select an option first
    Show solution
    Para y=ax2+bx+cy = ax^2+bx+c, a derivada é y=2ax+by' = 2ax+b. Igualando a zero: 2ax+b=0x=b/(2a)2ax+b=0 \Rightarrow x=-b/(2a). Como é ponto único de y=0y'=0 e y=2a0y''=2a\neq 0, é máximo (se a<0a<0) ou mínimo (se a>0a>0).
    Show step-by-step (with the why)
    1. Calcule y=2ax+by' = 2ax + b.
    2. Resolva 2ax+b=02ax+b=0: x=b/(2a)x = -b/(2a).
    3. Essa é a abscissa do vértice da parábola.
  2. Ex. 8.2Understanding

    Ao buscar o mínimo absoluto de uma função contínua em [a,b][a,b], por que é necessário verificar os extremos do intervalo aa e bb, além dos pontos críticos interiores?

    Select the correct option
    Select an option first
    Show solution
    Ao buscar mínimo absoluto em [a,b][a,b], o Teorema de Weierstrass garante existência. O Teorema de Fermat diz que extremos interiores têm f=0f'=0 (ou ff' inexistente), mas os extremos aa e bb também são candidatos — o mínimo pode estar lá.
  3. Ex. 8.3UnderstandingAnswer key

    Para uma função definida em (a,b)(a,b) com aa e bb finitos, é possível não ter máximo ou mínimo absoluto?

    Select the correct option
    Select an option first
    Show solution
    O Teorema de Weierstrass exige que o domínio seja fechado e limitado e que ff seja contínua. Em (a,b)(a,b) aberto, uma função contínua como f(x)=xf(x)=x não atinge máximo ou mínimo absoluto.
  4. Ex. 8.4UnderstandingAnswer key

    Ao verificar pontos críticos, por que também é necessário verificar os pontos onde f(x)f'(x) não está definida?

    Select the correct option
    Select an option first
    Show solution
    Um ponto crítico é onde f=0f'=0 OU onde ff' não existe. Exemplo: f(x)=xf(x)=|x| tem mínimo em x=0x=0, onde ff' não é definida. Ignorar esses pontos pode levar a perder o extremo absoluto.
  5. Ex. 8.5Understanding

    É possível ter máximo absoluto finito para y=ax2+bx+cy = ax^2+bx+c sobre (,)(-\infty,\infty)?

    Select the correct option
    Select an option first
    Show solution
    Para y=ax2+bx+cy=ax^2+bx+c em (,)(-\infty,\infty): se a<0a<0, a parábola abre para baixo e tem máximo absoluto em x=b/(2a)x=-b/(2a), mas não tem mínimo. Se a>0a>0, tem mínimo mas não máximo. Se a=0a=0, é uma reta sem extremos (ou constante).
  6. Ex. 8.6Understanding

    É possível ter máximo absoluto finito para y=ax3+bx2+cx+dy = ax^3+bx^2+cx+d (com a0a\neq 0) sobre (,)(-\infty,\infty)?

    Select the correct option
    Select an option first
    Show solution
    Para y=ax3+bx2+cx+dy=ax^3+bx^2+cx+d com a0a\neq 0: quando x+x\to+\infty, y+y\to+\infty (se a>0a>0) ou yy\to-\infty (se a<0a<0). Em ambos os casos, a função é ilimitada e não tem máximo nem mínimo absolutos sobre (,)(-\infty,\infty).
  7. Ex. 8.7Application

    Encontre os números críticos de y=4x33xy = 4x^3 - 3x no domínio da função.

    Select the correct option
    Select an option first
    Show solution
    y=4x33xy = 4x^3-3x, então y=12x23=3(4x21)y' = 12x^2-3 = 3(4x^2-1). Igualando a zero: 4x21=0x=±1/24x^2-1=0 \Rightarrow x=\pm 1/2. Os pontos críticos são x=±1/2x=\pm 1/2. (Nota: a opção correta indica x=±1/2x=\pm 1/2; rever enunciado — correta é a opção "$x = \\pm 1/2$".)
  8. Ex. 8.8ApplicationAnswer key

    Encontre os números críticos de y=4xx2y = 4x - x^2 no domínio da função.

    Select the correct option
    Select an option first
    Show solution
    y=4xx2y = 4x - x^2, então y=42xy' = 4 - 2x. Igualando a zero: 42x=0x=24-2x=0 \Rightarrow x=2. Único ponto crítico: x=2x=2 (máximo, pois y=2<0y''=-2<0).
    Show step-by-step (with the why)
    1. Derive: y=42xy' = 4 - 2x.
    2. Resolva 42x=04-2x=0: x=2x=2.
    3. Verifique: y=2<0y''=-2<0, portanto x=2x=2 é máximo local.
  9. Ex. 8.9Application

    Encontre os números críticos de y=1x1y = \dfrac{1}{x-1} no domínio da função.

    Select the correct option
    Select an option first
    Show solution
    y=1/(x1)y = 1/(x-1), domínio x1x\neq 1. Derivada: y=1/(x1)2y' = -1/(x-1)^2, que nunca é zero. Em x=1x=1, a função não está definida. Portanto, não há pontos críticos no domínio.
  10. Ex. 8.10Application

    Encontre os números críticos de y=ln(x2)y = \ln(x-2) no domínio da função.

    Select the correct option
    Select an option first
    Show solution
    y=ln(x2)y = \ln(x-2), domínio x>2x>2. Derivada: y=1/(x2)>0y' = 1/(x-2) > 0 para todo x>2x>2. A derivada nunca é zero, logo não há pontos críticos.
  11. Ex. 8.11ApplicationAnswer key

    Encontre os números críticos de y=4x2y = \sqrt{4-x^2} no domínio da função.

    Select the correct option
    Select an option first
    Show solution
    y=4x2y = \sqrt{4-x^2}, domínio [2,2][-2,2]. Derivada: y=x/4x2y' = -x/\sqrt{4-x^2}. Igualando a zero: x=0x=0. Em x=±2x=\pm 2, a derivada não existe (extremos do domínio). Ponto crítico interior: x=0x=0.
  12. Ex. 8.12Application

    Encontre os números críticos de y=x3/23x5/2y = x^{3/2} - 3x^{5/2} no domínio da função.

    Select the correct option
    Select an option first
    Show solution
    y=x3/23x5/2y = x^{3/2} - 3x^{5/2}, domínio x0x\geq 0. Derivada: y=32x1/2152x3/2=32x1/2(15x)y' = \frac{3}{2}x^{1/2} - \frac{15}{2}x^{3/2} = \frac{3}{2}x^{1/2}(1-5x). Igualando a zero: x=0x=0 ou x=1/5x=1/5. Recalculando: 15x=0x=1/51-5x=0\Rightarrow x=1/5. Em x=0x=0 a derivada também é zero. Pontos críticos: x=0x=0 e x=1/5x=1/5.
  13. Ex. 8.13Application

    Encontre os números críticos de y=sin2(x)y = \sin^2(x) no domínio da função.

    Select the correct option
    Select an option first
    Show solution
    y=sin2(x)y = \sin^2(x). Derivada: y=2sinxcosx=sin(2x)y' = 2\sin x\cos x = \sin(2x). Igualando a zero: sin(2x)=02x=kπx=kπ/2\sin(2x)=0 \Rightarrow 2x = k\pi \Rightarrow x = k\pi/2 para inteiro kk. Pontos críticos: x=kπ/2x = k\pi/2.
  14. Ex. 8.14Application

    Encontre os extremos absolutos de f(x)=x2+3f(x) = x^2+3 no intervalo [1,4][-1,4].

    Select the correct option
    Select an option first
    Show solution
    f(x)=x2+3f(x) = x^2+3. Derivada: f=2x=0x=0f'=2x=0\Rightarrow x=0. Candidatos: x=1,0,4x=-1,0,4. Valores: f(1)=4f(-1)=4, f(0)=3f(0)=3, f(4)=19f(4)=19. Máximo absoluto: f(4)=19f(4)=19; mínimo absoluto: f(0)=3f(0)=3.
    Show step-by-step (with the why)
    1. Calcule f(x)=2xf'(x)=2x; ponto crítico em x=0x=0.
    2. Avalie nos candidatos {1,0,4}\{-1,0,4\}: f(1)=4f(-1)=4, f(0)=3f(0)=3, f(4)=19f(4)=19.
    3. Máximo: 19 em x=4x=4; mínimo: 3 em x=0x=0.
  15. Ex. 8.15Application

    Encontre os extremos absolutos de y=x2+2xy = x^2+2x no intervalo [1,4][1,4].

    Select the correct option
    Select an option first
    Show solution
    y=x2+2xy = x^2+2x. Derivada: y=2x+2=0x=1y'=2x+2=0\Rightarrow x=-1. Mas x=1x=-1 não está em [1,4][1,4]. Candidatos: extremos x=1x=1 e x=4x=4. Valores: y(1)=3y(1)=3, y(4)=24y(4)=24. Máximo: 24 em x=4x=4; mínimo: 3 em x=1x=1.
  16. Ex. 8.16ApplicationAnswer key

    Encontre os extremos absolutos de y=(xx2)2y = (x-x^2)^2 no intervalo [1,1][-1,1].

    Select the correct option
    Select an option first
    Show solution
    y=(xx2)2y=(x-x^2)^2. Derivada: y=2(xx2)(12x)y'=2(x-x^2)(1-2x). Zeros em x=0,1/2,1x=0,1/2,1 (dentro de [1,1][-1,1]). Candidatos: 1,0,1/2,1-1,0,1/2,1. Valores: y(1)=4y(-1)=4, y(0)=0y(0)=0, y(1/2)=1/16y(1/2)=1/16, y(1)=0y(1)=0. Máximo absoluto: 4 em x=1x=-1. (Resp: 4)
  17. Ex. 8.17Application

    Encontre os extremos absolutos de y=9xy = 9-x no intervalo [1,9][1,9].

    Select the correct option
    Select an option first
    Show solution
    y=9xy = 9-x é decrescente em [1,9][1,9]. Máximo em x=1x=1: y=8y=8; mínimo em x=9x=9: y=0y=0. (Não há pontos críticos interiores pois y=10y'=-1\neq 0.)
  18. Ex. 8.18Application

    Encontre os extremos absolutos de y=x+sinxy = x + \sin x no intervalo [0,2π][0,2\pi].

    Select the correct option
    Select an option first
    Show solution
    y=x+sinxy=x+\sin x. Derivada: y=1+cosx0y'=1+\cos x\geq 0 sempre (pois cosx1\cos x\geq -1). A função é não-decrescente em [0,2π][0,2\pi]. Máximo: y(2π)=2πy(2\pi)=2\pi; mínimo: y(0)=0y(0)=0. (Sem pontos críticos interiores onde y>0y'>0 estritamente, exceto x=πx=\pi onde y=0y'=0 — ponto de inflexão, não extremo.)
  19. Ex. 8.19Application

    Encontre os extremos absolutos de y=x1+xy = \dfrac{x}{1+x} no intervalo [0,100][0,100].

    Select the correct option
    Select an option first
    Show solution
    y=x/(1+x)y = x/(1+x). Derivada: y=1/(1+x)2>0y'=1/(1+x)^2>0 para todo x0x\geq 0. Crescente em [0,100][0,100]. Máximo: y(100)=100/101y(100)=100/101; mínimo: y(0)=0y(0)=0.
  20. Ex. 8.20Application

    Encontre os extremos absolutos de y=x+1+x1y = |x+1|+|x-1| no intervalo [3,2][-3,2].

    Select the correct option
    Select an option first
    Show solution
    y=x+1+x1y=|x+1|+|x-1|. Para x<1x<-1: y=(x+1)(x1)=2xy=-(x+1)-(x-1)=-2x. Para 1x1-1\leq x\leq 1: y=(x+1)(x1)=2y=(x+1)-(x-1)=2. Para x>1x>1: y=2xy=2x. Em [3,2][-3,2]: y(3)=6y(-3)=6, y(1)=2y(-1)=2, y(1)=2y(1)=2, y(2)=4y(2)=4. Máximo: y(3)=6y(-3)=6.
  21. Ex. 8.21ApplicationAnswer key

    Encontre os extremos absolutos de y=sinx+cosxy = \sin x + \cos x no intervalo [0,2π][0,2\pi].

    Select the correct option
    Select an option first
    Show solution
    y=sinx+cosxy=\sin x+\cos x. Derivada: y=cosxsinx=0x=π/4,5π/4y'=\cos x-\sin x=0\Rightarrow x=\pi/4,5\pi/4 em [0,2π][0,2\pi]. Valores: y(0)=1y(0)=1, y(π/4)=2y(\pi/4)=\sqrt{2}, y(5π/4)=2y(5\pi/4)=-\sqrt{2}, y(2π)=1y(2\pi)=1. Máximo: 2\sqrt{2}; mínimo: 2-\sqrt{2}.
    Show step-by-step (with the why)
    1. Derive: y=cosxsinxy'=\cos x-\sin x.
    2. Resolva y=0y'=0: tanx=1x=π/4\tan x=1\Rightarrow x=\pi/4 e x=5π/4x=5\pi/4.
    3. Avalie nos candidatos {0,π/4,5π/4,2π}\{0,\pi/4,5\pi/4,2\pi\}.
    4. Máximo: 2\sqrt{2} em x=π/4x=\pi/4; mínimo: 2-\sqrt{2} em x=5π/4x=5\pi/4.
  22. Ex. 8.22ApplicationAnswer key

    Encontre os extremos locais e absolutos de y=x2+4x+5y = x^2+4x+5 sobre (,)(-\infty,\infty).

    Select the correct option
    Select an option first
    Show solution
    y=x2+4x+5=(x+2)2+1y=x^2+4x+5=(x+2)^2+1. Mínimo local (e absoluto) em x=2x=-2: y(2)=1y(-2)=1. Como o domínio é (,)(-\infty,\infty) e y+y\to+\infty, não há máximo absoluto. Mínimo absoluto: y=1y=1 em x=2x=-2.
  23. Ex. 8.23Application

    Encontre os extremos locais e absolutos de y=x312xy = x^3 - 12x sobre (,)(-\infty,\infty).

    Select the correct option
    Select an option first
    Show solution
    y=x312xy=x^3-12x. Derivada: y=3x212=3(x24)y'=3x^2-12=3(x^2-4). Zeros: x=±2x=\pm 2. y=6xy''=6x: y(2)=12<0y''(-2)=-12<0 (máximo local), y(2)=12>0y''(2)=12>0 (mínimo local). Valores: y(2)=16y(-2)=16, y(2)=16y(2)=-16. Sem extremos absolutos (cúbico ilimitado).
  24. Ex. 8.24Application

    Encontre os extremos locais e absolutos de y=3x4+8x318x2y = 3x^4+8x^3-18x^2 sobre (,)(-\infty,\infty).

    Select the correct option
    Select an option first
    Show solution
    y=3x4+8x318x2y=3x^4+8x^3-18x^2. Derivada: y=12x3+24x236x=12x(x2+2x3)=12x(x+3)(x1)y'=12x^3+24x^2-36x=12x(x^2+2x-3)=12x(x+3)(x-1). Zeros: x=0,3,1x=0,-3,1. y=36x2+48x36y''=36x^2+48x-36. Em x=0x=0: y=36<0y''=-36<0 (máximo local). Em x=3x=-3: y=180>0y''=180>0 (mínimo local). Em x=1x=1: y=48>0y''=48>0 (mínimo local). Sem extremos absolutos.
  25. Ex. 8.25Modeling

    Uma empresa de celulares tem função de custo C=x21200x+36,000C = x^2 - 1200x + 36{,}000, onde xx é o número de unidades produzidas. Quantas unidades minimizam o custo?

    Select the correct option
    Select an option first
    Show solution
    Custo: C=x21200x+36,000C = x^2 - 1200x + 36{,}000. Derivada: C=2x1200=0x=600C'=2x-1200=0\Rightarrow x=600. Como C=2>0C''=2>0, é mínimo. O custo mínimo ocorre em 600 unidades.
    Show step-by-step (with the why)
    1. Calcule C(x)=2x1200C'(x)=2x-1200.
    2. Resolva C=0C'=0: x=600x=600.
    3. Confirme mínimo: C=2>0C''=2>0.
    4. Custo mínimo: C(600)=60021200600+36000=324,000C(600)=600^2-1200\cdot600+36000=-324{,}000 (em unidades da empresa).
  26. Ex. 8.26Modeling

    A posição de uma bola lançada ao ar é h(t)=4,9t2+60t+5h(t) = -4{,}9t^2 + 60t + 5 (metros). Quando a bola atinge a altura máxima e qual é essa altura?

    Select the correct option
    Select an option first
    Show solution
    Posição: h(t)=4,9t2+60t+5h(t) = -4{,}9t^2 + 60t + 5 (m). Derivada: h=9,8t+60=0t=60/9,86,12h'=-9{,}8t+60=0\Rightarrow t=60/9{,}8\approx 6{,}12 s. Altura máxima: h(6,12)=4,9(6,12)2+60(6,12)+5188h(6{,}12)=-4{,}9(6{,}12)^2+60(6{,}12)+5\approx 188 m. (Resp: t6,12t\approx 6{,}12 s, h188h\approx 188 m)
  27. Ex. 8.27Modeling

    A produção de ouro na corrida do ouro da Califórnia é modelada por G(t)=25tt2+16G(t) = \dfrac{25t}{t^2+16}, onde tt é anos após 1848. Em que ano a produção foi máxima?

    Select the correct option
    Select an option first
    Show solution
    Produção: G(t)=25t/(t2+16)G(t) = 25t/(t^2+16). Derivada: G=25(16t2)/(t2+16)2G' = 25(16-t^2)/(t^2+16)^2. Zero: 16t2=0t=416-t^2=0\Rightarrow t=4. Produção máxima em t=4t=4 (1852), com G(4)=254/32=100/32=25/8G(4)=25\cdot4/32=100/32=25/8.
  28. Ex. 8.28Modeling

    Usando o modelo G(t)=25t/(t2+16)G(t) = 25t/(t^2+16), qual é o valor da produção máxima de ouro (em t=4t=4)?

    Select the correct option
    Select an option first
    Show solution
    G(4)=254/(42+16)=100/(16+16)=100/32=25/8G(4) = 25\cdot4/(4^2+16) = 100/(16+16) = 100/32 = 25/8.
  29. Ex. 8.29Challenge

    Analise os pontos críticos de y=(x1)ay = (x-1)^a e determine sob que condições sobre aa o ponto x=1x=1 é máximo, mínimo ou nem um nem outro.

    Select the correct option
    Select an option first
    Show solution
    Para y=(x1)ay=(x-1)^a: derivada y=a(x1)a1y'=a(x-1)^{a-1}. Em x=1x=1: se aa é par e positivo, y=0y'=0 e há mínimo. Se aa é ímpar, yy' não troca sinal (ou não existe para a<1a<1), logo não é extremo. Para a0a\leq 0, a análise depende do domínio.
  30. Ex. 8.30Challenge

    Para a função genérica y=ax2+bx+cy = ax^2+bx+c em (,)(-\infty,\infty), determine o tipo de extremo e se é absoluto, em função do sinal de aa.

    Select the correct option
    Select an option first
    Show solution
    Para y=ax2+bx+cy=ax^2+bx+c em (,)(-\infty,\infty): o único ponto crítico é x=b/(2a)x=-b/(2a). Se a<0a<0, a parábola abre para baixo — máximo absoluto em x=b/(2a)x=-b/(2a), sem mínimo (yy\to-\infty). Se a>0a>0, mínimo absoluto, sem máximo.

Fontes

Updated on 2026-05-20 · Author(s): Clube da Matemática

Found an error? Open an issue on GitHub or submit a PR — open source forever.