O texto de hoje versa sobre o "sonho de uma reta secante se tornar tangente", vamos caminhar do conceito de limite até o conceito de derivada, guiados por este "sonho". Vamos, portanto, começar a nossa jornada, falando do conceito de limite.
Tender a é o que não é, já começo falando desta forma. Lá na graduação, quando estudamos limite, temos, guiados por anos de memorização de fórmulas e resoluções de listas gigantes para a fixação destas, a intuição de substituir o mais rápido possível os valores dados. Veja, por exemplo, o limite de f(x)=(x²-1)/(x+1), quando x tende a -1, sendo f(x) uma função de R\{-1} em R.
Ora, a PRIMEIRA coisa que o graduando pensa é, tem um x=-1, e tem um monte de x na função que me deram, é ÓBVIO, que eu PRECISO substituir este -1 na "fórmula". Ou seja, o afoito estudante, em (x²-1)/(x+1), substitui x=-1, e obtém ((-1)²-1)/(-1+1)=0/0 e um grande UÉ!!!!!!, porque 0/0 é uma indeterminação.
Em um curso tradicional de Cálculo, o professor vai orientar o aluno a fatorar (x²-1) em (x+1)(x-1) e a fazer a simplificação de ((x+1)(x-1)/(x+1)) que resulta em x-1 e aí, finalmente substituir COM UM GRANDE SORRISO DE ALÍVIO x=-1, obtendo que o limite é -2. E a esta ação segue-se uma interminável lista de 1087 exercícios que são variações deste mesmo.
E qual é o grande problema? O grande problema é que a discussão conceitual passou longe. x=-1 é tudo o que não é, se x tende a -1, ele chega tão próximo de -1 quanto quisermos, ele fica a uma distância de -1 tão ridiculamente pequena quanto queiramos. E quanto é este tanto? Ora, na reta real, que é densa (um conjunto numérico denso é aquele onde entre quaisquer dois de seus elementos, existe um outro elemento do conjunto) sempre existe um elemento mais próximo de zero do que qualquer um que pensemos.
Uma maneira de dizer exatamente qual é esta distância é sair dos reais e utilizar um conceito dos hiper-reais (o conjunto dos hiper-reais é uma extensão do conjunto dos reais), nos hiper-reais, o número que é mais próximo de zero do que qualquer número real, se chama infinitésimo (em Análise Não-Standard, infinitésimos são elementos não-nulos cujo valor absoluto é menor que qualquer real positivo).
Pensando nos hiper-reais, podemos dizer que, no limite dado, estamos a um infinitésimo de distância de x=-1.
Ora, nunca chegamos efetivamente a x=-1 e é esse o coração conceitual do limite. Vamos dar uma olhada no GeoGebra:
Veja, na imagem acima, que, para que nos acerquemos do limite L=- 2, NÓS escolhemos quão perto desejamos estar do Limite que estamos buscando, chamamos épsilon, desta forma, temos L+épsilon e L-épsilon no eixo y, e, como consequência desta escolha, há uma faixa de valores aceitáveis para x, na imagem, de -1,1 a -0,9. e x+delta e x-delta no eixo x, como segue adiante:
Agora estamos prontos para a definição de limite.
 |
https://loja.sbm.org.br/fundamentos-de-calculo.html
|
Vamos agora utilizar a definição e os nossos exemplos conjuntamente, em ambos, x pertence a um intervalo I, (-1,1;-0,9) e a distância de qualquer dos elementos deste intervalo a x é maior do que zero e menor do que delta, além disso, a distância de qualquer f(x) dentro da margem que estabelecemos para épsilon, é, menor do que épsilon.
É o épsilon que determina o delta, isto é importantíssimo. E já que estamos aqui, vamos falar de limites laterais. Voltemos ao último gráfico:
Veja que, quando me acerco de x=-1 pela esquerda, por exemplo, com x1=-1,01, eu cerco L=-2, com L1=-2,01. Já, quando me acerco de x=-1 pela direita, por exemplo, com x2=-0,99, eu cerco L=-2, com L2=-1,99. Tanto L1=-2,01 quanto L2=-1,99 estão próximos de L=-2, cercam L pelos dois lados.
Veja que tal cerco, ocorre dentro das faixas de valores determinadas pelo épsilon e pelo delta com que estamos trabalhando.
Agora estamos prontos para definir limites laterais:
 |
| https://loja.sbm.org.br/fundamentos-de-calculo.html |
Limite lateral pela esquerda = L significa:"Para QUALQUER faixa horizontal que eu desenhe em torno de L (com altura ε)..."
"...existe uma faixa vertical à esquerda de x₀ (com largura δ)..."
"...tal que se x entrar nessa faixa vertical, f(x) OBRIGATORIAMENTE cai na faixa horizontal!" O mesmo pela direita!
E, quando os limites laterais se acercam de um mesmo L, dizemos que o limite existe naquele ponto.
A caminhada da secante à tangente
Vamos começar esta seção com o gráfico da função f(x)=x², daí, tomemos x0=0, f(x0)=0, x=2, f(x)=4. Vamos marcar então os pontos A=(0,0) e B=(2,4), pontos estes convenientemente distantes. Agora, vamos traçar uma reta ligando-os, veja o que foi descrito na ilustração adiante.
https://www.geogebra.org/calculator/caqfdh4q
Observe que a reta traçada é secante ao gráfico de f(x), intersectando-o nos pontos A e B, e a partir disso, podemos traçar, tendo AB como hipotenusa, um triângulo retângulo de altura 4 e base 2, conforme está desenhado ao lado.
A inclinação desta reta, que é o gráfico de uma função afim g(x), é dada pela tangente do ângulo  no triângulo ABC, tg Â=4/2=2. Tal inclinação está grafada no coeficiente angular da reta em foco, veja que g(x)=2x.
A reta secante traz a variação média no intervalo considerado, a isto se denomina Taxa de Variação Média (TVM).
Vamos agora em busca de transformar a nossa secante em uma tangente, para isto, vamos aproximar o máximo que conseguirmos os pontos A e B, ao fazer esta aproximação, encontramos a situação ilustrada adiante.
Mantivemos o ponto B em (2,4) e aproximamos o ponto A o máximo que conseguimos, na imagem o ponto A=(1,9; 3,6), 3,6 é uma aproximação, e estamos nos encaminhando para ter uma reta tangente, mas, fazendo arredondamentos, podemos considerar B como um ponto de tangência entre f(x) e g(x).
Mas observe que g(x) teve sua inclinação modificada, e, voltando à imagem, conseguimos visualizar o minúsculo triângulo retângulo ABC', cuja altura é 0,4 e a base é 0,1, a tangente do ângulo  agora é dada por tg Â=0,4/0,1=4, e, como g(x) não é mais uma função linear (do tipo f(x)=ax+b, com b=0), pois não passa pelo ponto (0,0), o seu coeficiente linear b é diferente de zero, g(x) agora é escrita como g(x)=4x+b, b diferente de zero, e 4 é o coeficiente angular a de g(x).
Quanto menor for a distância entre x₀ e x, mais próximos da tangência estaremos e, quando essa distância tender a zero, a tão sonhada tangência será alcançada no limite, obtendo a TVI (Taxa de Variação Instantânea) e, com ela, o conceito de derivada.
Agora estamos prontos para a definição de derivada:
 |
| https://loja.sbm.org.br/fundamentos-de-calculo.html |
Ora, ora, ((f(x)-f(x0))/(x-x0)), vamos pegar alguns valores no nosso triângulo minúsculo ABC':
A(x0, y0)=(1,9; 3,6), daí que x0=1,9 e y0=3,6, B( x, y)=(2,4). Sabemos que a inclinação de g(x) é 4 e que g(x) é escrito como g(x)=4x+b, com b diferente de zero.
Agora, vamos, calcular a derivada de f(x) para testar uma coisa.... f(x)=x² e f'(x)=2x, hummm...
O nosso valor de x de interesse é x=2, o que será que acontece quando fazemos f'(2)? Vamos lá, f'(2)=2.2=4.
E 4 é o coeficiente angular de g(x), que é a reta tangente a f(x) quando x=2.
E a nossa secante virou tangente e ainda encontramos a derivada. Temos aqui a Taxa de Variação Instantânea, ou seja, o que ocorre, exatamente, quando x=2.
Vamos a outro exemplo, pra ampliar o nosso entendimento
Tome h(x)=x³, uma função de R em R, fazendo x0=0, em nossa função, temos y0=0 e fazendo x=2 nela, temos y=8. Podemos, a partir daí, nomear os pontos A=(0,0) e B=(2,8). Daí podemos calcular a inclinação da reta l(x), secante a h(x), tg Â=8/2=4, como l(x) passa por (0,0), temos uma função linear que pode ser escrita como l(x)=4x
 |
