Portal:Matemáticas

Temas del portal: Actividades; Cultura; Geografía; Salud; Historia; Matemáticas; Naturaleza; Gente; Filosofía; Religión; Sociedad; Tecnología; Portal aleatorio

editar

El Portal de Matemáticas

P:MAT
P: MATEMÁTICAS
P: MATEMÁTICAS

Las matemáticas son el estudio de la representación y el razonamiento sobre objetos abstractos(como números , puntos , espacios , conjuntos , estructuras y juegos ). Las matemáticas se utilizan en todo el mundo como una herramienta esencial en muchos campos, incluidas las ciencias naturales , la ingeniería , la medicina y las ciencias sociales . Las matemáticas aplicadas , la rama de las matemáticas que se ocupa de la aplicación del conocimiento matemático a otros campos, inspiran y utilizan nuevos descubrimientos matemáticos y, en ocasiones, conducen al desarrollo de disciplinas matemáticas completamente nuevas, como la estadística y la teoría de juegos . Los matemáticos también se dedican a la matemática pura , o a la matemática por sí misma, sin tener en mente ninguna aplicación. No existe una línea clara que separe las matemáticas puras y las aplicadas, y a menudo se descubren aplicaciones prácticas para lo que comenzó como matemáticas puras. ( Articulo completo... )

Actualizar con nuevas selecciones a continuación (purgar)

Artículos destacados – cargar nuevo lote

Aquí se muestran los artículos destacados , que representan algunos de los mejores contenidos de Wikipedia en inglés.

Image 1
El mosaico triangular regular del plano, cuyas simetrías están descritas por el grupo simétrico afín $S̃ 3$

Los grupos simétricos afines son una familia de estructuras matemáticas que describen las simetrías de la recta numérica y el mosaico triangular regular del plano, así como objetos relacionados de dimensiones superiores. Además de esta descripción geométrica, los grupos simétricos afines se pueden definir de otras maneras: como colecciones de permutaciones (reordenamientos) de los números enteros ( $..., -2, -1, 0, 1, 2,...$ ) que son periódicos en cierto sentido, o en términos puramente algebraicos como un grupo con ciertos generadores y relaciones . Se estudian en combinatoria y teoría de la representación .

Un grupo simétrico finito consta de todas las permutaciones de un conjunto finito. Cada grupo simétrico afín es una extensión infinita de un grupo simétrico finito. Muchas propiedades combinatorias importantes de los grupos simétricos finitos se pueden extender a los grupos simétricos afines correspondientes. Las estadísticas de permutación , como descensos e inversiones, se pueden definir en el caso afín. Como en el caso finito, las definiciones combinatorias naturales de estas estadísticas también tienen una interpretación geométrica. ( Articulo completo... )
Image 2
The number $π$ (/paɪ/; spelled out as "pi") is a mathematical constant that is the ratio of a circle's circumference to its diameter, approximately equal to 3.14159. The number $π$ appears in many formulae across mathematics and physics. It is an irrational number, meaning that it cannot be expressed exactly as a ratio of two integers, although fractions such as ${\tfrac {22}{7}}$ are commonly used to approximate it. Consequently, its decimal representation never ends, nor enters a permanently repeating pattern. It is a transcendental number, meaning that it cannot be a solution of an equation involving only finite sums, products, powers, and integers. The transcendence of $π$ implies that it is impossible to solve the ancient challenge of squaring the circle with a compass and straightedge. The decimal digits of $π$ appear to be randomly distributed, but no proof of this conjecture has been found.

For thousands of years, mathematicians have attempted to extend their understanding of $π$ , sometimes by computing its value to a high degree of accuracy. Ancient civilizations, including the Egyptians and Babylonians, required fairly accurate approximations of $π$ for practical computations. Around 250 BC, the Greek mathematician Archimedes created an algorithm to approximate $π$ with arbitrary accuracy. In the 5th century AD, Chinese mathematicians approximated $π$ to seven digits, while Indian mathematicians made a five-digit approximation, both using geometrical techniques. The first computational formula for $π$ , based on infinite series, was discovered a millennium later. The earliest known use of the Greek letter π to represent the ratio of a circle's circumference to its diameter was by the Welsh mathematician William Jones in 1706. (Full article...)
Image 3
Figure 1: A solution (in purple) to Apollonius's problem. The given circles are shown in black.

In Euclidean plane geometry, Apollonius's problem is to construct circles that are tangent to three given circles in a plane (Figure 1). Apollonius of Perga (c. 262 BC – c. 190 BC) posed and solved this famous problem in his work Ἐπαφαί (Epaphaí, "Tangencies"); this work has been lost, but a 4th-century AD report of his results by Pappus of Alexandria has survived. Three given circles generically have eight different circles that are tangent to them (Figure 2), a pair of solutions for each way to divide the three given circles in two subsets (there are 4 ways to divide a set of cardinality 3 in 2 parts).

In the 16th century, Adriaan van Roomen solved the problem using intersecting hyperbolas, but this solution does not use only straightedge and compass constructions. François Viète found such a solution by exploiting limiting cases: any of the three given circles can be shrunk to zero radius (a point) or expanded to infinite radius (a line). Viète's approach, which uses simpler limiting cases to solve more complicated ones, is considered a plausible reconstruction of Apollonius' method. The method of van Roomen was simplified by Isaac Newton, who showed that Apollonius' problem is equivalent to finding a position from the differences of its distances to three known points. This has applications in navigation and positioning systems such as LORAN. (Full article...)
Image 4
The first 15,000 partial sums of 0 + 1 − 2 + 3 − 4 + ... The graph is situated with positive integers to the right and negative integers to the left.

In mathematics, 1 − 2 + 3 − 4 + ··· is an infinite series whose terms are the successive positive integers, given alternating signs. Using sigma summation notation the sum of the first m terms of the series can be expressed as
$\sum _{n=1}^{m}n(-1)^{n-1}.$

The infinite series diverges, meaning that its sequence of partial sums, (1, −1, 2, −2, 3, ...), does not tend towards any finite limit. Nonetheless, in the mid-18th century, Leonhard Euler wrote what he admitted to be a paradoxical equation:
$1-2+3-4+\cdots ={\frac {1}{4}}.$ (Full article...)
Image 5

Archimedes Thoughtful
by Domenico Fetti (1620)

Archimedes of Syracuse (/ˌɑːrkɪˈmiːdiːz/, ARK-ihm-EE-deez; c. 287 – c. 212 BC) was an Ancient Greek mathematician, physicist, engineer, astronomer, and inventor from the ancient city of Syracuse in Sicily. Although few details of his life are known, he is regarded as one of the leading scientists in classical antiquity. Considered the greatest mathematician of ancient history, and one of the greatest of all time, Archimedes anticipated modern calculus and analysis by applying the concept of the infinitely small and the method of exhaustion to derive and rigorously prove a range of geometrical theorems. These include the area of a circle, the surface area and volume of a sphere, the area of an ellipse, the area under a parabola, the volume of a segment of a paraboloid of revolution, the volume of a segment of a hyperboloid of revolution, and the area of a spiral.

Archimedes' other mathematical achievements include deriving an approximation of pi, defining and investigating the Archimedean spiral, and devising a system using exponentiation for expressing very large numbers. He was also one of the first to apply mathematics to physical phenomena, working on statics and hydrostatics. Archimedes' achievements in this area include a proof of the law of the lever, the widespread use of the concept of center of gravity, and the enunciation of the law of buoyancy known as Archimedes' principle. He is also credited with designing innovative machines, such as his screw pump, compound pulleys, and defensive war machines to protect his native Syracuse from invasion. (Full article...)
Image 6

Hilary Putnam

The Quine–Putnam indispensability argument is an argument in the philosophy of mathematics for the existence of abstract mathematical objects such as numbers and sets, a position known as mathematical platonism. It was named after the philosophers Willard Quine and Hilary Putnam, and is one of the most important arguments in the philosophy of mathematics.

Although elements of the indispensability argument may have originated with thinkers such as Gottlob Frege and Kurt Gödel, Quine's development of the argument was unique for introducing to it a number of his philosophical positions such as naturalism, confirmational holism, and the criterion of ontological commitment. Putnam gave Quine's argument its first detailed formulation in his 1971 book Philosophy of Logic. He later came to disagree with various aspects of Quine's thinking, however, and formulated his own indispensability argument based on the no miracles argument in the philosophy of science. A standard form of the argument in contemporary philosophy is credited to Mark Colyvan; whilst being influenced by both Quine and Putnam, it differs in important ways from their formulations. It is presented in the Stanford Encyclopedia of Philosophy: (Full article...)
Image 7

Josiah Willard Gibbs (/ɡɪbz/; February 11, 1839 – April 28, 1903) was an American scientist who made significant theoretical contributions to physics, chemistry, and mathematics. His work on the applications of thermodynamics was instrumental in transforming physical chemistry into a rigorous inductive science. Together with James Clerk Maxwell and Ludwig Boltzmann, he created statistical mechanics (a term that he coined), explaining the laws of thermodynamics as consequences of the statistical properties of ensembles of the possible states of a physical system composed of many particles. Gibbs also worked on the application of Maxwell's equations to problems in physical optics. As a mathematician, he invented modern vector calculus (independently of the British scientist Oliver Heaviside, who carried out similar work during the same period).

In 1863, Yale awarded Gibbs the first American doctorate in engineering. After a three-year sojourn in Europe, Gibbs spent the rest of his career at Yale, where he was a professor of mathematical physics from 1871 until his death in 1903. Working in relative isolation, he became the earliest theoretical scientist in the United States to earn an international reputation and was praised by Albert Einstein as "the greatest mind in American history." In 1901, Gibbs received what was then considered the highest honor awarded by the international scientific community, the Copley Medal of the Royal Society of London, "for his contributions to mathematical physics." (Full article...)
Image 8
The manipulations of the Rubik's Cube form the Rubik's Cube group.

In mathematics, a group is a set with an operation that satisfies the following constraints: the operation is associative and has an identity element, and every element of the set has an inverse element.

Many mathematical structures are groups endowed with other properties. For example, the integers with the addition operation form an infinite group, which is generated by a single element called $1$ (these properties characterize the integers in a unique way). (Full article...)
Image 9
In algebraic geometry and theoretical physics, mirror symmetry is a relationship between geometric objects called Calabi–Yau manifolds. The term refers to a situation where two Calabi–Yau manifolds look very different geometrically but are nevertheless equivalent when employed as extra dimensions of string theory.

Early cases of mirror symmetry were discovered by physicists. Mathematicians became interested in this relationship around 1990 when Philip Candelas, Xenia de la Ossa, Paul Green, and Linda Parkes showed that it could be used as a tool in enumerative geometry, a branch of mathematics concerned with counting the number of solutions to geometric questions. Candelas and his collaborators showed that mirror symmetry could be used to count rational curves on a Calabi–Yau manifold, thus solving a longstanding problem. Although the original approach to mirror symmetry was based on physical ideas that were not understood in a mathematically precise way, some of its mathematical predictions have since been proven rigorously. (Full article...)
Image 10

Portrait by Jakob Emanuel Handmann, 1753

Leonhard Euler (/ˈɔɪlər/ OY-lər, German: [ˈleːɔnhaʁt ˈʔɔʏlɐ] ^ⓘ, Swiss Standard German: [ˈleːɔnhart ˈɔʏlər]; 15 April 1707 – 18 September 1783) was a Swiss mathematician, physicist, astronomer, geographer, logician, and engineer who founded the studies of graph theory and topology and made pioneering and influential discoveries in many other branches of mathematics such as analytic number theory, complex analysis, and infinitesimal calculus. He introduced much of modern mathematical terminology and notation, including the notion of a mathematical function. He is also known for his work in mechanics, fluid dynamics, optics, astronomy, and music theory.

Euler is held to be one of the greatest mathematicians in history and the greatest of the 18th century. Several great mathematicians who produced their work after Euler's death have recognised his importance in the field as shown by quotes attributed to many of them: Pierre-Simon Laplace expressed Euler's influence on mathematics by stating, "Read Euler, read Euler, he is the master of us all." Carl Friedrich Gauss wrote: "The study of Euler's works will remain the best school for the different fields of mathematics, and nothing else can replace it." Euler is also widely considered to be the most prolific; his 866 publications as well as his correspondences are being collected in the Opera Omnia Leonhard Euler which, when completed, will consist of 81 quarto volumes. He spent most of his adult life in Saint Petersburg, Russia, and in Berlin, then the capital of Prussia. (Full article...)
Image 11
The weighing pans of this balance scale contain zero objects, divided into two equal groups.

In mathematics, zero is an even number. In other words, its parity—the quality of an integer being even or odd—is even. This can be easily verified based on the definition of "even": it is an integer multiple of 2, specifically 0 × 2. As a result, zero shares all the properties that characterize even numbers: for example, 0 is neighbored on both sides by odd numbers, any decimal integer has the same parity as its last digit—so, since 10 is even, 0 will be even, and if $y$ is even then $y + x$ has the same parity as $x$ —indeed, $0 + x$ and $x$ always have the same parity.

Zero also fits into the patterns formed by other even numbers. The parity rules of arithmetic, such as even − even = even, require 0 to be even. Zero is the additive identity element of the group of even integers, and it is the starting case from which other even natural numbers are recursively defined. Applications of this recursion from graph theory to computational geometry rely on zero being even. Not only is 0 divisible by 2, it is divisible by every power of 2, which is relevant to the binary numeral system used by computers. In this sense, 0 is the "most even" number of all. (Full article...)
Image 12

Rejewski, c. 1932

Marian Adam Rejewski (Polish: [ˈmarjan rɛˈjɛfskʲi] ^ⓘ; 16 August 1905 – 13 February 1980) was a Polish mathematician and cryptologist who in late 1932 reconstructed the sight-unseen Nazi German military Enigma cipher machine, aided by limited documents obtained by French military intelligence. Over the next nearly seven years, Rejewski and fellow mathematician-cryptologists Jerzy Różycki and Henryk Zygalski developed and used techniques and equipment to decrypt the German machine ciphers, even as the Germans introduced modifications to their equipment and encryption procedures.

