Teorema de Ptolomeu e identidades trigonométricas

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

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

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.

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.