|
Warning: this is an htmlized version!
The original is here, and the conversion rules are here. |
% (find-LATEX "2024-1-C2-diferenciais.tex")
% (defun c () (interactive) (find-LATEXsh "lualatex -record 2024-1-C2-diferenciais.tex" :end))
% (defun C () (interactive) (find-LATEXsh "lualatex 2024-1-C2-diferenciais.tex" "Success!!!"))
% (defun D () (interactive) (find-pdf-page "~/LATEX/2024-1-C2-diferenciais.pdf"))
% (defun d () (interactive) (find-pdftools-page "~/LATEX/2024-1-C2-diferenciais.pdf"))
% (defun e () (interactive) (find-LATEX "2024-1-C2-diferenciais.tex"))
% (defun ed () (interactive) (find-LATEX "2024-1-C2-mv-defs.tex"))
% (defun o () (interactive) (find-LATEX "2024-1-C2-diferenciais.tex"))
% (defun u () (interactive) (find-latex-upload-links "2024-1-C2-diferenciais"))
% (defun v () (interactive) (find-2a '(e) '(d)))
% (defun d0 () (interactive) (find-ebuffer "2024-1-C2-diferenciais.pdf"))
% (defun cv () (interactive) (C) (ee-kill-this-buffer) (v) (g))
% (code-eec-LATEX "2024-1-C2-diferenciais")
% (find-pdf-page "~/LATEX/2024-1-C2-diferenciais.pdf")
% (find-sh0 "cp -v ~/LATEX/2024-1-C2-diferenciais.pdf /tmp/")
% (find-sh0 "cp -v ~/LATEX/2024-1-C2-diferenciais.pdf /tmp/pen/")
% (find-xournalpp "/tmp/2024-1-C2-diferenciais.pdf")
% file:///home/edrx/LATEX/2024-1-C2-diferenciais.pdf
% file:///tmp/2024-1-C2-diferenciais.pdf
% file:///tmp/pen/2024-1-C2-diferenciais.pdf
% http://anggtwu.net/LATEX/2024-1-C2-diferenciais.pdf
% (find-LATEX "2019.mk")
% (find-Deps1-links "Caepro5 Piecewise2 Maxima2")
% (find-Deps1-cps "Caepro5 Piecewise2 Maxima2")
% (find-Deps1-anggs "Caepro5 Piecewise2 Maxima2")
% (find-MM-aula-links "2024-1-C2-diferenciais" "2" "c2m241di" "c2di")
% «.defs» (to "defs")
% «.defs-T-and-B» (to "defs-T-and-B")
% «.defs-caepro» (to "defs-caepro")
% «.defs-pict2e» (to "defs-pict2e")
% «.defs-maxima» (to "defs-maxima")
% «.defs-mvdefs» (to "defs-mvdefs")
% «.title» (to "title")
% «.links» (to "links")
% «.link-leithold» (to "link-leithold")
% «.links-stewart» (to "links-stewart")
% «.links-miranda» (to "links-miranda")
%
% «.notacao-de-Leibniz» (to "notacao-de-Leibniz")
% «.introducao» (to "introducao")
% «.meu-objetivo» (to "meu-objetivo")
% «.MVDs-e-MVIs» (to "MVDs-e-MVIs")
% «.MVDs-e-MVIs-color» (to "MVDs-e-MVIs-color")
% «.caso-A» (to "caso-A")
% «.exercicio-1» (to "exercicio-1")
% «.expanda-as-justs» (to "expanda-as-justs")
% «.complete-as-justs» (to "complete-as-justs")
% «.chutar-e-testar» (to "chutar-e-testar")
% «.leithold-p302» (to "leithold-p302")
%
% «.teste-mvdefs» (to "teste-mvdefs")
\documentclass[oneside,12pt]{article}
\usepackage[colorlinks,citecolor=DarkRed,urlcolor=DarkRed]{hyperref} % (find-es "tex" "hyperref")
\usepackage{amsmath}
\usepackage{amsfonts}
\usepackage{amssymb}
\usepackage{pict2e}
\usepackage[x11names,svgnames]{xcolor} % (find-es "tex" "xcolor")
\usepackage{colorweb} % (find-es "tex" "colorweb")
%\usepackage{tikz}
%
% (find-dn6 "preamble6.lua" "preamble0")
%\usepackage{proof} % For derivation trees ("%:" lines)
%\input diagxy % For 2D diagrams ("%D" lines)
%\xyoption{curve} % For the ".curve=" feature in 2D diagrams
%
\usepackage{edrx21} % (find-LATEX "edrx21.sty")
\input edrxaccents.tex % (find-LATEX "edrxaccents.tex")
\input edrx21chars.tex % (find-LATEX "edrx21chars.tex")
\input edrxheadfoot.tex % (find-LATEX "edrxheadfoot.tex")
\input edrxgac2.tex % (find-LATEX "edrxgac2.tex")
%
% (find-es "tex" "geometry")
\usepackage[a6paper, landscape,
top=1.5cm, bottom=.25cm, left=1cm, right=1cm, includefoot
]{geometry}
%
\begin{document}
% «defs» (to ".defs")
% (find-LATEX "edrx21defs.tex" "colors")
% (find-LATEX "edrx21.sty")
\def\drafturl{http://anggtwu.net/LATEX/2024-1-C2.pdf}
\def\drafturl{http://anggtwu.net/2024.1-C2.html}
\def\draftfooter{\tiny \href{\drafturl}{\jobname{}} \ColorBrown{\shorttoday{} \hours}}
\def\P#1{\left(#1\right)}
% (find-LATEX "2024-1-C2-carro.tex" "defs-caepro")
% (find-LATEX "2024-1-C2-carro.tex" "defs-pict2e")
\catcode`\^^J=10
\directlua{dofile "dednat6load.lua"} % (find-LATEX "dednat6load.lua")
% «defs-T-and-B» (to ".defs-T-and-B")
\long\def\ColorDarkOrange#1{{\color{orange!90!black}#1}}
\def\T(Total: #1 pts){{\bf(Total: #1)}}
\def\T(Total: #1 pts){{\bf(Total: #1 pts)}}
\def\T(Total: #1 pts){\ColorRed{\bf(Total: #1 pts)}}
\def\B (#1 pts){\ColorDarkOrange{\bf(#1 pts)}}
% «defs-caepro» (to ".defs-caepro")
%L dofile "Caepro5.lua" -- (find-angg "LUA/Caepro5.lua" "LaTeX")
\def\Caurl #1{\expr{Caurl("#1")}}
\def\Cahref#1#2{\href{\Caurl{#1}}{#2}}
\def\Ca #1{\Cahref{#1}{#1}}
% «defs-pict2e» (to ".defs-pict2e")
%L dofile "Piecewise2.lua" -- (find-LATEX "Piecewise2.lua")
%L --dofile "Escadas1.lua" -- (find-LATEX "Escadas1.lua")
\def\pictgridstyle{\color{GrayPale}\linethickness{0.3pt}}
\def\pictaxesstyle{\linethickness{0.5pt}}
\def\pictnaxesstyle{\color{GrayPale}\linethickness{0.5pt}}
\celllower=2.5pt
% «defs-maxima» (to ".defs-maxima")
%L dofile "Maxima2.lua" -- (find-angg "LUA/Maxima2.lua")
\pu
% «defs-mvdefs» (to ".defs-mvdefs")
\input 2024-1-C2-mv-defs.tex % (find-LATEX "2024-1-C2-mv-defs.tex")
% _____ _ _ _
% |_ _(_) |_| | ___ _ __ __ _ __ _ ___
% | | | | __| |/ _ \ | '_ \ / _` |/ _` |/ _ \
% | | | | |_| | __/ | |_) | (_| | (_| | __/
% |_| |_|\__|_|\___| | .__/ \__,_|\__, |\___|
% |_| |___/
%
% «title» (to ".title")
% (c2m241dip 1 "title")
% (c2m241dia "title")
\thispagestyle{empty}
\begin{center}
\vspace*{1.2cm}
{\bf \Large Cálculo 2 - 2024.1}
\bsk
Aulas 14 e 15: diferenciais e
introdução às regras de
mudança de variável na integral
\bsk
Eduardo Ochs - RCN/PURO/UFF
\url{http://anggtwu.net/2024.1-C2.html}
\end{center}
\newpage
% «links» (to ".links")
% (c2m241dip 2 "links")
% (c2m241dia "links")
% (c3m222p2p 5 "dicas-diferenciais")
% (c3m222p2a "dicas-diferenciais")
% (c3m222p2a "dicas-diferenciais" "leithold-body")
{\bf Links}
\scalebox{0.6}{\def\colwidth{16cm}\firstcol{
% «link-leithold» (to ".link-leithold")
% (find-books "__analysis/__analysis.el" "leithold" "269" "4.9. A diferencial")
% (find-books "__analysis/__analysis.el" "leithold" "275" "reescritas usando notação de Leibniz")
% (find-books "__analysis/__analysis.el" "leithold" "296" "5.2.1. Regra da cadeia para")
% (find-books "__analysis/__analysis.el" "leithold" "302" "Exercícios 5.2")
% (find-es "maxima" "leithold-pt-p302")
\par \Ca{Leit4p55} (p.269) 4.9 A diferencial
\par \Ca{Leit4p61} (p.275) reescritas (...) usando a notação de Leibniz
\par \Ca{Leit5p13} (p.296) Suponha que desejamos antidiferenciar $(1+x^2)^9(2x)$
\par \Ca{Leit5p13} (p.296) 5.2.1 Regra da cadeia para a antidiferenciação
\par \Ca{Leit5p19} (p.302) Exercícios 5.2
\ssk
% «links-stewart» (to ".links-stewart")
% (find-books "__analysis/__analysis.el" "stewart-pt" "10" "variável dependente")
% (find-books "__analysis/__analysis.el" "stewart-pt" "228" "Diferenciais")
% (find-books "__analysis/__analysis.el" "stewart-pt" "360" "5.4 Integrais Indefinidas")
% (find-books "__analysis/__analysis.el" "stewart-pt" "369" "5.5 A Regra da Substituição")
% (find-books "__analysis/__analysis.el" "stewart-pt" "372" "para as Integrais Definidas")
% (find-books "__analysis/__analysis.el" "stewart-pt" "372" "DEMONSTRAÇÃO Seja F uma primitiva de f")
% (find-books "__analysis/__analysis.el" "stewart-pt" "374" "Exercícios")
% (find-es "maxima" "stewart-pt-p374")
\par \Ca{StewPtCap1p5} (p.10) variável dependente
\par \Ca{StewPtCap3p75} (p.228) Diferenciais
\par \Ca{StewPtCap5p39} (p.360) 5.4 Integrais Indefinidas
\par \Ca{StewPtCap5p48} (p.369) 5.5 A Regra da Substituição
\par \Ca{StewPtCap5p51} (p.372) Regra da Substituição para as Integrais Definidas
\par \Ca{StewPtCap5p51} (p.372) Demonstração. Seja $F$ uma primitiva de $f$...
\par \Ca{StewPtCap5p53} (p.374) Exercícios
\ssk
% «links-miranda» (to ".links-miranda")
% (find-books "__analysis/__analysis.el" "miranda" "117" "4.7 Aproximações Lineares e Diferencial")
% (find-books "__analysis/__analysis.el" "miranda" "119" "Definição 7" "A diferencial")
% (find-books "__analysis/__analysis.el" "miranda" "189" "6.2 Integração por Substituição")
% (find-books "__analysis/__analysis.el" "miranda" "191" "Exercícios")
% (find-books "__analysis/__analysis.el" "miranda" "192" "Exemplo 6.6")
% (find-books "__analysis/__analysis.el" "miranda" "193" "não podemos")
% (find-books "__analysis/__analysis.el" "miranda" "196" "Exercícios")
% (find-es "maxima" "miranda-p191")
\par \Ca{Miranda117} 4.7 Aproximações Lineares e Diferencial
\par \Ca{Miranda119} Definição 7: a diferencial
\par \Ca{Miranda189} 6.2 Integração por Substituição
\par \Ca{Miranda191} Exercícios
\par \Ca{Miranda192} Exemplo 6.6
\par \Ca{Miranda193} Não podemos calcular uma integral que possui tanto um $x$ e um $u$ nela
\par \Ca{Miranda196} Exercícios
}\anothercol{
}}
\newpage
% _ _
% _ __ ___ ___ ___ ___ _ __(_) |_ __ _ ___
% | '__/ _ \/ _ \/ __|/ __| '__| | __/ _` / __|
% _ _ _| | | __/ __/\__ \ (__| | | | || (_| \__ \
% (_|_|_)_| \___|\___||___/\___|_| |_|\__\__,_|___/
%
% «notacao-de-Leibniz» (to ".notacao-de-Leibniz")
% (c2m241dip 3 "notacao-de-Leibniz")
% (c2m241dia "notacao-de-Leibniz")
{\bf ...reescritas usando a notação de Leibniz}
\sa{leithold-body}{
\frac{d(c)}{dx} &=& 0 \\
\frac{d(x^n)}{dx} &=& nx^{n-1} \\
\frac{d(cu)}{dx} &=& c\frac{du}{dx} \\
\frac{d(u+v)}{dx} &=& \frac{du}{dx} + \frac{dv}{dx} \\
\frac{d(uv)}{dx} &=& u\frac{dv}{dx} + v\frac{du}{dx} \\
\frac{d(\frac{u}{v})}{dx} &=&
\frac{v\frac{du}{dx} - u\frac{dv}{dx}}{v^2} \\
\frac{d(u^n)}{dx} &=& nu^{n-1} \frac{du}{dx} \\
\\[-7pt]
}
\sa{leithold-body2}{
d(c) &=& 0 \\
d(x^n) &=& nx^{n-1}dx \\
d(cu) &=& c\,du \\
d(u+v) &=& du+dv \\
d(uv) &=& u\,dv + v\,du \\
d(\frac{u}{v}) &=&
\frac{v\,du - u\,dv}{v^2} \\
d(u^n) &=& nu^{n-1} du \\
}
\scalebox{0.65}{\def\colwidth{16cm}\firstcol{
O Leithold define diferenciais na p.269, e na p.275...
% (find-books "__analysis/__analysis.el" "leithold" "269" "4.9. A diferencial")
\par \Ca{Leit4p55} (p.269) 4.9 A diferencial
% (find-books "__analysis/__analysis.el" "leithold" "275" "reescritas usando notação de Leibniz")
\par \Ca{Leit4p61} (p.275) ...usando a notação de Leibniz
ele tem esta tabela, em que ele mostra como as regras usuais de
derivação podem ser traduzidas pra regras usando diferenciais:
%
$$\begin{array}{c}
\begin{array}{rcl}
\ga{leithold-body}
\end{array}
\quad
\begin{array}{rcl}
\ga{leithold-body2}
\end{array}
\end{array}
$$
quando eu seguia a ordem dos livros e ensinava diferenciais em C2 as
pessoas cometiam tantos, tantos, tantos erros nas provas --
principalmente na mudança de variável na integral, que vamos ver na
próxima página -- que as provas eram um massacre...
...aí eu resolvi \standout{\standout{PROIBIR}} diferenciais em C2. A
gente vai usar elas só em alguns pontos muito específicos da matéria
de C2, e vai deixar pra ver elas direito em C3.
}\anothercol{
}}
\newpage
% ___ _ _
% |_ _|_ __ | |_ _ __ ___ __| |_ _ ___ __ _ ___
% | || '_ \| __| '__/ _ \ / _` | | | |/ __/ _` |/ _ \
% | || | | | |_| | | (_) | (_| | |_| | (_| (_| | (_) |
% |___|_| |_|\__|_| \___/ \__,_|\__,_|\___\__,_|\___/
%
% «introducao» (to ".introducao")
% (c2m241dip 3 "introducao")
% (c2m241dia "introducao")
% (c2m232mvp 3 "introducao")
% (c2m232mva "introducao")
{\bf Introdução}
\def\und#1#2{\underbrace{#1}_{#2}}
\aligneqswide
\mvdefaults
\scalebox{0.48}{\def\colwidth{10cm}\firstcol{
A fórmula mais difícil de justificar de Cálculo 2 é essa aqui -- a
fórmula da mudança de variável na integral indefinida (``MVI''):
%
$$\sa {g(x)}{\und{g(x)}{u}}
\sa{g'(x)}{\und{g'(x)}{\frac{du}{dx}}}
\sa{g'(x)dx}{\und{\ga{g'(x)}\,dx}{du}}
\int f'(\ga{g(x)}) \ga{g'(x)dx} = \intu{f'(u)}
$$
Tem dois modos da gente acreditar nela. O primeiro é assim: os livros
dizem que a MVI é verdade, então se a gente decorar ela e algumas
demonstrações curtas dela e a gente aprender a recitá-las com muita,
muita, {\sl muita} convicção então a gente
\begin{itemize}
\item vai se convencer de que ela é verdade,
\item vai ser capaz de usar ela na prova sem errar,
\item e a gente vai ser capaz de convencer outras pessoas de que ela é
verdade.
\end{itemize}
Tem uma demonstração da MVI aqui,
\ssk
% (find-books "__analysis/__analysis.el" "stewart-pt" "27 369" "5.5 A Regra da Substituição")
\par \Ca{StewPtCap5p48} (p.369) 5.5 A Regra da Substituição
\ssk
mas eu até hoje não consigo acreditar direito nessa demonstração -- me
parece que faltam muitos detalhes nela, {\sl e eu não sei completar
esses detalhes}.
}\def\colwidth{12cm}\anothercol{
O segundo modo da gente acreditar na MVI é a gente aprender a usar
isso aqui,
%
$$\ga{[MVD4]} = \ga{(MVD4)}
$$
onde ``MVD'' quer dizer ``mudança de variável na integral definida'',
e o ``4'' quer dizer ``versão com 4 igualdades''. Note que esse
$\ga{[MVD4]}$ é uma demonstração -- em que cada passo é fácil de
justificar! -- e não uma fórmula... a fórmula da MVD é essa aqui,
%
$$\ga{[MVD1]} = \ga{(MVD1)}
$$
e a fórmula da MVI é esta:
%
$$\ga{[MVI1]} = \ga{(MVI1)}
$$
as abreviações são estas,
%
$$\begin{array}{ccc}
\ga{[MVD4]} &\to& \ga{[MVI3]} \\
\dnto & & \dnto \\
\ga{[MVD1]} &\to& \ga{[MVI1]} \\
\end{array}
$$
e a gente vai aprender a expandir cada aplicação da $\ga{[MVI1]}$ pra
uma aplicação da $\ga{[MVD4]}$ -- em que cada passo vai ser fácil de
justificar.
}}
\newpage
% __ __ _ _ _ _
% | \/ | ___ _ _ ___ | |__ (_) ___| |_(_)_ _____
% | |\/| |/ _ \ | | | / _ \| '_ \| |/ _ \ __| \ \ / / _ \
% | | | | __/ |_| | | (_) | |_) | | __/ |_| |\ V / (_) | _ _
% |_| |_|\___|\__,_| \___/|_.__// |\___|\__|_| \_/ \___(_|_|_)
% |__/
%
% «meu-objetivo» (to ".meu-objetivo")
% (c2m241dip 5 "meu-objetivo")
% (c2m241dia "meu-objetivo")
% (c2m241introp 4 "meu-objetivo-2")
% (c2m241introa "meu-objetivo-2")
{\bf ``Meu objetivo é...'' (2)}
\scalebox{0.55}{\def\colwidth{10cm}\firstcol{
Você já deve ter relido os slides da ``Introdução ao curso''
\ssk
\url{http://anggtwu.net/LATEX/2024-1-C2-intro.pdf}
\ssk
várias vezes. A introdução tem um slide chamado ``Meu objetivo é...'',
que tem esse trecho aqui:
\begin{quotation}
Cálculo 2 tem vários assuntos que funcionam assim: se você tentar
aprender o assunto B direto ele é muito, muito, muito difícil, e
você vai gastar -- digamos -- 200 horas de estudo pra aprender
ele... mas se você aprender o assunto A primeiro você consegue
aprender os dois assuntos, A e B, em 20 horas ao invés de 200.
\end{quotation}
e ela tem vários slides que falam de atividades que exercitam músculos
mentais bem diferentes. O que importa agora é que ``entender de
cabeça'' e ``entender escrevendo as subtituições por extenso no
papel'' são atividades que exercitam músculos mentais beeem
diferentes, e o modo rápido de aprender Cálculo 2 é nessa ordem aqui:
\begin{itemize}
\item[A.] aprender a fazer as substituições no papel
\item[B.] aprender a fazer as substituições de cabeça
\item[C.] entender o que os livros dizem
\end{itemize}
%\begin{itemize}
%\end{itemize}
}\anothercol{
Você só vai conseguir aprender o B (``...de cabeça'') treinando
bastante o A (``...no papel''), e pra conseguir entender o que os
livros dizem (``C'') você muitas vezes vai ter que expandir uma frase
misteriosa do livro em MUITOS passos mais simples. Aqui tem alguns
exemplos de coisas super complicadas que os livros que nós estamos
usando escreveram em poucas frases cada uma:
\msk
\par \Ca{StewPtCap5p51} (p.372) Seja $F$ uma primitiva de $f$...
% (find-books "__analysis/__analysis.el" "miranda" "193" "não podemos")
\par \Ca{Miranda193} ...que possui tanto um $x$ e um $u$...
\bsk
\bsk
{\sl A matéria desse curso é gigantesca e nós temos muito pouco
tempo.} Se você ficar insistindo em tentar entender ``de cabeça'' o
que os livros dizem sem tentar escrever as substituições no papel eu
vou ter que usar esse slogan daqui,
\begin{quote}
\standout{\begin{tabular}{l}
MEU OBJETIVO É REPROVAR \\
PESSOAS COMO VOCÊ!!!
\end{tabular}}
\end{quote}
que na verdade é uma versão abreviada de uma idéia bem maior -- releia
os slides da ``Introdução ao curso'' pra entender ela direito.
}}
\newpage
% _____ _ _
% | ___|__ _ __ _ __ ___ _ _| | __ _ ___ / |
% | |_ / _ \| '__| '_ ` _ \| | | | |/ _` / __| | |
% | _| (_) | | | | | | | | |_| | | (_| \__ \ | |
% |_| \___/|_| |_| |_| |_|\__,_|_|\__,_|___/ |_|
%
% «MVDs-e-MVIs» (to ".MVDs-e-MVIs")
% (c2m241dip 6 "MVDs-e-MVIs")
% (c2m241dia "MVDs-e-MVIs")
{\bf MVDs e MVIs}
\scalebox{0.9}{\def\colwidth{12cm}\firstcol{
$$\begin{array}{rcl}
\ga{[MVD4]} &=& \ga{(MVD4)} \\\\[-10pt]
\ga{[MVD1]} &=& \ga{(MVD1)} \\\\[-2pt]
\ga{[MVI3]} &=& \ga{(MVI3)} \\\\[-10pt]
\ga{[MVI1]} &=& \ga{(MVI1)} \\
\end{array}
$$
}\anothercol{
}}
\newpage
% _____ _ ____
% | ___|__ _ __ _ __ ___ _ _| | __ _ ___ |___ \
% | |_ / _ \| '__| '_ ` _ \| | | | |/ _` / __| __) |
% | _| (_) | | | | | | | | |_| | | (_| \__ \ / __/
% |_| \___/|_| |_| |_| |_|\__,_|_|\__,_|___/ |_____|
%
% «MVDs-e-MVIs-color» (to ".MVDs-e-MVIs-color")
% (c2m241dip 7 "MVDs-e-MVIs-color")
% (c2m241dia "MVDs-e-MVIs-color")
{\bf MVDs e MVIs, versão colorida}
\scalebox{0.9}{\def\colwidth{12cm}\firstcol{
\mvthreecolors
$$\begin{array}{rcl}
\ga{[MVD4]} &=& \ga{(MVD4)} \\\\[-10pt]
\ga{[MVD1]} &=& \ga{(MVD1)} \\\\[-2pt]
\ga{[MVI3]} &=& \ga{(MVI3)} \\\\[-10pt]
\ga{[MVI1]} &=& \ga{(MVI1)} \\
\end{array}
$$
}\anothercol{
}}
\newpage
% ____ _
% / ___|__ _ ___ ___ / \
% | | / _` / __|/ _ \ / _ \
% | |__| (_| \__ \ (_) | / ___ \
% \____\__,_|___/\___/ /_/ \_\
%
% «caso-A» (to ".caso-A")
% (c2m241dip 8 "caso-A")
% (c2m241dia "caso-A")
% (c2m241mvdefsa "mv-casoA")
{\bf Um caso particular: $\intx{\cos(2x)·2}$}
\mvthreecolors
\scalebox{0.8}{\def\colwidth{14cm}\firstcol{
$$\begin{array}{lcl}
\ga{[MVD4]} &=& \ga{(MVD4)} \\\\[-7pt]
\ga{[MVD4]} \mvcasoA
\bsm{ f(x):=\mvf {x} \\
f'(x):=\mvfp{x} \\
g(x):=\mvg {x} \\
g'(x):=\mvgp{x} \\
a:=\ga{a} \\
b:=\ga{b} \\
}
&=& \mvcasoA\ga{(MVD4)} \\
\end{array}
$$
}\anothercol{
}}
\newpage
% _____ _ _ _
% | ____|_ _____ _ __ ___(_) ___(_) ___ / |
% | _| \ \/ / _ \ '__/ __| |/ __| |/ _ \ | |
% | |___ > < __/ | | (__| | (__| | (_) | | |
% |_____/_/\_\___|_| \___|_|\___|_|\___/ |_|
%
% «exercicio-1» (to ".exercicio-1")
% (c2m241dip 9 "exercicio-1")
% (c2m241dia "exercicio-1")
{\bf Exercício 1}
\mvdefaults
\scalebox{0.6}{\def\colwidth{14cm}\firstcol{
Lembre que:
$$\begin{array}{lcl}
\ga{[MVD4]} &=& \ga{(MVD4)} \\\\[-7pt]
\ga{[MVD1]} &=& \ga{(MVD1)} \\\\[-7pt]
\ga{[MVI1]} &=& \ga{(MVI1)} \\\\[-7pt]
\end{array}
$$
% (find-es "maxima" "stewart-pt-p374")
% (find-books "__analysis/__analysis.el" "stewart-pt" "374" "Exercícios")
Sejam $\ga{[S1]}=\bsm{f'(u):=u^{10} \\ f(u):=\frac{1}{11} u^{11} \\ g(x):=x^2+4 \\ g'(x):=2x}$
e $\ga{[S2]}=\bsm{f'(x):=\tan(x) \\ g(x):=x^2 \\ g'(x):=2x}$.
\msk
Complete:
\par a) $\ga{[MVI1]} \ga{[S1]} = \Rq$
\par b) $\ga{[MVD4]} \ga{[S1]} = \Rq$
\par c) $\ga{[MVI1]} \ga{[S2]} = \Rq$
\par d) $\ga{[MVD1]} \ga{[S2]} = \Rq$
\par e) $\ga{[MVD4]} \ga{[S2]} = \Rq$
\ssk
O item (e) vai ajudar a gente a entender isso aqui:
% (find-books "__analysis/__analysis.el" "stewart-pt" "372" "DEMONSTRAÇÃO Seja F uma primitiva de f")
\par \Ca{StewPtCap5p51} (p.372) Demonstração. Seja $F$ uma primitiva de $f$...
}\anothercol{
}}
\newpage
% _____ _ _ _
% | ____|_ ___ __ __ _ _ __ __| | __ _ (_)_ _ ___| |_ ___
% | _| \ \/ / '_ \ / _` | '_ \ / _` |/ _` | | | | | / __| __/ __|
% | |___ > <| |_) | (_| | | | | (_| | (_| | | | |_| \__ \ |_\__ \
% |_____/_/\_\ .__/ \__,_|_| |_|\__,_|\__,_| _/ |\__,_|___/\__|___/
% |_| |__/
%
% «expanda-as-justs» (to ".expanda-as-justs")
% (c2m241dip 10 "expanda-as-justs")
% (c2m241dia "expanda-as-justs")
{\bf Expanda as justificativas}
\def\aligneqspor#1{}
\def\aligneqspor#1{#1}
\def\Por #1{ & \quad\text{por }#1}
\sa{[A]}{\CFname{A}{}}
\sa{[B]}{\CFname{B}{}}
\sa{(MVD4J)}{
\P{\aligneqsfour
{ \Intx {\ga{a}} {\ga{b}} {\ga{f'(g(x))g'(x)}} }
{ \Difx {\ga{a}} {\ga{b}} {\ga{f(g(x))}} } {\Por{\ga{just1}}}
{ \ga{f(g(b))} - \ga{f(g(a))} } {\Por{\ga{just2}}}
{ \Difu {\ga{g(a)}} {\ga{g(b)}} {\ga{f(u)}} } {\Por{\ga{just3}}}
{ \Intu {\ga{g(a)}} {\ga{g(b)}} {\ga{f'(u)}} } {\Por{\ga{just4}}}
}
}
\def\aligneqspor#1{}
\def\aligneqspor#1{#1}
\def\Por #1{ & \quad\text{por }#1}
\sa{just1}{ \ga{[TFC2]} \bsm{F(x):=\sen(2·x) \\ F'(x):=\cos(2·x)·2 \\ a:=3 \\ b:=4} }
\sa{just2}{ \ga{[defdif]} \bsm{F(x):=\sen(2·x) \\ a:=3 \\ b:=4} }
\sa{just3}{ \ga{[defdif]} \bsm{x:=u} \bsm{F(u):=\sen(u) \\ a:=2·3 \\ b:=2·4} }
\sa{just4}{ \ga{[TFC2]} \bsm{x:=u} \bsm{F(u):=\sen(u) \\ F'(u):=\cos(u) \\ a:=2·3 \\ b:=2·4} }
\scalebox{0.54}{\def\colwidth{19cm}\firstcol{
Na figura abaixo o $\ga{[A]}$ é um caso particular do $\ga{[MVD4]}$ {\sl com justificativas}:
%
$$\mvcasoA
\begin{array}{ccl}
\ga{[TFC2]} &=& \ga{(TFC2)} \\
\ga{[defdif]} &=& \ga{(defdif)} \\
\ga{[A]} &=& \ga{(MVD4J)} \\
\end{array}
$$
\msk
{\bf Exercício 2.}
Expanda cada uma das justificativas,
\msk
\par a) $\ga{just1} = \Rq$
\par b) $\ga{just2} = \Rq$
\par c) $\ga{just3} = \Rq$
\par d) $\ga{just4} = \Rq$
\msk
e veja que nem sempre a justificativa dá exatamente a igualdade à esquerda dela --
às vezes ela dá só algo que, arrãm, {\sl justifica} a igualdade.
}\anothercol{
}}
\newpage
% ____ _ _ _ _
% / ___|___ _ __ ___ _ __ | | ___| |_ ___ (_)_ _ ___| |_ ___
% | | / _ \| '_ ` _ \| '_ \| |/ _ \ __/ _ \ | | | | / __| __/ __|
% | |__| (_) | | | | | | |_) | | __/ || __/ | | |_| \__ \ |_\__ \
% \____\___/|_| |_| |_| .__/|_|\___|\__\___| _/ |\__,_|___/\__|___/
% |_| |__/
%
% «complete-as-justs» (to ".complete-as-justs")
% (c2m241dip 7 "complete-as-justs")
% (c2m241dia "complete-as-justs")
{\bf Complete as justificativas}
\def\Rqn#1{\ColorRed{?_{#1}}}
\sa{just1}{ \Rqn{1} }
\sa{just2}{ \Rqn{2} }
\sa{just3}{ \Rqn{3} }
\sa{just4}{ \Rqn{4} }
\mvdefaults
\scalebox{0.54}{\def\colwidth{15cm}\firstcol{
Na figura abaixo o $\ga{[B]}$ é um outro caso particular do $\ga{[MVD4]}$ com justificativas,
%
$$\mvthreecolors
\begin{array}{ccl}
\ga{[TFC2]} &=& \ga{(TFC2)} \\
\ga{[defdif]} &=& \ga{(defdif)} \\
\ga{[B]} &=& \ga{(MVD4J)} \\
\end{array}
$$
\msk
{\bf Exercício 3.}
Encontre justificativas que podem ser postas nas posições $\Rqn1$,
$\Rqn2$, $\Rqn3$ e $\Rqn4$.
\msk
{\bf Dica:}
É \standout{BEEEM} difícil encontrar os $\Rqn1$, $\Rqn2$, $\Rqn3$ e
$\Rqn4$ direto de cabeça...
Use o chutar e testar e não apague nenhum dos seus chutes e testes!
\msk
{\bf Dica 2:}
``Resolver por chutar e testar'' e ``resolver de cabeça'' são técnicas
que usam músculos mentais diferentes, e quase sempre quando a gente
encontra um problema ``com cara de Cálculo 2'' o modo mais rápido de
descobrir como resolver ele ``de cabeça'' é começar tentando resolver
ele ``por chutar e testar''! Vou tentar fazer umas animações
explicando a idéia geral por trás disso quando der. Isso tem a ver
com uma das minhas áreas de pesquisa... um link:
\ssk
\url{http://anggtwu.net/math-b.html\#2022-md}
\ssk
Resumindo: {\sl treine chutar e testar!!!}
}\anothercol{
}}
\newpage
% «chutar-e-testar» (to ".chutar-e-testar")
% (c2m241dip 12 "chutar-e-testar")
% (c2m241dia "chutar-e-testar")
{\bf Mais um exemplo de chutar e testar}
\def\L{\\[-8pt]}
\def\eqnp {\eqnpfull}
\def\Por #1{ & \quad\text{por }#1}
\def\Por #1{ & \text{por }#1}
\def\Por #1{ & \hspace*{-2cm}\text{por }#1}
\sa{just1}{\ga{[RC]} \bsm{ f(x):=\ln x \\ f'(x)=1/x }}
\scalebox{0.5}{\def\colwidth{11.5cm}\firstcol{
Isto é uma versão melhorada de...
% (find-pdftoolsr-page "~/2024.1-C2/C2-quadros.pdf" 34)
\par \Ca{2iQ34} um quadro da aula de 9/abril/2024.
Lembre que:
%
$$\ga{[RC]} = \ga{(RC)}$$
Digamos que queremos resolver isto,
%
$$\intx{\frac{2}{3x+4} + \frac{5}{6x+7}} \;=\; \Rq$$
mas nós vamos começar por este problema mais simples,
%
$$\intx{\frac{2}{3x+4}} \;=\; \Rq$$
que é equivalente a:
%
$$\ddx \, \Rq \;=\; \frac{2}{3x+4}$$
Tente entender a solução por chutar e testar da direita. Muita gente
acha que não pode fazer chutes e testes com números -- porque, sei lá,
talvez o Reginaldo tenha dito pra elas que isso é coisa de gente
burra... mas repare que à direita eu fiz alguns chutes e testes usando
números, e logo depois {\sl eu transformei esses chutes e testes com
números em chutes e testes com variáveis, que viraram fórmulas
novas}... e acho que todo mundo concorda que inventar fórmulas e
demonstrá-las é algo bem chique.
}\anothercol{
$$\begin{array}{rcll}
\ddx \ln x &=& \frac1x \\
\ddx 2\ln x &=& \frac2x \\\L
\ddx \ln(g(x)) &\eqnp{1}& \frac{1}{g(x)}g'(x) \Por{\ga{just1}} \\
&\eqnp{2}& \frac{g'(x)}{g(x)} \\
\ddx \ln(g(x)) &\eqnp{3}& \frac{g'(x)}{g(x)} \Por{\text{(1) e (2)}} \\
\ddx \ln(6x+7) &=& \frac{6}{6x+7} \Por{\text{(3)} \bsm{g(x):=6x+7 \\ g'(x):=6}} \\
\ddx \ln(ax+b) &\eqnp{4}& \frac{a}{ax+b} \Por{\text{(3)}} \\
\ddx (c\ln(ax+b)) &\eqnp{5}& c\frac{a}{ax+b} \Por{\text{(4)}} \\
\ddx (c\ln(3x+4)) &\eqnp{6}& c\frac{3}{3x+4} \Por{\text{(5)}} \\
\ddx (\frac{1}{3} \ln(3x+4)) &\eqnp{6}& \frac{1}{3}\frac{3}{3x+4} \\
\ddx (\frac{1}{3} \ln(3x+4)) &=& \frac{1}{3x+4} \\
\ddx (\frac{2}{3} \ln(3x+4)) &=& \frac{2}{3x+4} \\
%\ddx (\frac{a}{b} \ln(bx+c)) &=& \Rq \\
\ddx (\frac{a}{b} \ln(bx+c)) &=& \frac{a}{b} \frac{b}{bx+c} \Por{(5)} \\
&=& \frac{a}{bx+c} \\
\ddx (\frac{a}{b} \ln(bx+c)) &\eqnp{7}& \frac{a}{bx+c} \\
\intx{\frac{a}{bx+c}} &\eqnp{8}& \frac{a}{b} \ln(bx+c) \Por{(7)} \\
\intx{\frac{2}{3x+4}} &\eqnp{9}& \frac{2}{3} \ln(3x+4) \Por{(8)} \\
\intx{\frac{5}{6x+7}} &\eqnp{10}& \frac{5}{6} \ln(6x+7) \Por{(8)} \\\L
\intx{\frac{2}{3x+4} + \frac{5}{6x+7}} &\eqnp{11}&
\frac{2}{3} \ln(3x+4) + \frac{5}{6} \ln(6x+7) \\
\end{array}
$$
}}
\newpage
% {\bf Complete uma MVI}
%
% \newpage
%
% {\bf Expanda uma MVI}
% \newpage
%
% {\bf O grande truque}
%
% Repare que a gente não precisa dizer quem é a $f$
\newpage
% «leithold-p302» (to ".leithold-p302")
% (c2m241dip 13 "leithold-p302")
% (c2m241dia "leithold-p302")
{\bf Leithold, p.302}
%M (%i1) items : [
%M ["1.", sqrt(1-4*y), u=1-4*y],
%M ["2.", (3*x - 1/4)^(1/3), u=3*x-1/4],
%M ["3.", (6 - 2*x)^(1/3), u=6-2*x],
%M ["4.", sqrt(5*r + 1), u=5*r+1],
%M ["5.", x*sqrt(x^2 - 9), u=x^2-9],
%M ["6.", 3*x*sqrt(4 - x^2), u=4-x^2],
%M ["7.", x^2*(x^3-1)^10, u=x^3-1],
%M ["8.", x*(2*x^2+1)^6, u=2*x^2+1],
%M ["9.", 5*x*(9-4*x^2)^(2/3), u=9-4*x^2],
%M ["10.", x/(x^2+1)^3, u=x^2+1]
%M ]$
%M (%i2) lfc_solve_m (items);
%M (%o2) \begin{pmatrix}\mbox{ 1. }&\int {\sqrt{1-4\,y}}{\;dy}\big.&\mbox{ = }&-\left({\frac{\left(1-4\,y\right)^{{\frac{3}{2}}}}{6}}\right)\cr \mbox{ 2. }&\int {\left(3\,x-{\frac{1}{4}}\right)^{{\frac{1}{3}}}}{\;dx}\big.&\mbox{ = }&{\frac{\left(3\,x-{\frac{1}{4}}\right)^{{\frac{4}{3}}}}{4}}\cr \mbox{ 3. }&\int {\left(6-2\,x\right)^{{\frac{1}{3}}}}{\;dx}\big.&\mbox{ = }&-\left({\frac{3\,\left(6-2\,x\right)^{{\frac{4}{3}}}}{8}}\right)\cr \mbox{ 4. }&\int {\sqrt{5\,r+1}}{\;dr}\big.&\mbox{ = }&{\frac{2\,\left(5\,r+1\right)^{{\frac{3}{2}}}}{15}}\cr \mbox{ 5. }&\int {x\,\sqrt{x^2-9}}{\;dx}\big.&\mbox{ = }&{\frac{\left(x^2-9\right)^{{\frac{3}{2}}}}{3}}\cr \mbox{ 6. }&3\,\int {x\,\sqrt{4-x^2}}{\;dx}\big.&\mbox{ = }&-\left(4-x^2\right)^{{\frac{3}{2}}}\cr \mbox{ 7. }&\int {x^2\,\left(x^3-1\right)^{10}}{\;dx}\big.&\mbox{ = }&{\frac{\left(x^3-1\right)^{11}}{33}}\cr \mbox{ 8. }&\int {x\,\left(2\,x^2+1\right)^6}{\;dx}\big.&\mbox{ = }&{\frac{\left(2\,x^2+1\right)^7}{28}}\cr \mbox{ 9. }&5\,\int {x\,\left(9-4\,x^2\right)^{{\frac{2}{3}}}}{\;dx}\big.&\mbox{ = }&-\left({\frac{3\,\left(9-4\,x^2\right)^{{\frac{5}{3}}}}{8}}\right)\cr \mbox{ 10. }&\int {{\frac{x}{\left(x^2+1\right)^3}}}{\;dx}\big.&\mbox{ = }&-\left({\frac{1}{4\,\left(x^2+1\right)^2}}\right)\cr \end{pmatrix}
%L maximahead:sa("leithold-pt-p302-1", "")
\pu
%M (%i3) lfc_change_m(items);
%M (%o3) \begin{pmatrix}\mbox{ 1. }&\int {\sqrt{1-4\,y}}{\;dy}\big.&\mbox{ = }&-\left({\frac{\int {\sqrt{u}}{\;du}\big.}{4}}\right)&&u=1-4\,y\cr \mbox{ 2. }&\int {\left(3\,x-{\frac{1}{4}}\right)^{{\frac{1}{3}}}}{\;dx}\big.&\mbox{ = }&{\frac{\int {u^{{\frac{1}{3}}}}{\;du}\big.}{3}}&&u=3\,x-{\frac{1}{4}}\cr \mbox{ 3. }&\int {\left(6-2\,x\right)^{{\frac{1}{3}}}}{\;dx}\big.&\mbox{ = }&-\left({\frac{\int {u^{{\frac{1}{3}}}}{\;du}\big.}{2}}\right)&&u=6-2\,x\cr \mbox{ 4. }&\int {\sqrt{5\,r+1}}{\;dr}\big.&\mbox{ = }&{\frac{\int {\sqrt{u}}{\;du}\big.}{5}}&&u=5\,r+1\cr \mbox{ 5. }&\int {x\,\sqrt{x^2-9}}{\;dx}\big.&\mbox{ = }&{\frac{\int {\sqrt{u}}{\;du}\big.}{2}}&&u=x^2-9\cr \mbox{ 6. }&3\,\int {x\,\sqrt{4-x^2}}{\;dx}\big.&\mbox{ = }&-\left({\frac{3\,\int {\sqrt{u}}{\;du}\big.}{2}}\right)&&u=4-x^2\cr \mbox{ 7. }&\int {x^2\,\left(x^3-1\right)^{10}}{\;dx}\big.&\mbox{ = }&{\frac{\int {u^{10}}{\;du}\big.}{3}}&&u=x^3-1\cr \mbox{ 8. }&\int {x\,\left(2\,x^2+1\right)^6}{\;dx}\big.&\mbox{ = }&{\frac{\int {u^6}{\;du}\big.}{4}}&&u=2\,x^2+1\cr \mbox{ 9. }&5\,\int {x\,\left(9-4\,x^2\right)^{{\frac{2}{3}}}}{\;dx}\big.&\mbox{ = }&-\left({\frac{5\,\int {u^{{\frac{2}{3}}}}{\;du}\big.}{8}}\right)&&u=9-4\,x^2\cr \mbox{ 10. }&\int {{\frac{x}{\left(x^2+1\right)^3}}}{\;dx}\big.&\mbox{ = }&{\frac{\int {{\frac{1}{u^3}}}{\;du}\big.}{2}}&&u=x^2+1\cr \end{pmatrix}
%M (%i4)
%L maximahead:sa("leithold-pt-p302-2", "")
\pu
\scalebox{0.44}{\def\colwidth{12cm}\firstcol{
\vspace*{0cm}
% (find-books "__analysis/__analysis.el" "leithold" "302" "Exercícios 5.2")
% (find-es "maxima" "leithold-pt-p302")
\par \Ca{Leit5p19} (p.302) Exercícios 5.2
\msk
\def\hboxthreewidth{12cm}
\ga{leithold-pt-p302-1}
}\anothercol{
\vspace*{0cm}
\def\hboxthreewidth{14cm}
\ga{leithold-pt-p302-2}
}}
\newpage
% «teste-mvdefs» (to ".teste-mvdefs")
% (c2m241dip 99 "teste-mvdefs")
% (c2m241dia "teste-mvdefs")
\aligneqsthin
\aligneqswide
\mvdefaults
\def\mvf #1{\ColorGreen {\sen(#1)}}
\def\mvfp#1{\ColorGreen {\cos(#1)}}
\def\mvg #1{\ColorOrange{#1^3}}
\def\mvgp#1{\ColorOrange{3#1^2}}
\sa {a}{\ColorRed {4}}
\sa {b}{\ColorRed {5}}
\long\def\ColorBlue #1{{\color{blue}#1}}
\newpage
%\def\aligneqspor#1{}
%$$\aligneqsone ABCDEFGH$$
%$$\aligneqsfour ABCDEFGH$$
%$$\P{\aligneqsfour ABCDE}$$
\GenericWarning{Success:}{Success!!!} % Used by `M-x cv'
\end{document}
% Local Variables:
% coding: utf-8-unix
% ee-tla: "c2di"
% ee-tla: "c2m241di"
% End: