|
Warning: this is an htmlized version!
The original is here, and the conversion rules are here. |
% (find-LATEX "2020-2-C2-intro.tex")
% (defun c () (interactive) (find-LATEXsh "lualatex -record 2020-2-C2-intro.tex" :end))
% (defun C () (interactive) (find-LATEXsh "lualatex 2020-2-C2-intro.tex" "Success!!!"))
% (defun D () (interactive) (find-pdf-page "~/LATEX/2020-2-C2-intro.pdf"))
% (defun d () (interactive) (find-pdftools-page "~/LATEX/2020-2-C2-intro.pdf"))
% (defun e () (interactive) (find-LATEX "2020-2-C2-intro.tex"))
% (defun u () (interactive) (find-latex-upload-links "2020-2-C2-intro"))
% (defun v () (interactive) (find-2a '(e) '(d)))
% (defun cv () (interactive) (C) (ee-kill-this-buffer) (v) (g))
% (find-pdf-page "~/LATEX/2020-2-C2-intro.pdf")
% (find-sh0 "cp -v ~/LATEX/2020-2-C2-intro.pdf /tmp/")
% (find-sh0 "cp -v ~/LATEX/2020-2-C2-intro.pdf /tmp/pen/")
% (find-xournalpp "/tmp/2020-2-C2-intro.pdf")
% file:///home/edrx/LATEX/2020-2-C2-intro.pdf
% file:///tmp/2020-2-C2-intro.pdf
% file:///tmp/pen/2020-2-C2-intro.pdf
% http://angg.twu.net/LATEX/2020-2-C2-intro.pdf
% (find-LATEX "2019.mk")
% (find-CN-aula-links "2020-2-C2-intro" "2" "c2m202intro" "c2m202i")
% «.video-subst» (to "video-subst")
%
% «.defs» (to "defs")
% «.title» (to "title")
% «.intro» (to "intro")
% «.EDOs» (to "EDOs")
% «.chutar-e-testar» (to "chutar-e-testar")
% «.subst-zoomed» (to "subst-zoomed")
% «.corrigir-igual» (to "corrigir-igual")
% «.regra-da-cadeia» (to "regra-da-cadeia")
% «.acrescentamos» (to "acrescentamos")
% «.algumas-traducoes» (to "algumas-traducoes")
% Video:
% «video-subst» (to ".video-subst")
% (c2m202introa "video-subst")
% (find-ssr-links "c2intro" "2020.2-C2-intro" "ZbKOS5yElzg")
% (code-eevvideo "c2intro" "2020.2-C2-intro" "ZbKOS5yElzg")
% (code-eevlinksvideo "c2intro" "2020.2-C2-intro" "ZbKOS5yElzg")
% (find-c2introvideo "0:00" "Oi")
% (find-c2introvideo "1:07" "uma noção bem por alto do que são EDOs")
% (find-c2introvideo "2:02" "vamos ter que testar")
% (find-c2introvideo "2:20" "equação de 2º grau")
% (find-c2introvideo "2:52" "encontre uma função f")
% (find-c2introvideo "4:05" "[:=]")
% (find-c2introvideo "7:39" "aqui tem alguns detalhes")
% (find-c2introvideo "9:18" "Primeira utilidade")
% (find-c2introvideo "10:32" "(2+2=5) = (5=5)")
% (find-c2introvideo "11:10" "a gente tem varios `='s")
% (find-c2introvideo "12:11" "segundo teste")
% (find-c2introvideo "12:45" "não adianta tratar esse `=' como afirmação")
% (find-c2introvideo "12:57" "(2+2=5) = (5=5)")
% (find-c2introvideo "13:52" "eu só vou corrigir os sinais de `='")
% (find-c2introvideo "14:00")
\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{edrx15} % (find-LATEX "edrx15.sty")
\input edrxaccents.tex % (find-LATEX "edrxaccents.tex")
\input edrxchars.tex % (find-LATEX "edrxchars.tex")
\input edrxheadfoot.tex % (find-LATEX "edrxheadfoot.tex")
\input edrxgac2.tex % (find-LATEX "edrxgac2.tex")
%
%\usepackage[backend=biber,
% style=alphabetic]{biblatex} % (find-es "tex" "biber")
%\addbibresource{catsem-slides.bib} % (find-LATEX "catsem-slides.bib")
%
% (find-es "tex" "geometry")
\usepackage[a6paper, landscape,
top=1.5cm, bottom=.25cm, left=1cm, right=1cm, includefoot
]{geometry}
%
\begin{document}
\catcode`\^^J=10
\directlua{dofile "dednat6load.lua"} % (find-LATEX "dednat6load.lua")
% %L dofile "edrxtikz.lua" -- (find-LATEX "edrxtikz.lua")
% %L dofile "edrxpict.lua" -- (find-LATEX "edrxpict.lua")
% \pu
% ____ __
% | _ \ ___ / _|___
% | | | |/ _ \ |_/ __|
% | |_| | __/ _\__ \
% |____/ \___|_| |___/
%
% «defs» (to ".defs")
% (find-LATEX "edrx15.sty" "colors-2019")
\long\def\ColorRed #1{{\color{Red1}#1}}
\long\def\ColorViolet#1{{\color{MagentaVioletLight}#1}}
\long\def\ColorViolet#1{{\color{Violet!50!black}#1}}
\long\def\ColorGreen #1{{\color{SpringDarkHard}#1}}
\long\def\ColorGreen #1{{\color{SpringGreenDark}#1}}
\long\def\ColorGreen #1{{\color{SpringGreen4}#1}}
\long\def\ColorGray #1{{\color{GrayLight}#1}}
\long\def\ColorGray #1{{\color{black!30!white}#1}}
\long\def\ColorBrown #1{{\color{Brown}#1}}
\long\def\ColorBrown #1{{\color{brown}#1}}
\long\def\ColorShort #1{{\color{SpringGreen4}#1}}
\long\def\ColorLong #1{{\color{Red1}#1}}
\def\frown{\ensuremath{{=}{(}}}
\def\True {\mathbf{V}}
\def\False{\mathbf{F}}
\def\drafturl{http://angg.twu.net/LATEX/2020-1-C2.pdf}
\def\drafturl{http://angg.twu.net/2020.2-C2.html}
\def\draftfooter{\tiny \href{\drafturl}{\jobname{}} \ColorBrown{\shorttoday{} \hours}}
% _____ _ _ _
% |_ _(_) |_| | ___ _ __ __ _ __ _ ___
% | | | | __| |/ _ \ | '_ \ / _` |/ _` |/ _ \
% | | | | |_| | __/ | |_) | (_| | (_| | __/
% |_| |_|\__|_|\___| | .__/ \__,_|\__, |\___|
% |_| |___/
%
% «title» (to ".title")
% (c2m202introp 1 "title")
% (c2m202introa "title")
%
% Aulas:
% 2021feb03 turma E1
% 2021feb04 turma C1
\thispagestyle{empty}
\begin{center}
\vspace*{1.2cm}
{\bf \Large Cálculo 2 - 2020.2}
\bsk
Aula 1: Introdução ao curso (e a EDOs e ao $[:=]$)
\bsk
Eduardo Ochs - RCN/PURO/UFF
\url{http://angg.twu.net/2020.2-C2.html}
\end{center}
\newpage
% ___ _
% |_ _|_ __ | |_ _ __ ___
% | || '_ \| __| '__/ _ \
% | || | | | |_| | | (_) |
% |___|_| |_|\__|_| \___/
%
% «intro» (to ".intro")
% (c2m202introp 2 "intro")
% (c2m202introa "intro")
\section{Introdução ao curso}
O curso de Cálculo 2 é principalmente sobre dois assuntos: {\bf
integrais}, e {\bf equações diferenciais ordinárias}. Nós vamos
abreviar ``equação diferencial ordinária'' como ``EDO''; existem
também as {\sl equações diferenciais parciais}, ou EDPs, que são um
assunto beeem mais complicado.
\ColorRed{{\sl Integrais} são {\sl áreas}.} A expressão
$\Intx{a}{b}{f(x)}$ quer dizer ``a área sob a curva $y=f(x)$ entre
$x=a$ e $x=b$''. Mais visualmente,
% (find-latexinkscape-links "2020-1-C2/area-intro-1")
$$\Intx{a}{b}{f(x)} = \Area \left(
\myvcenter{\includegraphics[width=4cm]{2020-1-C2/area-intro-1.pdf}}
\right)
$$
\newpage
$$\Intx{a}{b}{f(x)} = \Area \left(
\myvcenter{\includegraphics[width=4cm]{2020-1-C2/area-intro-1.pdf}}
\right)
$$
Pra aprender a calcular essas áreas a gente vai ter que aprender a
aproximá-las por somas de retângulos -- um limite complicado! -- e os
detalhes vão dar um trabalhão... $\frown$
Repare, a área em vermelho é delimitada:
por cima pela \ColorRed{curva} $y=f(x)$,
pela esquerda pela reta $x=a$,
pela direita pela reta $x=b$,
por baixo pela reta $y=0$.
\newpage
% «EDOs» (to ".EDOs")
% (c2m202introp 4 "EDOs")
% (c2m202introa "EDOs")
{\bf Equações diferenciais} (lembre: ``ordinárias'' $→$ ``EDOs'') são
um pouco mais complicadas do que as equações que já sabemos
resolver...
\def\te{\text}
\msk
$\scalebox{0.90}{$
\begin{array}{rll}
1) & x+2 = 5 & \te{Equação de 1º grau} \\
2) & x^2+3 = 7 & \te{Eq.\ de 2º grau simples} \\
3) & x^2+x = 6 & \te{Eq.\ de 2º grau mais complicada} \\[5pt]
4) & f'(x) = x^4 & \te{EDO simples} \\
& \text{ou: } \ddx f(x) = x^4 & \te{$f$ é a váriavel/incógnita!!!} \\
5) & f'(x) = 2f(x) & \te{EDO mais complicada} \\
6) & f''(x) + f'(x) = 6f(x) & \te{idem} \\
7) & f'(x) = -1/f(x) & \te{idem} \\
8) & f'(x) = -x/f(x) & \te{idem} \\
\end{array}
$}
$
\msk
Na passagem de (1) para (2) e (3) as equações ficaram mais complicadas
porque o $x$ passou a poder aparecer elevado ao quadrado.
No (4) estamos procurando uma \ColorRed{função} $f:\R→\R$ que obedeça
$f'(x) = x^4$ \ColorRed{para todo $x$}. Esse ``para todo $x$'' fica
\ColorRed{implícito}.
\newpage
% «chutar-e-testar» (to ".chutar-e-testar")
% (c2m202introp 5 "chutar-e-testar")
% (c2m202introa "chutar-e-testar")
\section{Chutar e testar}
Nosso primeiro método de resolver equações vai ser \ColorRed{chutar e
testar} -- nós vamos chutar valores pra incógnita e ver se algum
deles é uma solução.
\begin{center}
\bf\Large
Aprender a \ColorRed{testar} vai ser
\underline{\underline{\underline{A}}} coisa
mais importante do curso.
\end{center}
Neste curso nós vamos usar duas coisas que não são padrão em cursos de
Cálculo 2:
1) Uma notação --- que normalmente só o pessoal de Computação aprende,
e só em cursos avançados... --- para \ColorRed{substituição de
variáveis em expressões arbitrárias,}
2) Nós vamos usar a fórmula $e^{iθ} = \cosθ + i\senθ$ a beça.
\newpage
Nós vamos reescrever isto:
\msk
\begin{center}
\fbox{\begin{minipage}{7cm}
Se substituirmos $x$ por $10a+b$
e $y$ por $3c+4d$ em:
%
$$x^y + 2x$$
%
obtemos:
%
$$(10a+b)^{3c+4d} + 2(10a+b)$$
\end{minipage}}
\end{center}
\msk
deste jeito:
$$(x^y+2x) \bmat{x:=10a+b \\ y:=3c+4d} = (10a+b)^{3c+4d} + 2(10a+b)$$
\newpage
% «subst-zoomed» (to ".subst-zoomed")
% (c2m202introp 7 "subst-zoomed")
% (c2m202introa "subst-zoomed")
Repare: em
%
$$\scalebox{2.0}{$
\begin{array}{l}
(x^y+2x) \bmat{x:=10a+b \\ y:=3c+4d} \\[12pt]
= (10a+b)^{3c+4d} + 2(10a+b)
\end{array}
$}
$$
a notação é
%
$$\text{(expressão original)[substituições] = (expressão nova)}$$
e cada uma das substituições é da forma:
%
$$\text{variável} := \text{expressão}$$
\newpage
A notação `$[:=]$' vai ser bem prática pra gente fazer hipóteses e
testá-las. Por exemplo, digamos que queremos testar se 2 e 3 são
soluções da equação $x+2=5$...
%
$$\begin{array}{rcl}
(x+2=5)[x:=2] &=& (2+2=5) \\
&=& (4=5) \\
&=& \False \\[5pt]
(x+2=5)[x:=3] &=& (3+2=5) \\
&=& (5=5) \\
&=& \True \\[5pt]
\end{array}
$$
Note que os `$=$'s das expressões entre parênteses são
\ColorRed{comparações} -- como a operação `\texttt{==}' do \texttt{C}
-- e retornam ou $\True$ (``Verdadeiro'') ou $\False$ (``Falso'').
\newpage
% «corrigir-igual» (to ".corrigir-igual")
% (c2m202introp 9 "corrigir-igual")
% (c2m202introa "corrigir-igual")
{\bf ``Eu só vou corrigir os sinais de igual''}
Uma dos slogans que eu mais vou repetir quando estiver tirando dúvidas
ou corrigindo exercícios de vocês é ``\ColorRed{Eu só vou corrigir os
sinais de igual}''.
Em Cálculo 1 muita gente se enrola com a fórmula da regra da cadeia --
porque se enrola na hora de substituir os `$f$'s, `$g$'s, `$f'$'s e
`$g'$'s nela... uma das fórmulas mais importantes, e mais difíceis de
acreditar, de Cálculo 2 é a da \ColorRed{Integração por Substituição},
que é BEEEEM pior do que a Regra da Cadeia. O \ColorRed{operador de
substituição}, ``$[:=]$, que não tem nada a ver com a Integração por
Substituição, vai nos ajudar bastante a aplicar essas fórmulas passo a
passo sem a gente se perder.
Vamos precisar de alguns truques novos...
\newpage
% «regra-da-cadeia» (to ".regra-da-cadeia")
{\bf Exemplo: regra da cadeia}
Primeiro vou inventar uma abreviação para a regra da cadeia.
\ColorRed{Obs: vários dos truques que vamos usar agora são inspirados
em notações de Teoria da Computação e não são padrão!!! Não use eles
em outros cursos!!! {\bf Os professores podem não entender e podem
ficar putos!!!}}
\msk
O `$:=$' abaixo é uma \ColorRed{atribuição}, como o `\texttt{=}' do
\texttt{C}. A linha abaixo quer dizer: ``\ColorRed{a partir de agora}
o valor de $[RC]$ vai ser a \ColorRed{expressão} entre os parênteses
grandes.
%
$$[RC] \;\; := \;\; \left( \ddx f(g(x)) = f'(g(x))g'(x) \right)$$
\newpage
{\bf Exemplo: regra da cadeia (2)}
Continuando...
%
$$[RC] \;\; := \;\; \left( \ddx f(g(x)) = f'(g(x))g'(x) \right)$$
Então:
%
$$\begin{array}{rcl}
[RC] \bmat{f := \sen} &=&
\left( \ddx \sen(g(x)) = \sen'(g(x))g'(x) \right) \\[5pt]
[RC] \bmat{f(u) := \sen u} &=&
\left( \ddx \sen(g(x)) = \sen'(g(x))g'(x) \right) \\[5pt]
[RC] \bmat{f(u) := u^4 \\ f'(u) := 4u^3 } &=&
\left( \ddx (g(x))^4 = 4(g(x))^3g'(x) \right) \\
\end{array}
$$
Repare que agora estamos substituindo o `$f$' \ColorRed{como se ele
fosse uma variável} -- mas precisamos de gambiarras novas. No caso
do meio escrevemos $f(u) := \sen u$ ao invés de $f := \sen$, e...
\newpage
% «acrescentamos» (to ".acrescentamos")
% (c2m202introp 12 "acrescentamos")
% (c2m202introa "acrescentamos")
$$[RC] \;\; := \;\; \left( \ddx f(g(x)) = f'(g(x))g'(x) \right)$$
$$\begin{array}{rcl}
[RC] \bmat{f := \sen} &=&
\left( \ddx \sen(g(x)) = \sen'(g(x))g'(x) \right) \\[5pt]
[RC] \bmat{f(u) := \sen u} &=&
\left( \ddx \sen(g(x)) = \sen'(g(x))g'(x) \right) \\[5pt]
[RC] \bmat{f(u) := u^4 \\ f'(u) := 4u^3 } &=&
\left( \ddx (g(x))^4 = 4(g(x))^3g'(x) \right) \\
\end{array}
$$
%
...e no caso de baixo acrescentamos uma linha ``$f'(u) := 4u^3$'' na
lista de substituições. Essa linha é uma \ColorRed{consequencia} da
linha ``$f(u) := u^4$'', e ela está lá só pra ajudar a gente a se
enrolar menos.
\newpage
{\bf Exercício}
Tente resolver as EDOs abaixo (de um dos primeiros slides) por chutar
e testar.
$$\begin{array}{rll}
4) & f'(x) = x^4 & \te{EDO simples} \\
& \text{ou: } \ddx f(x) = x^4 & \te{$f$ é a váriavel/incógnita!!!} \\
5) & f'(x) = 2f(x) & \te{EDO mais complicada} \\
6) & f''(x) + f'(x) = 6f(x) & \te{idem} \\
7) & f'(x) = -1/f(x) & \te{idem} \\
8) & f'(x) = -x/f(x) & \te{idem} \\
\end{array}
$$
Sugestão: comece testando $f(x) = x^3$, $f(x) = x^5$, $f(x) = 200x^5 +
42$, $f(x) = e^x$, $f(x) = e^{42x}$, $f(x) = e^{2x}$, $f(x)=e^{3x}$,
$f(x) = \sqrt{1-x^2}$, $f(x) = \sqrt{4-x^2}$.
\newpage
% «algumas-traducoes» (to ".algumas-traducoes")
% (c2m202introp 14 "algumas-traducoes")
% (c2m202introa "algumas-traducoes")
\thispagestyle{empty}
\begin{center}
\vspace*{2cm}
{\bf \Large Algumas traduções}
\end{center}
% Alguns usos do "=":
% comparação,
% hipótese, ou equação que queremos resolver,
%
\newpage
%\printbibliography
\GenericWarning{Success:}{Success!!!} % Used by `M-x cv'
\end{document}
% __ __ _
% | \/ | __ _| | _____
% | |\/| |/ _` | |/ / _ \
% | | | | (_| | < __/
% |_| |_|\__,_|_|\_\___|
%
% <make>
* (eepitch-shell)
* (eepitch-kill)
* (eepitch-shell)
# (find-LATEXfile "2019planar-has-1.mk")
make -f 2019.mk STEM=2020-2-C2-intro veryclean
make -f 2019.mk STEM=2020-2-C2-intro pdf
% Local Variables:
% coding: utf-8-unix
% ee-tla: "c2m202intro"
% End: