Prueba por inducción matemática

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.

A second-order linear hyperbolic partial differential equation that governs the propagation of various types of waves. In its simplest form, it is written as [latex]\frac{\partial^2 u}{\partial t^2} = c^2 \nabla^2 u[/latex], where [latex]u(\vec{x},t)[/latex] is the amplitude of the wave, [latex]c[/latex] is the wave speed, and [latex]\nabla^2[/latex] is the Laplace operator. It models phenomena like vibrating strings, sound waves, and light waves.

The Euler characteristic is a topological invariant, a number that describes a topological space's structure or shape regardless of how it is bent. For polyhedra, it is defined by the formula [latex]\chi = V - E + F[/latex], where V, E, and F are the number of vertices, edges, and faces, respectively. For a sphere, [latex]\chi = 2[/latex], while for a torus, [latex]\chi = 0[/latex].

One of the earliest problems in geometric probability, it is considered a precursor to the Monte Carlo method. It involves dropping a needle of length [latex]l[/latex] onto a floor with parallel lines a distance [latex]t[/latex] apart. The probability that the needle will cross a line is [latex]P = \frac{2l}{\pi t}[/latex] (for [latex]l \le t[/latex]). This provides a physical experiment to estimate [latex]\pi[/latex].

Proof by contradiction, or reductio ad absurdum, is a form of indirect proof. It establishes the truth of a proposition by showing that assuming the proposition to be false leads to a logical contradiction. To prove a proposition [latex]p[/latex], one assumes its negation, [latex]\neg p[/latex], and deduces a contradiction, such as [latex]q \land \neg q[/latex], thereby concluding that [latex]p[/latex] must be true.

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.

A fundamental theorem in topology and geometry stating that for any convex polyhedron, the number of vertices (V), edges (E), and faces (F) are related by the formula [latex]V - E + F = 2[/latex]. This value, 2, is the Euler characteristic of a sphere, revealing a deep topological property independent of the polyhedron's specific shape.

Bayes' theorem describes the probability of an event based on prior knowledge of conditions that might be related to the event. It is a fundamental concept in probability theory and statistics. Mathematically, it is stated as [latex]P(A|B) = \frac{P(B|A)P(A)}{P(B)}[/latex], where A and B are events and [latex]P(B) \neq 0[/latex]. It relates the conditional and marginal probabilities of two random events.

A second-order linear elliptic partial differential equation that describes systems in a steady-state or equilibrium condition. It is written as [latex]nabla^2 u = 0[/latex] or [latex]Delta u = 0[/latex], where [latex]nabla^2[/latex] (or [latex]Delta[/latex]) is the Laplace operator. Solutions, called harmonic functions, are the smoothest possible functions and represent potentials in fields like electrostatics, gravitation, and fluid flow.