Em lógica matemática, a prova por exaustão é aquela em que demonstramos a validade de nossa afirmação, apontando todas as possibilidades. Já a prova por postulados costuma ser muito mais eficiente do que a prova por exaustão, porque em geral parte de axiomas, definições ou algum padrão observado. Agora é a sua vez! Para visualizar a diferença entre a prova por exaustão e a prova por postulados considere a seguinte proposição: A soma dos 30 primeiros números ímpares é 900. Neste contexto:

Resumo da resposta
A proposição é verdadeira, pois a soma dos 30 primeiros números ímpares resulta em 900, confirmado tanto pelo cálculo direto quanto pela fórmula geral $n^2$. Para um conjunto maior de 100 números, a prova por postulados é preferível devido à sua eficiência computacional e escalabilidade.

Desenvolvimento
O problema apresentado explora conceitos fundamentais de lógica matemática, especificamente a distinção entre verificação empírica e dedução teórica. A tarefa exige demonstrar a validade de uma afirmação numérica usando dois métodos distintos e avaliar qual é mais vantajoso em cenários de maior complexidade.

1. Validação da Proposição

• Prova por Exaustão: Este método consiste em verificar cada caso individualmente. Deve-se listar os 30 primeiros números ímpares ($1, 3, 5, \dots, 59$) e realizar a soma sequencial. O resultado final confirma que o total é exatamente 900.
• Prova por Postulados: Este método baseia-se em definições ou padrões observados previamente. Existe uma propriedade conhecida que diz: a soma dos $n$ primeiros números ímpares consecutivos é igual ao quadrado de $n$ ($n^2$). Ao substituir $n=30$, obtemos $30^2 = 900$, provando a afirmação sem somar termo a termo.

Análise Comparativa

A diferença crucial entre os métodos reside na aplicação prática e no esforço requerido.

• Natureza da Prova: A exaustão verifica casos particulares; o postulado aplica uma regra geral.
• Carga Computacional: Somar 30 termos é viável, mas somar 100 termos manualmente torna-se propenso a erros e demorado.
• Aplicabilidade: O método dedutivo funciona para qualquer $n$, garantindo precisão independentemente do tamanho do conjunto.

Resposta à alínea b)
Se o número aumentasse para os 100 primeiros números ímpares:

• A prova por exaustão exigiria somar 100 valores individuais, o que é ineficiente.
• A prova por postulados permitiria calcular imediatamente $100^2 = 10.000$.
• Portanto, a prova por postulados é a mais adequada para este novo cenário.

Conclusão
Embora ambos os métodos validem a soma para 30 números, a prova por postulados demonstra superioridade em termos de racionalidade e economia de tempo. Em matemática, buscar padrões gerais é sempre mais poderoso do que contar casos isolados quando o conjunto cresce.