Five weeks before the outbreak of World War II in Europe, the Poles shared their technological achievements with the French and British at a conference in Warsaw, thus enabling Britain to begin reading German Enigma-encrypted messages, seven years after Rejewski's original reconstruction of the machine. The intelligence that was gained by the British from Enigma decrypts formed part of what was code-named Ultra and contributed—perhaps decisively—to the defeat of Nazi Germany. (Full article...)
Image 13
Plots of logarithm functions, with three commonly used bases. The special points $log b b = 1$ are indicated by dotted lines, and all curves intersect in $log b 1 = 0$ .

In mathematics, the logarithm is the inverse function to exponentiation. That means that the logarithm of a number $x$ to the base $b$ is the exponent to which $b$ must be raised to produce $x$ . For example, since $1000 = 10 3$ , the logarithm base 10 of $1000$ is $3$ , or $log 10 (1000) = 3$ . The logarithm of $x$ to base $b$ is denoted as $log b (x)$ , or without parentheses, $log b x$ , or even without the explicit base, $log x$ , when no confusion is possible, or when the base does not matter such as in big O notation.

The logarithm base $10$ is called the decimal or common logarithm and is commonly used in science and engineering. The natural logarithm has the number $e \approx 2.718$ as its base; its use is widespread in mathematics and physics, because of its very simple derivative. The binary logarithm uses base $2$ and is frequently used in computer science. (Full article...)
Image 14

Portrait of Kepler in 1627

Johannes Kepler (/ˈkɛplər/; German: [joˈhanəs ˈkɛplɐ, -nɛs -] ^ⓘ; 27 December 1571 – 15 November 1630) was a German astronomer, mathematician, astrologer, natural philosopher and writer on music. He is a key figure in the 17th-century Scientific Revolution, best known for his laws of planetary motion, and his books Astronomia nova, Harmonice Mundi, and Epitome Astronomiae Copernicanae, influencing among others Isaac Newton, providing one of the foundations for his theory of universal gravitation. The variety and impact of his work made Kepler one of the founders and fathers of modern astronomy, the scientific method, natural and modern science. He has been described as the "father of science fiction" for his novel Somnium.

Kepler was a mathematics teacher at a seminary school in Graz, where he became an associate of Prince Hans Ulrich von Eggenberg. Later he became an assistant to the astronomer Tycho Brahe in Prague, and eventually the imperial mathematician to Emperor Rudolf II and his two successors Matthias and Ferdinand II. He also taught mathematics in Linz, and was an adviser to General Wallenstein.
Additionally, he did fundamental work in the field of optics, being named the father of modern optics, in particular for his Astronomiae pars optica. He also invented an improved version of the refracting telescope, the Keplerian telescope, which became the foundation of the modern refracting telescope, while also improving on the telescope design by Galileo Galilei, who mentioned Kepler's discoveries in his work. (Full article...)
Image 15

Émile Michel Hyacinthe Lemoine (French: [emil ləmwan]; 22 November 1840 – 21 February 1912) was a French civil engineer and a mathematician, a geometer in particular. He was educated at a variety of institutions, including the Prytanée National Militaire and, most notably, the École Polytechnique. Lemoine taught as a private tutor for a short period after his graduation from the latter school.

Lemoine is best known for his proof of the existence of the Lemoine point (or the symmedian point) of a triangle. Other mathematical work includes a system he called Géométrographie and a method which related algebraic expressions to geometric objects. He has been called a co-founder of modern triangle geometry, as many of its characteristics are present in his work. (Full article...)

editar

Imagen seleccionada – mostrar otra

función gamma

Crédito: TakuyaMurata (cargador)

Esta es una gráfica dibujada a mano del valor absoluto (o módulo) de la función gamma en el plano complejo , tal como se publicó en el libro de 1909 Tablas de funciones superiores , de Eugene Jahnke y Fritz Emde. Estos gráficos tridimensionales de funciones complicadas eran raros antes de la llegada de los gráficos por computadora de alta resolución (incluso hoy en día, las tablas de valores se utilizan en muchos contextos para buscar valores de funciones en lugar de consultar gráficos directamente). Publicado incluso antes de que se descubrieran las aplicaciones de la compleja función gamma en la física teórica en los años 30, el gráfico de Jahnke y Emde "adquirió un estatus casi icónico", según el físico Michael Berry . Vea una imagen similar generada por computadora para comparar. Cuando se restringe a números enteros positivos, la función gamma genera los factoriales a través de la relación

Γ(n) = (n - 1).

, que es el producto de todos los números enteros positivos desde

n - 1

