Cheat sheet

Fórmulas e condições de diferenciação, séries, integração, EDOs, Laplace e Fourier.

Perguntar sobre esta página

ChatGPTClaudePerplexityGrokGeminiCopiar e abrirDeepSeekCopiar e abrir

Confirma o domínio antes da técnica. CC é uma constante; u,vu,v são funções deriváveis quando aparecem em regras de cálculo.

Diferenciação

(uv)′=u′v+uv′(u/v)′=u′v−uv′v2 (v≠0)(f∘u)′=f′(u)u′.\begin{gathered} (uv)'=u'v+uv'\\ (u/v)'=\frac{u'v-uv'}{v^2}\ (v\ne0)\\ (f\circ u)'=f'(u)u'. \end{gathered}

Para y=f(u)y=f(u) com uu duas vezes derivável e ff duas vezes derivável num intervalo que contém a imagem de uu,

y′′=f′′(u)(u′)2+f′(u)u′′.y''=f''(u)(u')^2+f'(u)u''.

(ln⁡∣u∣)′=u′/u(\ln|u|)'=u'/u para u≠0u\ne0; (arctan⁡u)′=u′/(1+u2)(\arctan u)'=u'/(1+u^2); (arcsin⁡u)′=u′/1−u2(\arcsin u)'=u'/\sqrt{1-u^2} para ∣u∣<1|u|<1. Para u>0u>0, (uv)′=uv(v′ln⁡u+vu′/u)(u^v)'=u^v(v'\ln u+vu'/u); consulta as regras de derivação.

TeoremaHipóteses essenciaisConclusão
Rollea<ba<b, contínua em [a,b][a,b], derivável dentro, f(a)=f(b)f(a)=f(b)Algum c∈]a,b[c\in]a,b[ com f′(c)=0f'(c)=0
LagrangeMesma regularidadef′(c)=[f(b)−f(a)]/(b−a)f'(c)=[f(b)-f(a)]/(b-a) para algum cc interior
L’Hôpital0/00/0 ou ∞/∞\infty/\infty, ff e gg deriváveis perto do ponto (exceto talvez nele), g′≠0g'\ne0 perto, lim⁡f′/g′\lim f'/g' existe (finito ou infinito)lim⁡f/g=lim⁡f′/g′\lim f/g=\lim f'/g'; verifica em cada repetição

Sem limite de f′/g′f'/g', a regra não decide. Deriva numerador e denominador em separado, nunca o quociente. Hipóteses.

ClassificaçãoRegra com continuidade no candidato
Extremo local interior derivávelExige f′=0f'=0; o recíproco falha (x3x^3)
Sinal de f′f' +→−+\to- / −→+-\to+Máximo / mínimo local
InflexãoMudança de concavidade num ponto do gráfico
Absoluto em [a,b][a,b]Compara candidatos e extremos

Estudo.

Taylor e séries

Pn,a=∑k=0nf(k)(a)k!(x−a)k∣Rn,a∣≤M∣x−a∣n+1(n+1)!,\begin{gathered} P_{n,a}=\sum_{k=0}^n\frac{f^{(k)}(a)}{k!}(x-a)^k\\ |R_{n,a}|\le\frac{M|x-a|^{n+1}}{(n+1)!}, \end{gathered}

com ∣f(n+1)∣≤M|f^{(n+1)}|\le M no segmento. A série representa ff só onde Rn,a→0R_{n,a}\to0. Erro.

PadrãoResultado ou condição
∑n=m∞crn\sum_{n=m}^{\infty}cr^ncrm/(1−r)cr^m/(1-r) se ∣r∣<1\lvert r\rvert<1
∑1/np\sum1/n^pConverge se e só se p>1p>1
Razão ∣an+1/an∣→L\lvert a_{n+1}/a_n\rvert\to L ou raiz ∣an∣n→L\sqrt[n]{\lvert a_n\rvert}\to LL<1L<1: absoluta; L>1L>1: diverge; L=1L=1: não decide. A razão exige an≠0a_n\ne0 eventualmente
Alternada (−1)nbn(-1)^nb_nLeibniz: bn≥0b_n\ge0, decrescente e bn→0b_n\to0; erro ≤bN+1\le b_{N+1}

an→0a_n\to0 é necessário, mas insuficiente. Comparação direta ou por limite exige termos não negativos. Uma série de potências converge dentro do raio; estuda cada extremo à parte.

Estratégia: termo geral primeiro; depois razão constante, cancelamento, comparação com pp, fatorial ou potência nn; com sinais alternados, testa convergência absoluta antes de Leibniz. Critérios.

Integração

∫u′updx=up+1p+1+C(p≠−1)∫u′udx=ln⁡∣u∣+C,\begin{gathered} \int u' u^p dx=\frac{u^{p+1}}{p+1}+C\\ (p\ne-1)\\ \int\frac{u'}u dx=\ln|u|+C, \end{gathered} ∫u dv=uv−∫v duddx∫u(x)v(x)f(t)dt=f(v)v′−f(u)u′,\begin{gathered} \int u\,dv=uv-\int v\,du\\ \frac d{dx}\int_{u(x)}^{v(x)}f(t)dt=f(v)v'-f(u)u', \end{gathered}

na última fórmula com ff contínua. Muda os limites numa substituição definida ou volta à variável original antes de avaliar. Técnicas.

Fração racional: divide se necessário e inclui todas as potências dos fatores repetidos. Seno/cosseno com potência ímpar: guarda um fator para substituir; ambos pares: lineariza. t=tan⁡(x/2)t=\tan(x/2) racionaliza funções racionais de seno e cosseno. Escolha.

Simetria: ∫0af(x)dx=∫0af(a−x)dx\int_0^a f(x)dx=\int_0^a f(a-x)dx para ff contínua e a>0a>0. Uma identidade ∫cxf=G\int_c^x f=G exige f=G′f=G\prime e G(c)=0G(c)=0.

GeometriaFórmula e condição de aplicação
Área entre curvas∫∥f−g∥\int\|f-g\|; divide onde a ordem das curvas muda
Secções de área A(x)A(x)V=∫A(x)dxV=\int A(x)dx
ArandelasV=π∫(R2−r2)dxV=\pi\int(R^2-r^2)dx, R≥r≥0R\ge r\ge0, com raios medidos desde o eixo
Cascas sem sobreposiçãoV=2π∫ρH dxV=2\pi\int\rho H\,dx; ρ\rho é a distância ao eixo
Faixa que contém o eixoDisco cheio: r=0r=0, RR é a maior distância às extremidades; divide onde muda
Polar, percurso únicoA=12∫r2dθA=\frac12\int r^2d\theta; confirma a curva exterior em cada intervalo

Geometria.

Impróprios e hiperbólicas

∫1∞x−pdx converge  ⟺  p>1∫01x−pdx converge  ⟺  p<1.\begin{gathered} \int_1^{\infty}x^{-p}dx\text{ converge}\iff p>1\\ \int_0^1x^{-p}dx\text{ converge}\iff p<1. \end{gathered}

Separa singularidades interiores e as duas caudas. Todos os limites têm de ser finitos, sem cancelamento simétrico. Convergência.

cosh⁡2x−sinh⁡2x=1\cosh^2x-\sinh^2x=1; (sinh⁡)′=cosh⁡(\sinh)'=\cosh, (cosh⁡)′=sinh⁡(\cosh)'=\sinh; ∫dx/1+x2=arsinh⁡x+C\int dx/\sqrt{1+x^2}=\operatorname{arsinh}x+C. O sinal menos dá arco-seno. Hiperbólicas.

Equações diferenciais

FormaMétodo e condição
y′=f(x)g(y)y'=f(x)g(y)Separa; testa zeros de gg antes de dividir
y′=F(y/x)y'=F(y/x)v=y/xv=y/x, y′=v+xv′y'=v+xv'; x≠0x\ne0
y′+Py=Qy'+Py=Qμ=e∫P\mu=e^{\int P}; (μy)′=μQ(\mu y)'=\mu Q
y′+Py=Qyny'+Py=Qy^nv=y1−nv=y^{1-n}; n≠0,1n\ne0,1; verifica soluções excluídas

Para ay′′+by′+cy=fay''+by'+cy=f, com a,b,ca,b,c constantes e a≠0a\ne0, resolve ar2+br+c=0ar^2+br+c=0 e soma uma particular.

Raízes reais / complexasSolução homogénea
Reais distintas r1,r2r_1,r_2C1er1x+C2er2xC_1e^{r_1x}+C_2e^{r_2x}
Real dupla rr(C1+C2x)erx(C_1+C_2x)e^{rx}
α±iβ\alpha\pm i\beta, β>0\beta>0eαx(C1cos⁡βx+C2sin⁡βx)e^{\alpha x}(C_1\cos\beta x+C_2\sin\beta x)

Em ressonância, multiplica o candidato por xmx^m, com mm igual à multiplicidade. Se conheces uma solução y1y_1, a redução y=y1uy=y_1u baixa a ordem. Variação dos parâmetros exige a forma normalizada com g=f/ag=f/a. Segunda ordem.

Laplace e Fourier

L{tn}=n!sn+1L{f′}=sF−f(0)L{f′′}=s2F−sf(0)−f′(0).\begin{gathered} \mathcal L\{t^n\}=\frac{n!}{s^{n+1}}\\ \mathcal L\{f'\}=sF-f(0)\\ \mathcal L\{f''\}=s^2F-sf(0)-f'(0). \end{gathered}

L{eatf}=F(s−a)\mathcal L\{e^{at}f\}=F(s-a); L{u(t−a)f(t−a)}=e−asF(s)\mathcal L\{u(t-a)f(t-a)\}=e^{-as}F(s); L{f∗g}=FG\mathcal L\{f*g\}=FG. Convolução não é produto ponto a ponto. Para inverter, decompõe em frações, completa quadrados e ajusta fatoriais ou frequências. Tabela e inversão.

Para período 2L2L,

an=1L∫−LLf(x)cos⁡nπxLdxbn=1L∫−LLf(x)sin⁡nπxLdx.\begin{gathered} a_n=\frac1L\int_{-L}^Lf(x)\cos\frac{n\pi x}Ldx\\ b_n=\frac1L\int_{-L}^Lf(x)\sin\frac{n\pi x}Ldx. \end{gathered}

A série usa a0/2a_0/2, não a0a_0. Par anula senos; ímpar anula cossenos e constante. Com regularidade por partes, soma [f(x−)+f(x+)]/2[f(x^-)+f(x^+)]/2, usando limites periódicos nos extremos. Meio intervalo exige escolher extensão. Fourier.

À tua maneira

Aparência

Modo de cor
Tema
Cor de destaque

Leitura

Fonte de leitura

Álgebra, lógica e uma ideia de cada vez.

Código

Fonte do código

Navegação

Cursor de leitura, sem edição. h, j, k, l movem; / pesquisa nesta página. v seleciona caracteres; V seleciona linhas; y copia. Tab permite destacar ou comentar. Espaço ou Enter abre blocos recolhíveis. Nos cartões, h, j, k, l mudam o foco.

CSS personalizado

Ativa uma sugestão ou guarda o teu CSS. Só muda este navegador.

Usa --page, --text e --accent para acompanhar o tema.

Seletores e recuperação

.site-header, .prose, .course-card, [data-reading-history], [data-playground] e .page-actions.

Abre a aparência com a tecla vírgula ou no rodapé. Se o CSS esconder os controlos, abre esta página sem CSS personalizado.

Pesquisar

Escreve para pesquisar em todo o site.

para escolher · Enter para abrir · Esc para fechar

Copiar fórmula

A cópia automática não está disponível. Copia o LaTeX abaixo.

Pesquisar nesta página

Enter procura · n / N repetem · Esc cancela. Ctrl / Cmd K pesquisa todo o site.

Atalhos de teclado

Clica numa tecla para a mudar. Esc cancela. Backspace desativa.

PesquisarCtrl / Cmd K

Os atalhos não interferem enquanto escreves. Tab e Enter funcionam sempre.