O Princípio de Cavalieri

A prova direta é um método para demonstrar a veracidade de uma afirmação dada por meio de uma combinação direta de fatos estabelecidos, geralmente axiomas, definições e teoremas previamente demonstrados. Para provar uma afirmação condicional [latex]p rightarrow q[/latex], assume-se que [latex]p[/latex] é verdadeira e utilizam-se regras de inferência para demonstrar que [latex]q[/latex] também deve ser verdadeira.

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].

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.

Um teorema fundamental em topologia e geometria afirma que, para qualquer poliedro convexo, o número de vértices (V), arestas (E) e faces (F) estão relacionados pela fórmula [latex]V - E + F = 2[/latex]. Esse valor, 2, é a característica de Euler de uma esfera, revelando uma profunda propriedade topológica independente da forma específica do poliedro.

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.

Uma equação diferencial parcial hiperbólica linear de segunda ordem que rege a propagação de vários tipos de ondas. Em sua forma mais simples, é escrita como [latex]frac{partial^2 u}{partial t^2} = c^2 nabla^2 u[/latex], onde [latex]u(vec{x},t)[/latex] é a amplitude da onda, [latex]c[/latex] é a velocidade da onda e [latex]nabla^2[/latex] é o operador de Laplace. Ela modela fenômenos como cordas vibrantes, ondas sonoras e ondas de luz.

A característica de Euler é um invariante topológico, um número que descreve a estrutura ou forma de um espaço topológico, independentemente de como ele seja curvado. Para poliedros, ela é definida pela fórmula [latex]chi = V - E + F[/latex], onde V, E e F são o número de vértices, arestas e faces, respectivamente. Para uma esfera, [latex]chi = 2[/latex], enquanto para um toro, [latex]chi = 0[/latex].