hasta 1 (

0!

se define como igual a 1). Para números reales y complejos , la función se define por la integral impropia . Esta integral diverge cuando t es un entero negativo, lo que provoca los picos en la mitad izquierda del gráfico (estos son polos simples de la función, donde sus valores aumentan hasta el infinito , de forma análoga a las asíntotas en los gráficos bidimensionales). La función gamma tiene aplicaciones en física cuántica , astrofísica y dinámica de fluidos , así como en teoría de números y probabilidad .

\textstyle \Gamma (t)=\int _{0}^{\infty }x^{t-1}e^{-x}\,dx

Buenos artículos: cargue un nuevo lote

Estos son buenos artículos , que cumplen con un conjunto básico de altos estándares editoriales.

Image 1
El gráfico de Rado, numerado por Ackermann (1937) y Rado (1964) .

En el campo matemático de la teoría de grafos , el gráfico de Rado , el gráfico de Erdős-Rényi o el gráfico aleatorio es un gráfico infinito contable que se puede construir (con probabilidad uno ) eligiendo de forma independiente y aleatoria para cada par de sus vértices si se conectan los vértices. por un borde. Los nombres de este gráfico honran a Richard Rado , Paul Erdős y Alfréd Rényi , matemáticos que lo estudiaron a principios de los años 1960; aparece incluso antes en la obra de Wilhelm Ackermann (1937). El gráfico de Rado también se puede construir de forma no aleatoria, simetrizando la relación de pertenencia de los conjuntos hereditariamente finitos , aplicando el predicado BIT a las representaciones binarias de los números naturales , o como un gráfico de Paley infinito que tiene aristas que conectan pares de números primos. congruentes con 1 mod 4 que son residuos cuadráticos módulo entre sí.

Cada gráfico finito o contablemente infinito es un subgrafo inducido del gráfico de Rado y se puede encontrar como un subgrafo inducido mediante un algoritmo codicioso que construye el subgrafo un vértice a la vez. El gráfico de Rado se define de forma única, entre los gráficos contables, por una propiedad de extensión que garantiza la corrección de este algoritmo: no importa qué vértices ya hayan sido elegidos para formar parte del subgrafo inducido, y no importa qué patrón de adyacencias se necesite para extender el subgrafo por un vértice más, siempre existirá otro vértice con ese patrón de adyacencias que el algoritmo codicioso puede elegir. ( Articulo completo... )
Image 2
Measuring the width of a Reuleaux triangle as the distance between parallel supporting lines. Because this distance does not depend on the direction of the lines, the Reuleaux triangle is a curve of constant width.

In geometry, a curve of constant width is a simple closed curve in the plane whose width (the distance between parallel supporting lines) is the same in all directions. The shape bounded by a curve of constant width is a body of constant width or an orbiform, the name given to these shapes by Leonhard Euler. Standard examples are the circle and the Reuleaux triangle. These curves can also be constructed using circular arcs centered at crossings of an arrangement of lines, as the involutes of certain curves, or by intersecting circles centered on a partial curve.

Every body of constant width is a convex set, its boundary crossed at most twice by any line, and if the line crosses perpendicularly it does so at both crossings, separated by the width. By Barbier's theorem, the body's perimeter is exactly π times its width, but its area depends on its shape, with the Reuleaux triangle having the smallest possible area for its width and the circle the largest. Every superset of a body of constant width includes pairs of points that are farther apart than the width, and every curve of constant width includes at least six points of extreme curvature. Although the Reuleaux triangle is not smooth, curves of constant width can always be approximated arbitrarily closely by smooth curves of the same constant width. (Full article...)
Image 3
In mathematics, the three-gap theorem, three-distance theorem, or Steinhaus conjecture states that if one places $n$ points on a circle, at angles of $θ$ , $2 θ$ , $3 θ$ , ... from the starting point, then there will be at most three distinct distances between pairs of points in adjacent positions around the circle. When there are three distances, the largest of the three always equals the sum of the other two. Unless $θ$ is a rational multiple of $π$ , there will also be at least two distinct distances.

This result was conjectured by Hugo Steinhaus, and proved in the 1950s by Vera T. Sós, János Surányi [hu], and Stanisław Świerczkowski; more proofs were added by others later. Applications of the three-gap theorem include the study of plant growth and musical tuning systems, and the theory of light reflection within a mirrored square. (Full article...)
Image 4
In polyhedral combinatorics, a branch of mathematics, Steinitz's theorem is a characterization of the undirected graphs formed by the edges and vertices of three-dimensional convex polyhedra: they are exactly the 3-vertex-connected planar graphs. That is, every convex polyhedron forms a 3-connected planar graph, and every 3-connected planar graph can be represented as the graph of a convex polyhedron. For this reason, the 3-connected planar graphs are also known as polyhedral graphs.

