Como Escrever a Metodologia de uma Tese de Matemática: Prova, Modelo ou Simulação? (2026)

A metodologia de uma tese de Matemática não segue o molde de recolha de dados e análise estatística comum a outras áreas — porque, na maioria dos casos, não há dados a recolher. O que existe é um tipo de contribuição a declarar com precisão: uma demonstração teórica, um modelo matemático aplicado a um fenómeno real, ou uma simulação numérica. Cada um exige uma secção de metodologia estruturada de forma diferente. Este guia mostra como escrever cada uma.

Os três tipos de contribuição numa tese de Matemática

Declarar logo na introdução da metodologia qual destes três tipos de contribuição a tese oferece — ou que combinação de mais do que um — orienta toda a leitura do trabalho pelo júri, e evita a confusão mais comum: um júri que espera uma prova rigorosa e encontra apenas simulações ilustrativas, ou o inverso, sente que a tese não cumpriu o que prometeu. A estrutura geral de capítulos que acomoda qualquer um destes três tipos de contribuição — introdução, revisão de literatura, desenvolvimento, conclusões — segue a lógica comum descrita no guia sobre a estrutura de uma tese, com o capítulo de «metodologia» a assumir, em Matemática, a forma específica descrita a seguir.

A metodologia numa tese de prova teórica

Numa tese centrada em demonstração, a «metodologia» não é um capítulo separado no sentido tradicional — é a estratégia de prova declarada antes de a desenvolver. Isto inclui explicitar que técnica de demonstração vai ser usada (indução, contradição, construção direta, contrapositiva), que resultados já estabelecidos na literatura vão ser usados como base (lemas, teoremas prévios citados com a referência exata), e qual é a estrutura lógica geral do argumento antes de entrar no detalhe técnico. Um erro comum é começar a demonstração sem situar o leitor na estratégia geral — o júri perde-se em detalhes técnicos sem perceber para onde a prova está a caminhar. Uma frase inicial simples («A prova procede por indução na dimensão n, estabelecendo primeiro o caso base e depois o passo indutivo através do Lema 3.2») orienta o leitor antes do detalhe técnico começar.

A metodologia numa tese de modelação matemática aplicada

Quando a tese formula um modelo matemático para um fenómeno real — por exemplo, um sistema de equações diferenciais para descrever a propagação de uma doença, ou um modelo de otimização para um problema logístico — a metodologia precisa de declarar três elementos: as hipóteses simplificadoras assumidas na formulação do modelo (e porque são razoáveis para o fenómeno em causa), o método analítico usado para estudar as propriedades do modelo (existência e unicidade de solução, análise de estabilidade, comportamento assintótico), e a forma como o modelo é validado ou comparado com o fenómeno real que pretende descrever — seja através de dados históricos, de casos-limite conhecidos, ou de comparação com modelos mais simples já estabelecidos na literatura. Um modelo apresentado sem qualquer forma de validação ou comparação é normalmente lido pela banca como incompleto, mesmo que matematicamente correto.

A metodologia numa tese de simulação numérica

Numa tese que implementa um método numérico — para resolver equações diferenciais, otimizar uma função complexa, ou aproximar soluções de um problema sem forma fechada conhecida — a metodologia precisa de declarar o algoritmo usado, com a sua formulação matemática completa e não apenas o nome do método; o software e a linguagem de implementação, incluindo a versão; os parâmetros de configuração (passo de discretização, critério de paragem, tolerância de convergência); e, criticamente, a análise de convergência — como foi verificado que o método efetivamente converge para a solução correta, e não apenas que produz um número que parece razoável. Comparar o resultado numérico com uma solução analítica conhecida, quando exista para um caso simplificado do problema, é a forma mais forte de validar a implementação antes de a aplicar a casos onde a solução analítica não existe.

Um exemplo completo: modelo epidemiológico compartimental

Para tornar a lógica concreta, veja como estes elementos se encadeiam numa tese que combina modelação e simulação num modelo do tipo SIR (Suscetíveis-Infetados-Recuperados) aplicado a uma doença hipotética.

Modelo: sistema de equações diferenciais ordinárias que descreve a evolução temporal das três populações, com hipóteses simplificadoras explicitadas (população fechada, sem nascimentos nem mortes naturais no horizonte temporal considerado).

Análise analítica: demonstração da existência e unicidade de solução do sistema, e cálculo do número básico de reprodução como condição que determina se a doença se propaga ou se extingue.

Simulação numérica: implementação do método de Runge-Kutta de quarta ordem para aproximar a solução do sistema, com o passo de discretização escolhido e justificado por um teste de convergência.

Validação: comparação da solução numérica com a solução analítica disponível para um caso particular simplificado do modelo, confirmando que o erro numérico está dentro da tolerância esperada.

Relato na tese: a secção de metodologia apresenta as três camadas — modelo, análise analítica, simulação — em sequência lógica, cada uma justificando a seguinte.

