Diferenças finitas: reconhecer uma quadrática numa tabela — MatLabG

Pergunta científica

Como reconhecer uma relação quadrática numa tabela — e até onde a tabela pode decidir?

Hipóteses

Tabelas com x igualmente espaçado: x₀, x₀ + p, …, x₀ + 6p (sete pontos), p > 0.
Teorema (demonstrado no Laboratório Virtual G, seção "A parábola mais simples"): se f(x) = ax² + bx + c, as diferenças segundas com passo p valem 2ap².
A recíproca não vale para funções quaisquer: diferenças segundas constantes e não nulas nos pontos da tabela só garantem que existe uma quadrática passando por eles. Com Δ² = 0 os pontos são colineares (compatível com afim) e nenhuma quadrática com a ≠ 0 passa por três pontos colineares.
"Constante" é decidido com tolerância relativa de 10⁻⁹ (o seno de múltiplos de π não dá exatamente 0 em ponto flutuante).

Domínio e modelo

Famílias: quadrática (a, b, c em passos de 0,1), afim, 2^x, x³, enganadora (m de 0 a 2); x₀ de −3 a 2 em passos de 0,5; p ∈ {0,25; 0,5; 1; 2}.

Tabela (xᵢ, yᵢ), diferenças Δ¹ᵢ = yᵢ₊₁ − yᵢ, Δ²ᵢ = Δ¹ᵢ₊₁ − Δ¹ᵢ, Δ³ᵢ; para quadráticas Δ² = 2ap², para a cúbica x³ Δ³ = 6p³, para 2^x a razão Δ¹ᵢ₊₁/Δ¹ᵢ = 2^p.

p: passo da tabela
x₀: primeiro valor de x
m: amplitude da oscilação da função enganadora
Δ¹, Δ², Δ³: diferenças primeiras, segundas e terceiras

Procedimento

Com a quadrática x² + 3, x₀ = 0 e p = 1, preveja Δ² antes de olhar a tabela. Confira com 2ap².
Troque o passo para 0,5. Preveja o novo Δ². O teorema acerta?
Escolha 2^x e x³. Que diferenças ficam constantes (ou que razão)? Crescer "cada vez mais depressa" basta para ser quadrática?
Escolha a enganadora com m = 1, x₀ = 0 e p = 1. Compare a tabela com a de x² + 3. Desligue a curva: o que a tabela "vê"?
Preveja o que acontece com p = 0,5. Teste. E com p = 1 e x₀ = 0,5?
Na investigação guiada, decida em cada caso se a tabela prova, é compatível ou refuta "a função é quadrática".
Escreva por que Δ² não constantes refutam com certeza, enquanto Δ² constantes apenas sugerem.

Experiência

Prancheta 2D: tabela de diferenças finitas e gráfico amostrado Na parte de cima, um gráfico com os sete pontos da tabela (círculos de contorno vermelho) e, por opção, a curva tracejada em cinza; durante o movimento, degraus horizontais pontilhados e verticais marrons, rotulados Δ¹, mostram as diferenças primeiras de três pontos consecutivos. Na parte de baixo, a tabela com as colunas x, y, Δ¹, Δ² (em destaque) e Δ³; a linha em estudo fica sombreada. As leituras ao lado repetem toda a tabela em texto, dizem se Δ² é constante e o que a tabela permite afirmar.

Movimento:

Velocidade

Teclado

Tab leva a cada ponto móvel; setas o movem (Shift + setas, passo maior). Espaço reproduz ou pausa o movimento; ponto (.) avança um passo; F alterna a tela cheia. Com o mouse ou o dedo, arraste os pontos.

Conexões com a realidade e com outras áreas

Cada conexão traz uma aplicação resolvida: a situação, o modelo, o cálculo passo a passo e uma leitura crítica do resultado. Mude os dados para recalcular.

Computação

Tabular uma quadrática só com somas

Como Δ² = 2ap² é constante, os valores de uma quadrática em pontos igualmente espaçados podem ser gerados apenas com adições: y ← y + Δ¹ e Δ¹ ← Δ¹ + 2ap². É o método das diferenças, usado para tabular polinômios sem multiplicações. Em ponto flutuante, as somas acumulam erros de arredondamento, que a aplicação mede.
Como usar: aplicação resolvida

Tabular f(x) = x² + 3 a partir de x = 0, com passo 1, usando apenas somas. Depois de n passos, o valor acumulado confere com o cálculo direto?

Modelo: Δ² = 2ap² é constante. Começando com y = f(x₀) e Δ¹ = f(x₀ + p) − f(x₀): a cada passo, y ← y + Δ¹ e Δ¹ ← Δ¹ + 2ap².

Dados — altere para recalcular a b c x₀ Passo p Número de passos n
1. Início: y = f(0) = 3; Δ¹ = f(1) − f(0) = 1; Δ² = 2ap² = 2.
2. 10 passos de duas somas cada (20 adições, nenhuma multiplicação).
3. Valor acumulado: y = 103. Cálculo direto: f(10) = 103.
4. Diferença: 0 (os dois cálculos coincidem exatamente).
Resultado: f(10) = 103, obtido só com somas.

Leitura crítica: Com números inteiros as somas são exatas; com decimais, cada soma em ponto flutuante arredonda, e o erro pode crescer com o número de passos. Por isso tabelas longas calculadas por somas são recalibradas de tempos em tempos com um valor calculado diretamente.
Física

Queda livre em intervalos iguais

Na queda livre a partir do repouso, desprezada a resistência do ar, d(t) = (g/2)t². Em intervalos iguais de duração p, as distâncias percorridas em cada intervalo (as diferenças primeiras) crescem na proporção 1 : 3 : 5 : 7 …, e a diferença segunda é g·p² — constante, como prevê o teorema.
Como usar: aplicação resolvida

Uma pedra cai a partir do repouso. Quanto ela percorre em cada intervalo de 0,5 s? As diferenças segundas são constantes?

Modelo: Queda livre sem resistência do ar: d(t) = (g/2)t². No i-ésimo intervalo de duração p, percorre (g/2)p²(2i − 1); a diferença segunda é g·p².

Dados — altere para recalcular Aceleração da gravidade g (m/s²) Duração de cada intervalo p (s) Número de intervalos
1. Posições: d(0) = 0; d(0,5) = 1,225; d(1) = 4,9; d(1,5) = 11,025; d(2) = 19,6 m.
2. Distâncias em cada intervalo (Δ¹): 1,225; 3,675; 6,125; 8,575 m.
3. Razões em relação ao 1º intervalo: 1 : 3 : 5 : 7.
4. Diferença segunda: Δ² = 2,45 m; g·p² = 9,8·(0,5)² = 2,45 m.
Resultado: No 4º intervalo a pedra percorre = 8,575 m; em 2 s, = 19,6 m no total.

Leitura crítica: As distâncias em intervalos iguais crescem como os ímpares 1 : 3 : 5 : 7 …, e a diferença segunda é constante — a marca de uma relação quadrática com o tempo. A resistência do ar quebra esse padrão em quedas longas ou com objetos leves.

Limites do modelo

Sete pontos não determinam uma função: a enganadora mostra que funções diferentes podem ter a mesma tabela. A tabela sugere o modelo; a demonstração (ou o conhecimento do fenômeno) decide.
A tolerância de 10⁻⁹ é uma escolha computacional: diferenças reais menores que ela seriam lidas como zero.
Para 2^x e x³ a janela vertical se ajusta aos valores; o gráfico não está na mesma escala entre famílias.
Limites computacionais: o computador calcula em ponto flutuante (cerca de 16 algarismos significativos), o traço é uma poligonal por pontos amostrados e o gráfico mostra só uma janela finita; o que está fora da janela ou entre dois pontos amostrados é afirmado pela demonstração, não visto.

Síntese

Observação: em tabelas de quadráticas, Δ² é constante e vale 2ap²; em afins, Δ² = 0; em x³, Δ³ é constante; em 2^x, a razão das diferenças é constante.
Refutação segura: Δ² não constantes mostram que nenhuma quadrática passa pelos pontos.
Limite da evidência: Δ² constantes e não nulas são compatíveis com uma quadrática, mas a enganadora prova que a tabela não decide; Δ² = 0 (pontos colineares) é compatível com afim, não com quadrática.
O teorema Δ² = 2ap² e a advertência sobre a recíproca estão no Laboratório Virtual G: /laboratorios/virtual/matematica/funcao-quadratica/ (seção "A parábola mais simples: y = ax²").

Voltar ao conteúdo no Laboratório Virtual G para formalizar nas atividades.

Referências

BRASIL. Ministério da Educação. Base Nacional Comum Curricular. Brasília: MEC, 2018.
IEZZI, G.; MURAKAMI, C. Fundamentos de matemática elementar, 1: conjuntos, funções. 9. ed. São Paulo: Atual, 2013.
OECD. PISA 2022 assessment and analytical framework. Paris: OECD Publishing, 2023.