This result provides a classification theorem for the three-dimensional convex polyhedra, something that is not known in higher dimensions. It provides a complete and purely combinatorial description of the graphs of these polyhedra, allowing other results on them, such as Eberhard's theorem on the realization of polyhedra with given types of faces, to be proven more easily, without reference to the geometry of these shapes. Additionally, it has been applied in graph drawing, as a way to construct three-dimensional visualizations of abstract graphs. Branko Grünbaum has called this theorem "the most important and deepest known result on 3-polytopes." (Full article...)
Image 5
The Petersen graph is the smallest snark.

In the mathematical field of graph theory, a snark is an undirected graph with exactly three edges per vertex whose edges cannot be colored with only three colors. In order to avoid trivial cases, snarks are often restricted to have additional requirements on their connectivity and on the length of their cycles. Infinitely many snarks exist.

One of the equivalent forms of the four color theorem is that every snark is a non-planar graph. Research on snarks originated in Peter G. Tait's work on the four color theorem in 1880, but their name is much newer, given to them by Martin Gardner in 1976. Beyond coloring, snarks also have connections to other hard problems in graph theory: writing in the Electronic Journal of Combinatorics, Miroslav Chladný and Martin Škoviera state thatAs well as the problems they mention, W. T. Tutte's snark conjecture concerns the existence of Petersen graphs as graph minors of snarks; its proof has been long announced but remains unpublished, and would settle a special case of the existence of nowhere zero 4-flows. (Full article...)
Image 6
In the mathematical fields of graph theory and finite model theory, the logic of graphs deals with formal specifications of graph properties using sentences of mathematical logic. There are several variations in the types of logical operation that can be used in these sentences. The first-order logic of graphs concerns sentences in which the variables and predicates concern individual vertices and edges of a graph, while monadic second-order graph logic allows quantification over sets of vertices or edges. Logics based on least fixed point operators allow more general predicates over tuples of vertices, but these predicates can only be constructed through fixed-point operators, restricting their power.

A sentence $S$ may be true for some graphs, and false for others; a graph $G$ is said to model $S$ , written $G\models S$ , if $S$ is true of the vertices and adjacency relation of $G$ . The algorithmic problem of model checking concerns testing whether a given graph models a given sentence. The algorithmic problem of satisfiability concerns testing whether there exists a graph that models a given sentence.
Although both model checking and satisfiability are hard in general, several major algorithmic meta-theorems show that properties expressed in this way can be tested efficiently for important classes of graphs. (Full article...)
Image 7
Pell's equation for n = 2 and six of its integer solutions

Pell's equation, also called the Pell–Fermat equation, is any Diophantine equation of the form $x^{2}-ny^{2}=1,$ where n is a given positive nonsquare integer, and integer solutions are sought for x and y. In Cartesian coordinates, the equation is represented by a hyperbola; solutions occur wherever the curve passes through a point whose x and y coordinates are both integers, such as the trivial solution with x = 1 and y = 0. Joseph Louis Lagrange proved that, as long as n is not a perfect square, Pell's equation has infinitely many distinct integer solutions. These solutions may be used to accurately approximate the square root of n by rational numbers of the form x/y.

This equation was first studied extensively in India starting with Brahmagupta, who found an integer solution to $92x^{2}+1=y^{2}$ in his Brāhmasphuṭasiddhānta circa 628. Bhaskara II in the 12th century and Narayana Pandit in the 14th century both found general solutions to Pell's equation and other quadratic indeterminate equations. Bhaskara II is generally credited with developing the chakravala method, building on the work of Jayadeva and Brahmagupta. Solutions to specific examples of Pell's equation, such as the Pell numbers arising from the equation with n = 2, had been known for much longer, since the time of Pythagoras in Greece and a similar date in India. William Brouncker was the first European to solve Pell's equation. The name of Pell's equation arose from Leonhard Euler mistakenly attributing Brouncker's solution of the equation to John Pell. (Full article...)
Image 8
A Halin graph

In graph theory, a Halin graph is a type of planar graph, constructed by connecting the leaves of a tree into a cycle.
The tree must have at least four vertices, none of which has exactly two neighbors; it should be drawn in the plane so none of its edges cross (this is called a planar embedding), and the cycle
connects the leaves in their clockwise ordering in this embedding. Thus, the cycle forms the outer face of the Halin graph, with the tree inside it.

Halin graphs are named after German mathematician Rudolf Halin, who studied them in 1971.
The cubic Halin graphs – the ones in which each vertex touches exactly three edges – had already been studied over a century earlier by Kirkman.
Halin graphs are polyhedral graphs, meaning that every Halin graph can be used to form the vertices and edges of a convex polyhedron, and the polyhedra formed from them have been called roofless polyhedra or domes. (Full article...)
Image 9
In geometry, the Dehn invariant is a value used to determine whether one polyhedron can be cut into pieces and reassembled ("dissected") into another, and whether a polyhedron or its dissections can tile space. It is named after Max Dehn, who used it to solve Hilbert's third problem by proving that not all polyhedra with equal volume could be dissected into each other.

