O post de hoje não é nada longo, mas um resultado que já me ajudou muitas vezes e nunca o vi em outro lugar além de no livro do Demidovich. E como todo o resto desse livro, ele não demonstra, então nunca vi uma justificativa para uma palavra específica daquele resultado, que desde sempre me atormenta. Um dos motivos de não ter encontrado, acho, foi o fato de Tchebychev ser escrito cada vez com uma ortografia diferente, de acordo com os caprichos do autor ou editor, o que escrevo é respeitando a grafia da tradução que tive do Demidovich.

Aos que não conhecem o livro, ele é um monstro russo de mais de mil exercícios espalhados pelas matérias de cálculo, é como uma tábua de multiplicação para o cálculo diferencial, um excelente treinamento de Kumon a quem quer ficar rápido nessas coisas. Ainda, nele encontrei um resultado simples e bem interessante, que hoje compartilho convosco.

Integrando funções na mão, sempre podemos nos deparar com a possibilidade de estar tentando realizar o impossível: encontrar uma primitiva a uma função que não possui primitiva. Poucos cursos de cálculos dão a devida atenção a essa diferença: primitivização e integração não são a mesma coisa. Enquanto é famoso o fato de que nem toda função integrável possua primitiva ($e^{-x^2}$ é o exemplo mais clássico), encontrar uma função F que derivada dê f (o processo de primitivização) não garante que a função seja integrável, apesar dos rumores. Esse exemplo no link é um pouco trabalhoso, e bem poderoso, é uma função com primitiva que não é integrável em lugar nenhum, um contra-exemplo bem interessante.

Mas não consigo me lembrar de nenhum teorema que consiga me dizer quando uma função possui ou não primitiva elementar, ou seja, quando vale a pena sair tentando transformações, integrações por partes ou separações de polinômios em uma função que não me dá chance de integrar, que não possui uma primitiva suficientemente simples para ser encontrada com minhas técnicas baratas de cálculo I. E as condições de Tchebychev são o único teorema desse tipo que já vi:

A palavra que me intriga nesse resultado é o somente, pois nunca vi teoremas ou lemas com manobras para provar que uma função não possui primitiva elementar, mas isso provavelmente é ignorância minha. Apesar de não conhecer as engrenagens desse teorema, o resultado é bem útil, e salvou-me a vida vez ou outra, possuindo um ar de mistério que, apesar de me incomodar, ainda me encanta um pouco.