Demonstração direta (matemática)

Os cinco postulados de Euclides formam a base axiomática da geometria euclidiana, conforme descrita em seu tratado "Elementos". São pressupostos fundamentais a partir dos quais todos os outros teoremas são logicamente derivados. Os quatro primeiros dizem respeito à construção de retas e círculos, enquanto o quinto, o postulado das paralelas, define de forma única a natureza plana e não curva do espaço euclidiano. Esses axiomas estabeleceram o método dedutivo na matemática.

Um teorema fundamental da geometria euclidiana afirma que a soma das medidas dos três ângulos internos de qualquer triângulo é sempre igual a dois ângulos retos, ou 180 graus. Essa propriedade, [latex]alpha + beta + gamma = 180^circ[/latex], é uma consequência direta do postulado das paralelas e é válida para todos os triângulos, independentemente de seu tamanho ou forma, em um plano euclidiano.

A prova por contradição, ou reductio ad absurdum, é uma forma de prova indireta. Ela estabelece a verdade de uma proposição mostrando que assumir que a proposição é falsa leva a uma contradição lógica. Para provar uma proposição p, assume-se sua negação, ∧ p, e deduz-se uma contradição, como q e ∧ q, concluindo-se assim que p deve ser verdadeira.

O teorema de Pitágoras é uma relação fundamental na geometria euclidiana entre os três lados de um triângulo retângulo. Ele afirma que a área do quadrado cujo lado é a hipotenusa (o lado oposto ao ângulo reto) é igual à soma das áreas dos quadrados dos outros dois lados. A fórmula é expressa como [latex]a^2 + b^2 = c^2[/latex].

Também conhecido como método dos indivisíveis, este princípio afirma que se dois sólidos situados entre dois planos paralelos têm a propriedade de que todos os planos paralelos aos dois planos dados os intersectam em seções transversais de áreas iguais, então os dois sólidos têm volumes iguais. Ele fornece um método poderoso para calcular volumes de figuras complexas sem o uso de cálculo diferencial e integral.

O teorema de Pitágoras fornece a base para a fórmula da distância em coordenadas cartesianas. A distância [latex]d[/latex] entre dois pontos [latex](x_1, y_1)[/latex] e [latex](x_2, y_2)[/latex] em um plano é dada por [latex]d = sqrt{(x_2 - x_1)^2 + (y_2 - y_1)^2}[/latex]. Esta fórmula é uma aplicação direta do teorema a um triângulo retângulo cujos catetos são as diferenças entre as coordenadas x e y.

Este é um problema historicamente notável na matemática. Sua resolução negativa por Leonhard Euler em 1736 lançou as bases da teoria dos grafos e antecipou a ideia de topologia. O problema questionava se as sete pontes da cidade de Königsberg poderiam ser atravessadas em uma única viagem sem retorno, terminando a viagem no mesmo ponto de partida.

O quinto postulado de Euclides, o postulado das paralelas, é o axioma que define a geometria euclidiana: ele afirma que se uma reta intersecta duas outras retas, e a soma dos ângulos internos de um dos lados é menor que dois ângulos retos (α + β < 180°), então as duas retas eventualmente se intersectarão desse lado. Este postulado garante a existência de uma única reta paralela que passa por um ponto que não pertence a nenhuma reta dada.

Uma terna pitagórica consiste em três inteiros positivos a, b e c, tais que [latex]a^2 + b^2 = c^2[/latex]. Um exemplo bem conhecido é (3, 4, 5). A fórmula de Euclides é um método fundamental para gerar essas ternas. Dados quaisquer dois inteiros positivos m e n com [latex]m > n[/latex], a fórmula [latex]a = m^2 - n^2[/latex], [latex]b = 2mn[/latex], [latex]c = m^2 + n^2[/latex] gera uma terna pitagórica.

Os sólidos platônicos são os únicos cinco poliedros regulares convexos: um poliedro regular possui faces poligonais regulares congruentes e o mesmo número de faces que se encontram em cada vértice. Os cinco sólidos são o tetraedro (4 faces), o cubo (6 faces), o octaedro (8 faces), o dodecaedro (12 faces) e o icosaedro (20 faces). Sua simetria e propriedades são estudadas desde a antiguidade.

A raiz quadrada de 2 é um número irracional, o que significa que não pode ser expressa como a razão entre dois inteiros [latex]p/q[/latex]. A demonstração clássica, frequentemente atribuída aos pitagóricos, é uma demonstração por contradição: assume-se que [latex]sqrt{2} = p/q[/latex] na forma irredutível, o que leva à conclusão de que tanto [latex]p[/latex] quanto [latex]q[/latex] devem ser pares, contradizendo a suposição inicial.

O teorema de Ptolomeu fornece uma demonstração geométrica elegante para as fórmulas de soma e diferença em trigonometria. Ao inscrever um quadrilátero em um círculo com um lado como diâmetro, os comprimentos dos lados podem ser expressos como senos e cossenos dos ângulos inscritos. Aplicando o teorema [latex]AC cdot BD = AB cdot CD + BC cdot DA[/latex] diretamente, obtêm-se identidades como [latex]sin(alpha + beta) = sinalphacosbeta + cosalphasinbeta[/latex].

O sistema de coordenadas cartesianas fornece um modelo algébrico para a geometria euclidiana. Ele utiliza um ou mais números, ou coordenadas, para determinar de forma única a posição de um ponto no espaço. Em um plano, são utilizadas duas linhas perpendiculares (o eixo x e o eixo y), permitindo que formas geométricas sejam descritas por equações algébricas. Essa fusão de álgebra e geometria é conhecida como geometria analítica.

A indução matemática é uma técnica usada para provar que uma propriedade [latex]P(n)[/latex] é válida para todo número natural [latex]n[/latex]. Ela envolve duas etapas: o caso base, provar que [latex]P(0)[/latex] ou [latex]P(1)[/latex] é verdadeira, e a etapa indutiva, provar que se [latex]P(k)[/latex] é verdadeira para algum número natural [latex]k[/latex] (a hipótese de indução), então [latex]P(k+1)[/latex] também é verdadeira.