| https://www.geogebra.org/m/ecwx4duk |
Buscando a tangência no ponto x=2 levamos o ponto A o mais próximo que conseguimos do ponto B e encontramos os seguintes novos valores para A(x0,y0)=(1,99; 7,88).
Calculando a tangente do ângulo Â, com estes novos valores de x0 e y0, temos: tg Â=(8-7,88)/(2-1,99)=0,12/0,01=12, desta forma l(x) pode ser escrita como l(x)=12x+b, b diferente de zero, porque o gráfico de l(x) é o de uma função afim que não passa pelo ponto (0,0).
Agora vejamos a derivada de h(x)=x³, h'(x)=3x², utilizando o nosso ponto de interesse x=2 na derivada h'(x), temos h'(2)=3.2²=3.4=12, que é justamente o coeficiente angular de inclinação da reta tangente a h(x) quando x=2.
E a topologia da reta?
Da topologia da reta destaco os conceitos de ponto de acumulação e ponto isolado. Lembro que, na reta, ponto é a coordenada x. De forma alguma tal conceito se confunde com o ponto do produto cartesiano.
Imagine f(x)=x², f: X → R, com X=(0,1) U {5}.
Os pontos de acumulação em X são [0,1] e o ponto isolado é {5}, vimos isto no
último texto.
Agora vamos Observar o que acontece com os pontos de acumulação e com o ponto isolado na função f(x), no domínio X=(0,1)U{5}.
 |
| https://www.geogebra.org/calculator/mxrjfdsm |
Veja que só podemos falar de Taxa de Variação Instantânea da função f(x), representada pela reta tangente ao gráfico no ponto (x, f(x)) — se x for ponto de acumulação. No nosso exemplo, isso acontece em (0,1).
E não faz nenhum sentido falar de Taxa de Variação instantânea no ponto isolado x=5, veja que não há pontos do domínio na vizinhança dele (além dele mesmo), então não faz sentido falar em 'aproximação' ou 'limite'.
Sugestões de Bibliografia para Aprofundamento
As obras listadas a seguir serviram de base teórica para a construção da abordagem apresentada neste texto. Recomendo-as ao leitor.
ALEXANDER, Amir. Infinitesimal: How a Dangerous Mathematical Theory Shaped the Modern World.
Alexander narra como a teoria dos infinitésimos foi, por séculos, considerada uma ideia "perigosa" e como sua aceitação moldou o pensamento científico moderno. É uma leitura indispensável para compreender por que a abordagem intuitiva que utilizamos aqui possui uma carga histórica tão profunda.
DUVAL, Raymond. Semiose e Pensamento Humano.
A base pedagógica deste material fundamenta-se na teoria de Duval sobre os Registros de Representação Semiótica. A indicação desta obra visa esclarecer ao leitor como a coordenação entre diferentes registros: o gráfico (GeoGebra), o escrito e o algébrico, é o que pode facilitar a apreensão do conceito matemático em foco.
LEITHOLD, Louis. O Cálculo com Geometria Analítica.
Um pilar clássico no ensino de Cálculo, esta obra é recomendada pela sua clareza didática e pelo rigor na integração entre álgebra e geometria.
SCHUBRING, Gert. Análise do "Cours d'Analyse" de Cauchy.
Seus estudos sobre Cauchy são a referência definitiva para entender a evolução do rigor na análise matemática e a legitimidade do uso de infinitésimos.
A autora
Daniela Mendes Vieira da Silva possui doutorado e pós doutorado pelo programa de pós graduação em ensino de Matemática da UFRJ, é professora adjunta do departamento de Matemática da FFP/UERJ, coordenadora geral do projeto de extensão LEM FFP UERJ ITINERANTE e do projeto de pesquisa e iniciação científica, fomentado pela FAPERJ e pela UERJ, Matemática e Física na mala. É também líder do grupo de pesquisa em aprendizagem e ensino de Matemática da FFP-UERJ (GPAEM-FFP), foi coordenadora do Programa de Mestrado Profissional em Matemática em Rede Nacional (Profmat) na FFP/UERJ e é diretora da Sociedade Brasileira de Educação Matemática (Regional Rio de Janeiro), eleita para o triênio 2025-2027. Atua também como procientista UERJ.