Two polyhedra have a dissection into polyhedral pieces that can be reassembled into either one, if and only if their volumes and Dehn invariants are equal. Having Dehn invariant zero is a necessary (but not sufficient) condition for being a space-filling polyhedron, and a polyhedron can be cut up and reassembled into a space-filling polyhedron if and only if its Dehn invariant is zero. The Dehn invariant of a self-intersection-free flexible polyhedron is invariant as it flexes. Dehn invariants are also an invariant for dissection in higher dimensions, and (with volume) a complete invariant in four dimensions. (Full article...)
Image 10

Portrait of Newton at 46, 1689

Sir Isaac Newton FRS (25 December 1642 – 20 March 1726/27) was an English polymath active as a mathematician, physicist, astronomer, alchemist, theologian, and author who was described in his time as a natural philosopher. He was a key figure in the Scientific Revolution and the Enlightenment that followed. His pioneering book Philosophiæ Naturalis Principia Mathematica (Mathematical Principles of Natural Philosophy), first published in 1687, consolidated many previous results and established classical mechanics. Newton also made seminal contributions to optics, and shares credit with German mathematician Gottfried Wilhelm Leibniz for developing infinitesimal calculus, though he developed calculus years before Leibniz. He is considered one of the greatest and most influential scientists in history.

In the Principia, Newton formulated the laws of motion and universal gravitation that formed the dominant scientific viewpoint for centuries until it was superseded by the theory of relativity. Newton used his mathematical description of gravity to derive Kepler's laws of planetary motion, account for tides, the trajectories of comets, the precession of the equinoxes and other phenomena, eradicating doubt about the Solar System's heliocentricity. He demonstrated that the motion of objects on Earth and celestial bodies could be accounted for by the same principles. Newton's inference that the Earth is an oblate spheroid was later confirmed by the geodetic measurements of Maupertuis, La Condamine, and others, convincing most European scientists of the superiority of Newtonian mechanics over earlier systems. (Full article...)
Image 11

Srinivasa Ramanujan FRS (/ˈsriːnɪvɑːsə rɑːˈmɑːnʊdʒən/ SREE-nih-vah-sə rah-MAH-nuuj-ən; born Srinivasa Ramanujan Aiyangar, Tamil: [sriːniʋaːsa ɾaːmaːnud͡ʑan ajːaŋgar]; 22 December 1887 – 26 April 1920) was an Indian mathematician. Though he had almost no formal training in pure mathematics, he made substantial contributions to mathematical analysis, number theory, infinite series, and continued fractions, including solutions to mathematical problems then considered unsolvable.

Ramanujan initially developed his own mathematical research in isolation. According to Hans Eysenck, "he tried to interest the leading professional mathematicians in his work, but failed for the most part. What he had to show them was too novel, too unfamiliar, and additionally presented in unusual ways; they could not be bothered". Seeking mathematicians who could better understand his work, in 1913 he began a postal correspondence with the English mathematician G. H. Hardy at the University of Cambridge, England. Recognising Ramanujan's work as extraordinary, Hardy arranged for him to travel to Cambridge. In his notes, Hardy commented that Ramanujan had produced groundbreaking new theorems, including some that "defeated me completely; I had never seen anything in the least like them before", and some recently proven but highly advanced results. (Full article...)
Image 12
A Doyle spiral of type (8,16) printed in 1911 in Popular Science as an illustration of phyllotaxis. One of its spiral arms is shaded.

In the mathematics of circle packing, a Doyle spiral is a pattern of non-crossing circles in the plane in which each circle is surrounded by a ring of six tangent circles. These patterns contain spiral arms formed by circles linked through opposite points of tangency, with their centers on logarithmic spirals of three different shapes.

Doyle spirals are named after mathematician Peter G. Doyle, who made an important contribution to their mathematical construction in the late 1980s or early 1990s. However, their study in phyllotaxis (the mathematics of plant growth) dates back to the early 1900s. (Full article...)

¿Sabías que (generado automáticamente) ? Cargar nuevo lote

... que a pesar de los estudios publicados en sentido contrario, Andrew Planta no recibió un doctorado ni enseñó matemáticas en Erlangen ?
... que A Passage North , preseleccionada para el Premio Booker 2021 , se desarrolla tras la Guerra Civil de Sri Lanka ?
... que 100 años después de que Mary Emily Sinclair escribiera una tesis de maestría en matemáticas sobre los discriminantes de polinomios quínticos , Helaman Ferguson basó una escultura en su trabajo?
... que la directora del museo, Alena Aladava, reconstruyó la colección de arte nacional bielorrusa después de la Segunda Guerra Mundial?
... que aunque el problema de la cuadratura del círculo con compás y regla se remonta a las matemáticas griegas , no se demostró que era imposible hasta 1882?
... que el símbolo matemático del infinito ∞ puede derivarse de los números romanos para 1000 o para 100 millones?
... que el número de balas de cañón en una pirámide cuadrada con balas de cañón a lo largo de cada borde es ? $n$ ${\frac {n(n+1)(2n+1)}{6}}$
... que los empaquetamientos circulares en forma de espiral de Doyle se utilizaban para modelar el crecimiento de las plantas mucho antes de que Doyle los investigara matemáticamente?

editar

¿Sabías más? Ver diferentes entradas

Sabías...

... que, según el teorema de la pizza , una pizza circular cortada descentrada en ocho porciones de ángulos iguales aún se puede dividir en partes iguales entre dos personas?
... ¿que el problema de la camarilla de programar una computadora para encontrar subgrafos completos en un grafo no dirigido se estudió por primera vez como una forma de encontrar grupos de personas que se conocían en las redes sociales ?
... que el gráfico de Herschel es el gráfico poliédrico más pequeño posible que no tiene un ciclo hamiltoniano ?
... que el autómata celular Vida sin Muerte , un modelo matemático de formación de patrones , es una variante del Juego de la Vida de Conway en el que las células, una vez que cobran vida, nunca mueren?
... ¿que se pueden enumerar todos los números racionales positivos sin repetición mediante el recorrido en anchura del árbol de Calkin-Wilf ?
... que la conjetura de Hadwiger implica que la superficie externa de cualquier cuerpo convexo tridimensional puede ser iluminada por sólo ocho fuentes de luz, pero el límite mejor demostrado es que 16 luces son suficientes?
... que una coloración equitativa de un gráfico , en la que el número de vértices de cada color sea lo más igual posible, puede requerir muchos más colores que una coloración de gráfico sin esta restricción?

editar

Artículo seleccionado – mostrar otro

La teoría de juegos es una rama de las matemáticas que se utiliza a menudo en el contexto de la economía . Estudia las interacciones estratégicas entre agentes . En los juegos estratégicos, los agentes eligen estrategias que maximizarán su retorno, dadas las estrategias que eligen los demás agentes. La característica esencial es que proporciona un enfoque de modelado formal de situaciones sociales en las que los tomadores de decisiones interactúan con otros agentes. La teoría de juegos amplía el enfoque de optimización más simple desarrollado en la economía neoclásica .

El campo de la teoría de juegos surgió con la clásica Teoría de los juegos y el comportamiento económico de 1944 de John von Neumann y Oskar Morgenstern . Un centro importante para el desarrollo de la teoría de juegos fue RAND Corporation , donde ayudó a definir estrategias nucleares .

La teoría de juegos ha desempeñado y sigue desempeñando un papel importante en las ciencias sociales y ahora también se utiliza en muchos campos académicos diversos. A partir de la década de 1970, la teoría de juegos se aplicó al comportamiento animal, incluida la teoría de la evolución . Muchos juegos, especialmente el dilema del prisionero , se utilizan para ilustrar ideas en ciencias políticas y ética . La teoría de juegos ha llamado recientemente la atención de los científicos informáticos debido a su uso en inteligencia artificial y cibernética . ( Articulo completo... )

editar

Subcategorías

Árbol de categorías completo. Seleccione [►] para ver las subcategorías.

editar

Temas de matemáticas

editar

Índice de artículos de matemáticas.

editar

Portales relacionados

editar

WikiProyectos

Mathematics WikiProject es el centro de edición relacionada con las matemáticas en Wikipedia. Únase a la discusión en la página de discusión del proyecto .

En otros proyectos de Wikimedia

Los siguientes proyectos hermanos de la Fundación Wikimedia brindan más información sobre este tema:

Repositorio multimedia gratuito Commons
Wikilibros
Libros de texto y manuales gratuitos
Base de conocimientos gratuita de Wikidata
Wikinoticias
Noticias de contenido libre
Wikiquote
Colección de citas
Biblioteca de contenido gratuito de Wikisource
Wikiversidad
Herramientas de aprendizaje gratuitas
Diccionario y tesauro de Wikcionario

Más portales

Descubre Wikipedia usando portales

Portal:Matemáticas

El Portal de Matemáticas

Artículos destacados – cargar nuevo lote

Imagen seleccionada – mostrar otra

Buenos artículos: cargue un nuevo lote

¿Sabías que (generado automáticamente) ? ​​Cargar nuevo lote

¿Sabías más? Ver diferentes entradas

Artículo seleccionado – mostrar otro

Subcategorías

Temas de matemáticas

Índice de artículos de matemáticas.

Portales relacionados

WikiProyectos

En otros proyectos de Wikimedia

Más portales

¿Sabías que (generado automáticamente) ? Cargar nuevo lote