Prueba por contradicción (reducción al absurdo)

Los cinco postulados de Euclides constituyen la base axiomática de la geometría euclidiana, tal como se describe en su tratado «Elementos». Son supuestos fundamentales de los que se derivan lógicamente todos los demás teoremas. Los cuatro primeros se refieren a la construcción de líneas y círculos, mientras que el quinto, el postulado de las paralelas, define de forma única la naturaleza plana y no curva del espacio euclidiano. Estos axiomas establecieron el método deductivo en matemáticas.

Un teorema fundamental de la geometría euclidiana establece que la suma de las medidas de los tres ángulos interiores de cualquier triángulo siempre es igual a dos ángulos rectos, o 180 grados. Esta propiedad, [latex]alpha + beta + gamma = 180^circ[/latex], es una consecuencia directa del postulado de las paralelas y se cumple para todos los triángulos, independientemente de su tamaño o forma, dentro de un plano euclidiano.

La demostración directa es un método para demostrar la veracidad de una afirmación dada mediante una combinación sencilla de hechos establecidos, generalmente axiomas, definiciones y teoremas previamente probados. Para probar una afirmación condicional [latex]p rightarrow q[/latex], se asume que [latex]p[/latex] es verdadera y se utilizan reglas de inferencia para demostrar que [latex]q[/latex] también debe ser verdadera.

The Pythagorean theorem is a fundamental relation in Euclidean geometry among the three sides of a right-angled triangle. It states that the area of the square whose side is the hypotenuse (the side opposite the right angle) is equal to the sum of the areas of the squares on the other two sides. The formula is expressed as [latex]a^2 + b^2 = c^2[/latex].

Also known as the method of indivisibles, this principle states that if two solids lying between two parallel planes have the property that every plane parallel to the two given planes intersects them in cross-sections of equal area, then the two solids have equal volumes. It provides a powerful method for calculating volumes of complex shapes without calculus.

El teorema de Pitágoras proporciona la base para la fórmula de la distancia en coordenadas cartesianas. La distancia [latex]d[/latex] entre dos puntos [latex](x_1, y_1)[/latex] y [latex](x_2, y_2)[/latex] en un plano viene dada por [latex]d = sqrt{(x_2 - x_1)^2 + (y_2 - y_1)^2}[/latex]. Esta fórmula es una aplicación directa del teorema a un triángulo rectángulo cuyos catetos son las diferencias en las coordenadas x e y.

This is a historically notable problem in mathematics. Its negative resolution by Leonhard Euler in 1736 laid the foundations of graph theory and prefigured the idea of topology. The problem asked if the seven bridges of the city of Königsberg could all be traversed in a single trip without doubling back, with the trip ending on the same landmass it began.

Euclid's fifth postulate, the parallel postulate, is the axiom that defines Euclidean geometry: it states that if a line intersects two other lines, and the interior angles on one side sum to less than two right angles ([latex]\alpha + \beta < 180^\circ[/latex]), then the two lines will eventually intersect on that side. This postulate guarantees a unique parallel line through a point not on a given line.

Una terna pitagórica consta de tres enteros positivos a, b y c, tales que [latex]a² + b² = c²[/latex]. Un ejemplo conocido es (3, 4, 5). La fórmula de Euclides es un método fundamental para generar estas ternas. Dados dos enteros positivos cualesquiera m y n con [latex]m > n[/latex], la fórmula [latex]a = m² - n²[/latex], [latex]b = 2mn[/latex], [latex]c = m² + n²[/latex] genera una terna pitagórica.

The Platonic solids are the only five convex regular polyhedra: a regular polyhedron has congruent regular polygonal faces and the same number of faces meeting at each vertex. The five solids are the tetrahedron (4 faces), cube (6 faces), octahedron (8 faces), dodecahedron (12 faces), and icosahedron (20 faces). Their symmetry and properties have been studied since antiquity.

The square root of 2 is an irrational number, meaning it cannot be expressed as a ratio of two integers [latex]p/q[/latex]. The classic proof, often attributed to the Pythagoreans, is a proof by contradiction: it assumes [latex]\sqrt{2} = p/q[/latex] in lowest terms, which leads to the conclusion that both [latex]p[/latex] and [latex]q[/latex] must be even, contradicting the initial assumption.

Ptolemy's theorem provides an elegant geometric proof for the sum and difference formulas in trigonometry. By inscribing a quadrilateral in a circle with one side as the diameter, the side lengths can be expressed as sines and cosines of the inscribed angles. Applying the theorem [latex]AC \cdot BD = AB \cdot CD + BC \cdot DA[/latex] directly yields identities like [latex]sin(alpha + beta) = \sin\alpha\cos\beta + \cos\alpha\sin\beta[/latex].

El sistema de coordenadas cartesianas proporciona un modelo algebraico para la geometría euclidiana. Utiliza uno o más números, o coordenadas, para determinar de forma única la posición de un punto en el espacio. En un plano, se utilizan dos líneas perpendiculares (el eje x y el eje y), lo que permite describir formas geométricas mediante ecuaciones algebraicas. Esta fusión de álgebra y geometría se conoce como geometría analítica.

Mathematical induction is a technique used to prove that a property [latex]P(n)[/latex] holds for every natural number [latex]n[/latex]. It involves two steps: the base case, proving [latex]P(0)[/latex] or [latex]P(1)[/latex] is true, and the inductive step, proving that if [latex]P(k)[/latex] is true for some natural number [latex]k[/latex] (the induction hypothesis), then [latex]P(k+1)[/latex] is also true.