Limitação declarada: o modelo assume população fechada, uma simplificação que a tese reconhece explicitamente como afastada de situações reais com movimento populacional significativo — a lógica de declarar honestamente esta limitação, em vez de a ocultar, segue o mesmo princípio descrito no guia sobre como escrever as limitações do estudo.

Como declarar rigor e verificação sem dados empíricos

Uma tese de Matemática substitui a noção de «fiabilidade dos dados» por outras formas de rigor que precisam de ser explicitamente declaradas. Numa prova, isso significa citar corretamente cada resultado prévio usado, com a referência exata (não apenas «é um resultado conhecido»). Numa simulação, significa documentar o código de forma suficiente para que outro investigador pudesse reproduzir o resultado, e declarar se e como o código foi testado contra casos com solução conhecida. Um erro que a banca de Matemática penaliza com frequência é apresentar um resultado numérico sem qualquer forma de verificação da sua correção — a mesma lógica de «reproduzir para confiar» que se aplica noutras áreas de engenharia e ciências computacionais aplica-se aqui com igual força.

A revisão de literatura numa tese de Matemática: o que muda

A revisão de literatura de uma tese de Matemática tem um objetivo mais restrito do que noutras áreas: não se trata de mapear um debate teórico amplo, mas de situar com precisão o resultado, modelo ou método já estabelecido a partir do qual a tese avança. Isto significa nomear exatamente que teorema, modelo ou algoritmo prévio está a ser estendido, generalizado ou melhorado, e em que ponto específico a literatura existente fica aquém do que a tese se propõe a fazer. Uma revisão de literatura matemática que apenas lista trabalhos relacionados sem identificar a lacuna precisa que a tese preenche é lida como incompleta — a contribuição só é legível quando o «antes» e o «depois» estão claramente delimitados face à literatura citada.

Ajustar o tipo de contribuição ao grau académico

Numa tese ou trabalho final de licenciatura, é normalmente suficiente aplicar corretamente uma técnica de demonstração já estabelecida a um caso específico, ou implementar um método numérico já conhecido para um problema concreto, sem necessidade de originalidade no método em si. Numa dissertação de mestrado, espera-se já alguma extensão ou generalização de um resultado existente, ou a análise comparativa entre métodos numéricos alternativos para o mesmo problema. Numa tese de doutoramento, a exigência desloca-se para um resultado genuinamente novo — um teorema ainda não demonstrado na literatura, um modelo que captura um fenómeno de forma não coberta por modelos existentes, ou um método numérico com propriedades de convergência superiores aos já publicados.

Erros comuns a evitar

• Não declarar logo que tipo de contribuição a tese oferece. Deixa o júri sem saber que critérios de rigor aplicar à leitura do trabalho.
• Começar uma demonstração sem situar a estratégia geral primeiro. O leitor perde o fio lógico em detalhes técnicos sem contexto.
• Apresentar um modelo matemático sem qualquer forma de validação. Mesmo correto matematicamente, um modelo não comparado com nada é incompleto.
• Reportar resultados numéricos sem análise de convergência. Um número que «parece razoável» não é o mesmo que um resultado numérico verificado.
• Citar resultados prévios sem a referência exata. «É um resultado conhecido» não substitui a citação formal do teorema e do autor.

Perguntas frequentes

Uma tese de Matemática pode combinar prova e simulação?

Sim, e é uma combinação comum — uma análise teórica que estabelece propriedades do problema, complementada por simulação numérica que ilustra ou explora casos onde a análise teórica sozinha não é suficiente.

Preciso de dados reais para validar um modelo matemático?

Não sempre — a validação pode ser feita contra casos-limite conhecidos, contra modelos mais simples já estabelecidos, ou contra propriedades teóricas esperadas, quando dados reais não estão disponíveis ou não são o foco do trabalho.

O que fazer se a demonstração não conseguir provar o resultado completo?

Provar um caso particular ou uma versão mais fraca do resultado, com a limitação claramente declarada, é uma contribuição legítima e defensável — mais honesta do que forçar uma demonstração incompleta como se estivesse terminada.

Preciso de disponibilizar o código da simulação?

É cada vez mais valorizado, mesmo quando não obrigatório — documentar o código o suficiente para reprodução, mesmo que não publicado abertamente, reforça a credibilidade dos resultados numéricos apresentados.

Como escolho entre demonstrar um resultado novo ou aplicar um método já conhecido?

Depende do grau académico e do tempo disponível — uma demonstração original exige normalmente mais tempo e um domínio mais profundo da literatura da área do que aplicar corretamente um método já estabelecido a um caso novo, que é uma contribuição perfeitamente legítima em graus mais iniciais.

Em resumo

A metodologia de uma tese de Matemática começa por declarar que tipo de contribuição está a oferecer — prova teórica, modelo aplicado ou simulação numérica — e estrutura-se de forma diferente consoante essa escolha. Citar resultados prévios com precisão, validar modelos contra algo conhecido, e verificar a convergência de resultados numéricos são as formas de rigor que substituem, nesta área, a fiabilidade estatística de dados empíricos.