|
Warning: this is an htmlized version!
The original is here, and the conversion rules are here. |
% (find-LATEX "2023-2-C2-carro.tex")
% (defun c () (interactive) (find-LATEXsh "lualatex -record 2023-2-C2-carro.tex" :end))
% (defun C () (interactive) (find-LATEXsh "lualatex 2023-2-C2-carro.tex" "Success!!!"))
% (defun D () (interactive) (find-pdf-page "~/LATEX/2023-2-C2-carro.pdf"))
% (defun d () (interactive) (find-pdftools-page "~/LATEX/2023-2-C2-carro.pdf"))
% (defun e () (interactive) (find-LATEX "2023-2-C2-carro.tex"))
% (defun o () (interactive) (find-LATEX "2023-1-C2-carro.tex"))
% (defun u () (interactive) (find-latex-upload-links "2023-2-C2-carro"))
% (defun v () (interactive) (find-2a '(e) '(d)))
% (defun d0 () (interactive) (find-ebuffer "2023-2-C2-carro.pdf"))
% (defun cv () (interactive) (C) (ee-kill-this-buffer) (v) (g))
% (code-eec-LATEX "2023-2-C2-carro")
% (find-pdf-page "~/LATEX/2023-2-C2-carro.pdf")
% (find-sh0 "cp -v ~/LATEX/2023-2-C2-carro.pdf /tmp/")
% (find-sh0 "cp -v ~/LATEX/2023-2-C2-carro.pdf /tmp/pen/")
% (find-xournalpp "/tmp/2023-2-C2-carro.pdf")
% file:///home/edrx/LATEX/2023-2-C2-carro.pdf
% file:///tmp/2023-2-C2-carro.pdf
% file:///tmp/pen/2023-2-C2-carro.pdf
% http://anggtwu.net/LATEX/2023-2-C2-carro.pdf
% (find-LATEX "2019.mk")
% (find-Deps1-links "Caepro5 Piecewise1")
% (find-Deps1-cps "Caepro5 Piecewise1")
% (find-Deps1-anggs "Caepro5 Piecewise1")
% (find-MM-aula-links "2023-2-C2-carro" "C2" "c2m232carro" "c2ca")
% «.defs» (to "defs")
% «.defs-T-and-B» (to "defs-T-and-B")
% «.defs-caepro» (to "defs-caepro")
% «.defs-pict2e» (to "defs-pict2e")
% «.title» (to "title")
% «.links» (to "links")
%
% «.introducao» (to "introducao")
% «.exercicio-1» (to "exercicio-1")
% «.exercicio-1-dicas» (to "exercicio-1-dicas")
% «.exercicio-2» (to "exercicio-2")
% «.exercicio-3» (to "exercicio-3")
% «.exercicio-4» (to "exercicio-4")
% «.exercicio-5» (to "exercicio-5")
% «.algumas-propriedades» (to "algumas-propriedades")
% «.algumas-propriedades-2» (to "algumas-propriedades-2")
% «.quase-retangulos» (to "quase-retangulos")
%
% «.djvuize» (to "djvuize")
% <videos>
% Video (not yet):
% (find-ssr-links "c2m232carro" "2023-2-C2-carro")
% (code-eevvideo "c2m232carro" "2023-2-C2-carro")
% (code-eevlinksvideo "c2m232carro" "2023-2-C2-carro")
% (find-c2m232carrovideo "0: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{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")
%\usepackage{emaxima} % (find-LATEX "emaxima.sty")
%
% (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/2023-2-C2.pdf}
\def\drafturl{http://anggtwu.net/2023.2-C2.html}
\def\draftfooter{\tiny \href{\drafturl}{\jobname{}} \ColorBrown{\shorttoday{} \hours}}
% (find-LATEX "2023-1-C2-carro.tex" "defs-caepro")
% (find-LATEX "2023-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\ColorOrange#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){\ColorOrange{\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 V = nil -- (find-angg "LUA/Pict2e1.lua" "MiniV")
%L dofile "Piecewise1.lua" -- (find-LATEX "Piecewise1.lua")
%L Pict2e.__index.suffix = "%"
\def\pictgridstyle{\color{GrayPale}\linethickness{0.3pt}}
\def\pictaxesstyle{\linethickness{0.5pt}}
\def\pictnaxesstyle{\color{GrayPale}\linethickness{0.5pt}}
\celllower=2.5pt
\pu
% _____ _ _ _
% |_ _(_) |_| | ___ _ __ __ _ __ _ ___
% | | | | __| |/ _ \ | '_ \ / _` |/ _` |/ _ \
% | | | | |_| | __/ | |_) | (_| | (_| | __/
% |_| |_|\__|_|\___| | .__/ \__,_|\__, |\___|
% |_| |___/
%
% «title» (to ".title")
% (c2m232carrop 1 "title")
% (c2m232carroa "title")
\thispagestyle{empty}
\begin{center}
\vspace*{1.2cm}
{\bf \Large Cálculo 2 - 2023.2}
\bsk
Aulas 1 e 2: integração e derivação
com o mathologermóvel
\bsk
Eduardo Ochs - RCN/PURO/UFF
\url{http://anggtwu.net/2023.2-C2.html}
\end{center}
\newpage
% «links» (to ".links")
% (c2m232carrop 2 "links")
% (c2m232carroa "links")
{\bf Links}
\scalebox{0.55}{\def\colwidth{10.5cm}\firstcol{
Quadros destas aulas:
\par \Ca{2hQ1} Quadros da aula 1 (2a, 28/ago/2023)
\par \Ca{2hQ3} Quadros da aula 2 (3a, 29/ago/2023)
% \par \Ca{2hQ5} Quadros da aula 3 (4a, 30/ago/2023)
\msk
Links da aula 1:
\par \Ca{2gT4} Releia a dica 7
\par \Ca{2gT11} Atirei o pau no gato
\par \Ca{2gT19} Retas reversas
\par \Ca{2gT24} Integração e derivação com o Mathologermóvel
\par \Ca{2gT27} (p.4) Exercício 1
\par \Ca{2gT28} (p.5) Dicas pro exercício 1
\par \Ca{CalcEasy03:19} até 12:47
\msk
Links da aula 2:
\par \Ca{CalcEasy11:35} até 12:47
\par \Ca{2gT37} (p.5) O macaco substituidor: EDOs, RC, TFC2
\par \Ca{StewPtCap5p9} (p.330) Figuras 11 e 12
\par \Ca{StewPtCap5p16} (p.337) A integral definida
\par \Ca{StewPtCap5p33} (p.354) TFC, parte 2
\par \Ca{StewPtCap5p36} (p.357) Exercícios 19 a 26 (sobre o TFC2)
\par \Ca{2fT91} até \Ca{2fT93} (p.3 até p.5): A definição da integral
% (find-books "__analysis/__analysis.el" "leithold" "conjunto de pares ordenados")
% (find-stewart71ptpage (+ 27 14) "Teste da Reta Vertical")
% (find-stewart71pttext (+ 27 14) "Teste da Reta Vertical")
% (find-stewart71ptpage (+ 27 15) "Funções Definidas por Partes")
% (find-stewart71pttext (+ 27 15) "Funções Definidas por Partes")
}\anothercol{
Os slides das próximas páginas são versões ligeiramente
reescritas destes slides de outros semestres:
\ssk
\par \Ca{2fT17} (mathologermovel, p.3) Item 3
\par \Ca{2fT18} (mathologermovel, p.4) Item 4
\par \Ca{2eT62} (TFC1, p.3) Algumas propriedades da integral
\par \Ca{2eT66} (TFC1, p.7) Exercício 1
\par \Ca{2eT69} (TFC1, p.10) A função G(x) é esta aqui
\par \Ca{2dT225} (MT3, p.4) Uma espécie de gabarito
\par \Ca{2eT199} (P1, p.7) eu defini as funções f e g desta forma
\par \Ca{2eT200} (P1, p.8) gabarito
\msk
}}
\newpage
% «introducao» (to ".introducao")
% (c2m232carrop 2 "introducao")
% (c2m232carroa "introducao")
% (c2m231carrop 2 "introducao")
% (c2m231carroa "introducao")
{\bf Introdução}
\scalebox{0.7}{\def\colwidth{12cm}\firstcol{
Nesta parte do curso nós vamos tentar entender
este trecho do vídeo do Mathologer,
\ssk
\Ca{CalcEasy03:19} até 12:47
\bsk
e vamos fazer alguns exercícios --
que podem ser feitos em vários níveis de detalhe.
Leia estes trechos das legendas de uns vídeos meus:
\ssk
\par \Ca{Slogans01:10} até 08:51: sobre chutar e testar
\par \Ca{Slogans07:17} até 07:48: ...do tamanho de um apartamento
\par \Ca{Visaud45:14} até 52:24: ajustar o nível de detalhe
\par \Ca{Slogans1:11:02} até 1:17:42: seja o seu prório Geogebra
\par \Ca{Slogans1:39:46} até 1:45:02: ...com quem vale a pena estudar
\bsk
Leia também estes slides:
\par \Ca{2gT4} (intro, p.3) ``Releia a Dica 7''
\par \Ca{2gT13} (intro, p.12) Sobre Português
\par \Ca{2gT14} (intro, p.13) Sobre Português (2)
\par \Ca{2gT16} (intro, p.15) Unexpected end of input
\par \Ca{2gT19} (intro, p.18) Retas reversas
}\anothercol{
}}
\newpage
% «exercicio-1» (to ".exercicio-1")
% (c2m232carrop 4 "exercicio-1")
% (c2m232carroa "exercicio-1")
% (c2m231carrop 4 "exercicio-1")
% (c2m231carroa "exercicio-1")
% (c2m221tfc1p 10 "exercicio-4")
% (c2m221tfc1a "exercicio-4")
{\bf Exercício 1.}
\scalebox{1.0}{\def\colwidth{10.5cm}\firstcol{
Seja $G(x)$ esta função:
%
%L putcellat = function (xy, str) return pformat("\\put%s{\\cell{%s}}", xy, str) end
%L Pict2e.bounds = PictBounds.new(v(0,-2), v(15,5))
%L spec =
%L "(0,-1)--(1,-1)--(2,0)--(3,-1)--(3.5,0)--" ..
%L "(4,1)--(5,0)--(6,1)--(8,1)--(9,5)--(10,2)--(11,4)--(12,3)--(13,4)--(15,2)"
%L pws = PwSpec.from(spec)
%L p = PictList {
%L pws:topict():prethickness("1.5pt"),
%L putcellat(v(5, -0.7), "5"),
%L putcellat(v(10,-0.7), "10")
%L }
%L p:pgat("pgatc"):sa("Ex 4"):output()
\pu
%
$$G(x) \;\;=\;\;\,
\unitlength=15pt
\scalebox{0.7}{$\ga{Ex 4}$}
$$
Relembre como calcular coeficientes angulares e derivadas
no olhômetro e faça um gráfico da função $G'(x)$.
\ssk
Dica 1: $G'(3.5)=2$.
Dica 2: $G'(4)$ não existe --- use uma bolinha
vazia pra representar isso no seu gráfico.
}\anothercol{
}}
\newpage
% «exercicio-1-dicas» (to ".exercicio-1-dicas")
% (c2m232carrop 5 "exercicio-1-dicas")
% (c2m232carroa "exercicio-1-dicas")
% (c2m231carrop 5 "exercicio-1-dicas")
% (c2m231carroa "exercicio-1-dicas")
% (c2m221tfc1p 11 "exercicio-4-dicas")
% (c2m221tfc1a "exercicio-4-dicas")
{\bf Exercício 1: mais dicas}
\scalebox{1.0}{\def\colwidth{10cm}\firstcol{
Pra fazer o exercício 1 você provavelmente vai ter que relembrar
algumas coisas sobre inclinação, coeficiente angular, limites
laterais, derivadas laterais, e sobre o significado das bolinhas
cheias e das bolinhas vazias nos gráficos... links:
\msk
% (find-books "__analysis/__analysis.el" "stewart-pt" "círculo cheio")
% (find-books "__analysis/__analysis.el" "leithold" "em todos os números exceto 3")
\par \Ca{Leit1p18} (p.17: inclinação)
\par \Ca{Leit1p42} (p.41: bolinhas, domínio, imagem)
\par \Ca{StewPtCap1p10} (p.15: círculo cheio e círculo vazio)
\par \Ca{Miranda66} (Capítulo 3: Derivadas)
\par \Ca{Miranda22} (Seção 1.4: Limites laterais)
\par \Ca{Miranda74} (Seção 3.2.3: Derivadas laterais)
\msk
\par \Ca{2eT70} (p.11) Dicas que eu preparei em 2022.1
}\anothercol{
}}
\newpage
% «exercicio-2» (to ".exercicio-2")
% (c2m232carrop 6 "exercicio-2")
% (c2m232carroa "exercicio-2")
% (c2m231carrop 6 "exercicio-2")
% (c2m231carroa "exercicio-2")
% (c2m221tfc1p 7 "exercicio-1")
% (c2m221tfc1a "exercicio-1")
{\bf Exercício 2.}
%L Pict2e.bounds = PictBounds.new(v(0,-2), v(7,4))
%L spec = "(0,0)--(1,0)o (1,2)c--(2,2)o (2,3)c--(4,3)c (4,-1)o--(6,-1)o (6,0)c--(7,0)"
%L pws = PwSpec.from(spec)
%L pws:topict():prethickness("1.5pt"):pgat("pgatc"):sa("Ex 1"):output()
\pu
\unitlength=7.5pt
\ssk
Seja $f(x) \; = \;\; \ga{Ex 1}$ \; .
Note que:
$\Intx{1}{2}{f(x)} = 2·(2-1)$,
$\Intx{3}{4}{f(x)} = 3·(4-3)$,
$\Intx{4}{6}{f(x)} = -1·(6-4)$,
\msk
Calcule:
a) $\Intx{1.5}{2}{f(x)}$
b) $\Intx{2}{4}{f(x)}$
c) $\Intx{1.5}{4}{f(x)}$
d) $\Intx{1.5}{6}{f(x)}$
\newpage
% «exercicio-3» (to ".exercicio-3")
% (c2m232carrop 7 "exercicio-3")
% (c2m232carroa "exercicio-3")
{\bf Exercício 3.}
\msk
Sejam $f(x) \; = \;\; \ga{Ex 1}$
e $F(β) = \Intx{2}{β}{f(x)}$.
\msk
a) Calcule $F(2), F(2.5), F(3), \ldots, F(6)$.
b) Calcule $F(1.5), F(1), F(0.5), F(0)$.
\newpage
% «exercicio-4» (to ".exercicio-4")
% (c2m232carrop 8 "exercicio-4")
% (c2m232carroa "exercicio-4")
% (c2m221tfc1p 9 "exercicio-3")
% (c2m221tfc1a "exercicio-3")
{\bf Exercício 4.}
No exercício 3 você obteve alguns valores da função $F(β)$,
mas não todos... por exemplo, você {\sl ainda} não calculou $F(2.1)$.
\msk
a) Desenhe num gráfico só todos os pontos $(x,F(x))$
que você calculou nos itens (a) e (b) do exercício 3.
Dica: o conjunto que você quer desenhar é este aqui:
$\{(0,F(0)), \, (0.5,F(0.5)), \ldots, (6,F(6))\}$.
\msk
b) Tente descobrir --- lendo os próximos slides, assitindo
o vídeo, e discutindo com os seus colegas --- qual é o jeito
certo de ligar os pontos do item (a).
\newpage
% «exercicio-5» (to ".exercicio-5")
% (c2m232carrop 9 "exercicio-5")
% (c2m232carroa "exercicio-5")
{\bf Exercício 5.}
% 2fT18 (c2m222mmp 4 "item-4")
% (c2m222mma "item-4")
% (c2m221p1p 7 "escadas")
% (c2m221p1a "escadas")
%L hx = function (x, y) return format(" (%s,%s)c--(%s,%s)o", x-1,y, x,y) end
%L hxs = function (ys)
%L local str = ""
%L for x,y in ipairs(ys) do str = str .. hx(x, y) end
%L return str
%L end
%L mtintegralspec = function (specf, xmax, y0)
%L local pws = PwSpec.from(specf)
%L local f = pws:fun()
%L local ys = {[0] = y0}
%L for x=1,xmax do
%L PP("FOO", x, f(x-0.5), ys)
%L ys[x] = ys[x - 1] + f(x - 0.5)
%L end
%L local strx = function (x) return tostring(v(x, ys[x])) end
%L local specF = mapconcat(strx, seq(0, xmax), "--")
%L return specF
%L end
%L
%L ysf = {1, 2, 1, 0, -1, -2, -1, 0, 1, 2, 1, 0}
%L specf = hxs(ysf)
%L ysg = {0, 1, 2, 3, -2, -1, 0, -1, -2, 3, 2, 1, 0}
%L specg = hxs(ysg)
%L specF = mtintegralspec(specf, #ysf, 0)
%L specG = mtintegralspec(specf, #ysf, -3)
%L specI = mtintegralspec(specg, #ysg, 0)
%L pwsf = PwSpec.from(specf)
%L pwsg = PwSpec.from(specg)
%L pwsF = PwSpec.from(specF)
%L pwsG = PwSpec.from(specG)
%L pwsI = PwSpec.from(specI)
%L pf = pwsf:topict():setbounds(v(0,-2), v(#ysf,2)):pgat("pgatc")
%L pg = pwsg:topict():setbounds(v(0,-2), v(#ysg,3)):pgat("pgatc")
%L pF = pwsF:topict():setbounds(v(0,-0), v(#ysf,4)):pgat("pgatc")
%L pG = pwsG:topict():setbounds(v(0,-3), v(#ysf,1)):pgat("pgatc")
%L pI = pwsI:topict():setbounds(v(0,0), v(#ysg,6)):pgat("pgatc")
%L pf:sa("Fig f"):output()
%L pg:sa("Fig g"):output()
%L pF:sa("Fig F"):output()
%L pG:sa("Fig G"):output()
%L pI:sa("Fig I"):output()
%L
%L PictList{}:setbounds(v(0,-4),v(13,4)):pgat("pgatc"):sa("respgrid"):output()
%L
%L mtintegralspec2 = function (x0, y0, Dys, dot0, dot1)
%L local mkxy = function (x,y) return format("(%d,%d)", x, y) end
%L local xys = { mkxy(x0,y0) .. (dot0 or "") }
%L local x,y = x0,y0
%L for i,Dy in ipairs(Dys) do
%L x = x + 1
%L y = y + Dy
%L table.insert(xys, mkxy(x,y))
%L end
%L xys[#xys] = xys[#xys] .. (dot1 or "")
%L return table.concat(xys, "--")
%L end
%L
%L -- = mtintegralspec2(10, 20, {1, 2, -3, -3}, "a", "b")
%L ysf = {1, 2, 1, 0, -1, -2, -1, 0, 1, 2, 1, 0}
%L ysf_ = {1, 2, 1, 0, -1, -2, -1}
%L ysg = {0, 1, 2, 3, -2, -1, 0, -1, -2, 3, 2, 1, 0}
%L ysg_ = {-1, -2, 3, 2, 1}
%L specH = mtintegralspec2(0, -4, ysf_, "", "o\n") ..
%L mtintegralspec2(7, 1, ysg_, "o", "")
%L specM = mtintegralspec2(0, -4, ysf_, "", "o\n") ..
%L mtintegralspec2(7, 2, ysg_, "o", "")
%L -- = specH
%L -- = specM
%L pwsH = PwSpec.from(specH)
%L pwsM = PwSpec.from(specM)
%L pH = pwsH:topict():setbounds(v(0,-4), v(12,4)):pgat("pgatc")
%L pM = pwsM:topict():setbounds(v(0,-4), v(12,5)):pgat("pgatc")
%L pH:sa("Fig H"):output()
%L pM:sa("Fig M"):output()
\pu
\unitlength=9pt
Sejam:
\msk
$\begin{array}{lcc}
f(x) = \ga{Fig f} \; , \\
g(x) = \ga{Fig g} \; .\\
\end{array}
$
\msk
Faça os gráficos destas funções:
\ssk
a) $\D F(x) = \Intt{0}{x}{f(t)}$
\ssk
b) $\D G(x) = \Intt{3}{x}{g(t)}$
\newpage
% ____ _ _ _ _
% | _ \ _ __ ___ _ __ _ __(_) ___ __| | __ _ __| | ___ ___ / |
% | |_) | '__/ _ \| '_ \| '__| |/ _ \/ _` |/ _` |/ _` |/ _ \/ __| | |
% | __/| | | (_) | |_) | | | | __/ (_| | (_| | (_| | __/\__ \ | |
% |_| |_| \___/| .__/|_| |_|\___|\__,_|\__,_|\__,_|\___||___/ |_|
% |_|
%
% «algumas-propriedades» (to ".algumas-propriedades")
% (c2m232carrop 10 "algumas-propriedades")
% (c2m232carroa "algumas-propriedades")
% (c2m232carrop 3 "algumas-propriedades")
% (c2m232carroa "algumas-propriedades")
% (c2m221tfc1p 3 "algumas-propriedades")
% (c2m221tfc1a "algumas-propriedades")
{\bf Algumas propriedades da integral}
%L para = function (x) return 4*x - x^2 end
%L vex = function (str) return Code.ve("x => "..str) end
%L rievex = function (str) return Riemann.fromf(vex(str), seq(0, 4, 0.125)) end
%L rievexa = function (str, a, b)
%L local rie = rievex(str)
%L return PictList {
%L rie.pwf:areaify(a, b):Color("Orange"),
%L rie:lineify(0, 4),
%L }
%L end
%L rievexaout = function (str, a, b, name)
%L local p = rievexa(str, a, b)
%L p:pgat("pgatc"):sa(name):output()
%L end
%L
%L Pict2e.bounds = PictBounds.new(v(0,0), v(4,4))
%L rievexaout("para(x)/2", 0, 4, "Fig 1a 1")
%L rievexaout("para(x)", 0, 4, "Fig 1a 2")
%L
%L Pict2e.bounds = PictBounds.new(v(0,-2), v(4,2))
%L rievexaout(" para(x)/2", 0, 4, "Fig 1b 1")
%L rievexaout("-para(x)/2", 0, 4, "Fig 1b 2")
%L
%L Pict2e.bounds = PictBounds.new(v(0,0), v(4,2))
%L rievexaout("para(x)/2", 0, 3, "Fig 2a 1")
%L rievexaout("para(x)/2", 3, 4, "Fig 2a 2")
%L rievexaout("para(x)/2", 0, 4, "Fig 2a 3")
%L
%L Pict2e.bounds = PictBounds.new(v(0,0), v(4,2))
%L rievexaout("para(x)/2", 0, 4, "Fig 2b 1")
%L rievexaout("para(x)/2", 3, 4, "Fig 2b 2")
%L rievexaout("para(x)/2", 0, 3, "Fig 2b 3")
\pu
\unitlength=10pt
\unitlength=7.5pt
\def\undga#1#2{\underbrace{\textstyle #2}_{\ga{#1}}}
\def\undqq#1#2{\underbrace{\textstyle #2}_{???}}
\def\und #1#2{\underbrace{\textstyle #1}_{#2}}
\scalebox{0.5}{\def\colwidth{12cm}\firstcol{
As três propriedades mais básicas da integral definida são estas:
%
$$\begin{array}{rclc}
k\Intx{a}{b}{f(x)} &=& \Intx{a}{b}{kf(x)} & (*) \\[5pt]
\Intx{a}{b}{f(x)} + \Intx{b}{c}{f(x)} &=& \Intx{a}{c}{f(x)} & (**) \\[5pt]
\Intx{a}{b}{f(x)} &=& -\Intx{b}{a}{f(x)} & ({*}{*}{*}) \\[5pt]
\Intx{a}{b}{k} &=& k(b-a) & ({*}{*}{*}{*}) \\
\end{array}
$$
O melhor modo da gente visualizar o que esses propriedades ``querem
dizer'' é comparando a fórmula pro caso geral com casos particulares.
Olhe pra figura à direita; ela compara a $(*)$ com dois casos
particulares dela -- primeiro um caso ``normal'', em que $k=2$, e
depois um caso ``estranho'' em que $k=-1$...
\msk
No caso ``estranho'' aparecem uns números negativos, ó:
$$\begin{array}{rclc}
\und{(-1)· \und{\Intx{0}{4}{f(x)}}{>\,0}}{<\,0}
&=& \und{\Intx{0}{4}{(-1)· f(x)}}{<\,0} \\
\end{array}
$$
...e uma figura que tem ``área negativa''!!!
\msk
Eu acho a abordagem do Mathologer genial -- ele começa dizendo que a
distância percorrida é a área (ou a integral) da velocidade, e com
isso vários casos estranhos em que aparecem números negativos {\sl
começam} a fazer sentido.
\bsk
\standout{Slogan:} a gente quer que as quatro propriedades acima
valham sempre -- tanto nos casos ``normais'' quanto nos casos
``estranhos''.
}\anothercol{
$$\begin{array}{lrclc}
(*): & k\Intx{a}{b}{f(x)} &=& \Intx{a}{b}{kf(x)} & \\[10pt]
(*) \bsm{ a:=0 \\
b:=4 \\
k=2 }:
& 2· \undga{Fig 1a 1}{\Intx{0}{4}{f(x)}}
&=& \undga{Fig 1a 2}{\Intx{0}{4}{2· f(x)}} \\[10pt]
(*) \bsm{ a:=0 \\
b:=4 \\
k=-1 }:
& (-1)· \undga{Fig 1b 1}{\Intx{0}{4}{f(x)}}
&=& \undga{Fig 1b 2}{\Intx{0}{4}{(-1)· f(x)}} \\[10pt]
\end{array}
$$
\bsk
\bsk
\bsk
\bsk
\bsk
\bsk
\bsk
\bsk
\bsk
\bsk
\bsk
\bsk
Links pros livros:
% (find-books "__analysis/__analysis.el" "miranda")
% (find-books "__analysis/__analysis.el" "miranda" "7.4 Propriedades da Integral")
% (find-books "__analysis/__analysis.el" "stewart-pt")
% (find-books "__analysis/__analysis.el" "stewart-pt" "Propriedades da Integral Definida")
% (find-books "__analysis/__analysis.el" "leithold")
% (find-books "__analysis/__analysis.el" "leithold" "5.6. Propriedades da integral definida")
\par \Ca{StewPtCap5p22} (p.343)
\par \Ca{Leit5p48} (p.331)
\par \Ca{MirandaP220} % (até a p.222)
}}
\newpage
% ____ _ _ _ ____
% | _ \ _ __ ___ _ __ _ __(_) ___ __| | __ _ __| | ___ ___ |___ \
% | |_) | '__/ _ \| '_ \| '__| |/ _ \/ _` |/ _` |/ _` |/ _ \/ __| __) |
% | __/| | | (_) | |_) | | | | __/ (_| | (_| | (_| | __/\__ \ / __/
% |_| |_| \___/| .__/|_| |_|\___|\__,_|\__,_|\__,_|\___||___/ |_____|
% |_|
%
% «algumas-propriedades-2» (to ".algumas-propriedades-2")
% (c2m232carrop 11 "algumas-propriedades-2")
% (c2m232carroa "algumas-propriedades-2")
\scalebox{0.9}{\def\colwidth{12.5cm}\firstcol{
A motivação pro $({*}{*}{*})$ é isso aqui:
%
$$\begin{array}{lrclc}
(**): & \Intx{a}{b}{f(x)} + \Intx{b}{c}{f(x)} &=& \Intx{a}{c}{f(x)} \\[5pt]
(**) \bsm{ a:=0 \\
b:=3 \\
c:=4 }:
& \undga{Fig 2a 1}{\Intx{0}{3}{f(x)}}
+ \undga{Fig 2a 2}{\Intx{3}{4}{f(x)}}
&=& \undga{Fig 2a 3}{\Intx{0}{4}{f(x)}} \\[5pt]
(**) \bsm{ a:=0 \\
b:=4 \\
c:=3 }:
& \undga{Fig 2b 1}{\Intx{0}{4}{f(x)}}
+ \undqq{Fig 2b 2}{\Intx{4}{3}{f(x)}}
&=& \undga{Fig 2b 3}{\Intx{0}{3}{f(x)}} \\[50pt]
& \undga{Fig 2b 1}{\Intx{0}{4}{f(x)}}
- \undga{Fig 2b 2}{\Intx{3}{4}{f(x)}}
&=& \undga{Fig 2b 3}{\Intx{0}{3}{f(x)}} \\[5pt]
\end{array}
$$
}\anothercol{
}}
\newpage
% ___ _ _
% / _ \ _ _ __ _ ___ ___ _ __ ___| |_ __ _ _ __ __ _ _ _| | ___ ___
% | | | | | | |/ _` / __|/ _ \ | '__/ _ \ __/ _` | '_ \ / _` | | | | |/ _ \/ __|
% | |_| | |_| | (_| \__ \ __/ | | | __/ || (_| | | | | (_| | |_| | | (_) \__ \
% \__\_\\__,_|\__,_|___/\___| |_| \___|\__\__,_|_| |_|\__, |\__,_|_|\___/|___/
% |___/
% «quase-retangulos» (to ".quase-retangulos")
% (c2m232carrop 12 "quase-retangulos")
% (c2m232carroa "quase-retangulos")
{\bf ``Quase retângulos''}
%L Pict2e.bounds = PictBounds.new(v(0,-2), v(7,4))
%L spec = "(0,2)--(3,2)o (3,3)c (3,2)o--(5,2)o (5,0)c--(7,0)"
%L pws = PwSpec.from(spec)
%L pws:topict():prethickness("1.5pt"):pgat("pgatc"):sa("quase rect"):output()
\pu
\unitlength=7.5pt
\scalebox{0.6}{\def\colwidth{11.5cm}\firstcol{
A quarta propriedade é essa aqui:
%
$$\begin{array}{rclc}
\Intx{a}{b}{k} &=& k(b-a) & ({*}{*}{*}{*}) \\
\end{array}
$$
A gente quer que ela valha pra todos os valores de $k$, $a$ e $b$ --
incluindo os casos em que $k$ é negativo, que são ``retângulos com
altura negativa'' e pros casos que $a>b$, que são ``retângulos que têm
base negativa''...
\msk
...e além disso a gente quer que ela valha pra casos como o da figura
da direita, em que entre $x=2$ e $x=5$ o mathologermóvel anda com
velocidade constante, 2, \ColorRed{exceto em dois instantes} -- repare
que no gráfico a gente tem $f(3)=3$ e $f(5)=0$...
\msk
Vamos pensar em termos de velocidades e distâncias. Entre $x=2$ e
$x=5$ o mathologermóvel andou sempre com velocidade 2, exceto por dois
instantes de um buzilionésimo de segundo cada um, em que ele andou com
velocidades diferentes de 2... esses instantes mudam tão pouco a
distância percorrida que a gente \ColorRed{vai considerar} que eles
\ColorRed{não mudam} a distância percorrida.
}\anothercol{
\bsk
$\begin{array}{c}
f(x) \;= \scalebox{2.5}{$\ga{quase rect}$} \\
\begin{array}{rcl}
\Intx{2}{5}{f(x)} &=& \Intx{2}{5}{2} \\
&=& 2·(5-2) \\
&=& 2·3 \\
&=& 6 \\
\end{array}
\end{array}
$
}}
\GenericWarning{Success:}{Success!!!} % Used by `M-x cv'
\end{document}
% ____ _ _
% | _ \(_)_ ___ _(_)_______
% | | | | \ \ / / | | | |_ / _ \
% | |_| | |\ V /| |_| | |/ / __/
% |____// | \_/ \__,_|_/___\___|
% |__/
%
% «djvuize» (to ".djvuize")
% (find-LATEXgrep "grep --color -nH --null -e djvuize 2020-1*.tex")
* (eepitch-shell)
* (eepitch-kill)
* (eepitch-shell)
# (find-fline "~/2023.2-C2/")
# (find-fline "~/LATEX/2023-2-C2/")
# (find-fline "~/bin/djvuize")
cd /tmp/
for i in *.jpg; do echo f $(basename $i .jpg); done
f () { rm -v $1.pdf; textcleaner -f 50 -o 5 $1.jpg $1.png; djvuize $1.pdf; xpdf $1.pdf }
f () { rm -v $1.pdf; textcleaner -f 50 -o 10 $1.jpg $1.png; djvuize $1.pdf; xpdf $1.pdf }
f () { rm -v $1.pdf; textcleaner -f 50 -o 20 $1.jpg $1.png; djvuize $1.pdf; xpdf $1.pdf }
f () { rm -fv $1.png $1.pdf; djvuize $1.pdf }
f () { rm -fv $1.png $1.pdf; djvuize WHITEBOARDOPTS="-m 1.0 -f 15" $1.pdf; xpdf $1.pdf }
f () { rm -fv $1.png $1.pdf; djvuize WHITEBOARDOPTS="-m 1.0 -f 30" $1.pdf; xpdf $1.pdf }
f () { rm -fv $1.png $1.pdf; djvuize WHITEBOARDOPTS="-m 1.0 -f 45" $1.pdf; xpdf $1.pdf }
f () { rm -fv $1.png $1.pdf; djvuize WHITEBOARDOPTS="-m 0.5" $1.pdf; xpdf $1.pdf }
f () { rm -fv $1.png $1.pdf; djvuize WHITEBOARDOPTS="-m 0.25" $1.pdf; xpdf $1.pdf }
f () { cp -fv $1.png $1.pdf ~/2023.2-C2/
cp -fv $1.pdf ~/LATEX/2023-2-C2/
cat <<%%%
% (find-latexscan-links "C2" "$1")
%%%
}
f 20201213_area_em_funcao_de_theta
f 20201213_area_em_funcao_de_x
f 20201213_area_fatias_pizza
% __ __ _
% | \/ | __ _| | _____
% | |\/| |/ _` | |/ / _ \
% | | | | (_| | < __/
% |_| |_|\__,_|_|\_\___|
%
% <make>
* (eepitch-shell)
* (eepitch-kill)
* (eepitch-shell)
# (find-LATEXfile "2019planar-has-1.mk")
make -f 2019.mk STEM=2023-2-C2-carro veryclean
make -f 2019.mk STEM=2023-2-C2-carro pdf
% Local Variables:
% coding: utf-8-unix
% ee-tla: "c2ca"
% ee-tla: "c2m232carro"
% End: