Méthode de SimpsonEn analyse numérique, la méthode de Simpson, du nom de Thomas Simpson, est une technique de calcul numérique d'une intégrale, c'est-à-dire le calcul approché de : Cette méthode utilise l'approximation d'ordre 2 de f par un polynôme quadratique P prenant les mêmes valeurs que f aux points d'abscisse a, b et m = . Pour déterminer l'expression de cette parabole (polynôme de degré 2), on utilise l'interpolation lagrangienne.
Méthode des trapèzesEn analyse numérique, la méthode des trapèzes est une méthode pour le calcul numérique d'une intégrale s'appuyant sur l'interpolation linéaire par intervalles. Le principe est d'assimiler la région sous la courbe représentative d'une fonction f définie sur un segment [a , b] à un trapèze et d'en calculer l'aire T : En analyse numérique l'erreur est par convention la différence entre la valeur exacte (limite) et son approximation par un nombre fini d'opérations. ()..
Milieu d'un segmentEn géométrie affine, le milieu d'un segment est l'isobarycentre des deux extrémités du segment. Dans le cadre plus spécifique de la géométrie euclidienne, c'est aussi le point de ce segment situé à égale distance de ses extrémités. Symétrie centrale Deux points distincts A et A sont symétriques par rapport à un point O si et seulement si O est le milieu du segment [AA]. Dans la symétrie centrale de centre O, le symétrique de O est O lui-même. L'ensemble des points du plan équidistants de deux points A et B constitue la médiatrice du segment [AB].
Midpoint polygonIn geometry, the midpoint polygon of a polygon P is the polygon whose vertices are the midpoints of the edges of P. It is sometimes called the Kasner polygon after Edward Kasner, who termed it the inscribed polygon "for brevity". The midpoint polygon of a triangle is called the medial triangle. It shares the same centroid and medians with the original triangle. The perimeter of the medial triangle equals the semiperimeter of the original triangle, and the area is one quarter of the area of the original triangle.
Trapèzethumb|Exemple de trapèze. Un trapèze est un quadrilatère possédant deux côtés opposés parallèles. Ces deux côtés parallèles sont appelés bases. Avec cette définition, les quadrilatères ABCD et ABDC de la figure sont tous deux des trapèzes (dont les côtés (AB) et (CD) sont parallèles). Certains auteurs imposent comme condition supplémentaire la convexité du quadrilatère, ce qui revient à exclure les « trapèzes croisés » tels que ABDC. Un quadrilatère convexe est un trapèze si et seulement s’il possède une paire d’angles consécutifs de somme égale à 180°, soit π radians.
Méthodes de quadrature de GaussDans le domaine mathématique de l'analyse numérique, les méthodes de quadrature sont des approximations de la valeur numérique d'une intégrale. En général, on remplace le calcul de l'intégrale par une somme pondérée prise en un certain nombre de points du domaine d'intégration (voir calcul numérique d'une intégrale pour plus d'informations). La méthode de quadrature de Gauss, du nom de Carl Friedrich Gauss, est une méthode de quadrature exacte pour un polynôme de degré 2n – 1 avec n points pris sur le domaine d'intégration.
Trapèze circonscriptibledroite|vignette|300x300px|Un trapèze circonscriptible En géométrie euclidienne, un trapèze circonscriptible, également appelé trapèze tangent, est un trapèze dont les quatre côtés sont tous tangents à un cercle situé à l'intérieur du trapèze : le cercle inscrit. C'est un cas particulier de quadrilatère circonscriptible, dont au moins une paire de côtés opposés sont parallèles. Les losanges et carrés sont des exemples de trapèzes circonscriptibles.
Isosceles trapezoidIn Euclidean geometry, an isosceles trapezoid (isosceles trapezium in British English) is a convex quadrilateral with a line of symmetry bisecting one pair of opposite sides. It is a special case of a trapezoid. Alternatively, it can be defined as a trapezoid in which both legs and both base angles are of equal measure, or as a trapezoid whose diagonals have equal length. Note that a non-rectangular parallelogram is not an isosceles trapezoid because of the second condition, or because it has no line of symmetry.
Formule de HéronEn géométrie euclidienne, la formule de Héron, portant le nom de Héron d'Alexandrie, permet de calculer l'aire S d'un triangle quelconque en ne connaissant que les longueurs a, b et c de ses trois côtés : La formule était déjà connue d'Archimède. Héron d'Alexandrie énonce et démontre son théorème dans son traité Les Métriques. Sa démonstration s'appuie sur les propriétés du cercle inscrit dans un triangle et sur l'exploitation des rapports de longueurs dans des triangles semblables.
QuadrilatèreEn géométrie plane, un quadrilatère est un polygone à quatre côtés. Les trapèzes, parallélogrammes, losanges, rectangles, carrés et cerfs-volants sont des quadrilatères particuliers. Le mot « quadrilatère » provient du latin : quatuor, quatre, et latus, lateris, côté. Le mot équivalent d'origine grecque est tétrapleure (de τεσσερα / tèssera, quatre, et πλευρά / pleura, côté) ou tétragone (de γωνία / gônia, angle). Le mot tétragone était employé par Gerbert d'Aurillac au et par Oresme au .
Somme de RiemannEn mathématiques, et plus précisément en analyse, les sommes de Riemann sont des sommes finies approchant des intégrales. En pratique, elles permettent de calculer numériquement des aires sous la courbe de fonctions ou des longueurs d'arcs, ou inversement, de donner une valeur à des suites de sommes. Elles peuvent également être utilisées pour définir la notion d'intégration. Leur nom vient du mathématicien allemand Bernhard Riemann.
Calcul numérique d'une intégraleEn analyse numérique, il existe une vaste famille d’algorithmes dont le but principal est d’estimer la valeur numérique de l’intégrale définie sur un domaine particulier pour une fonction donnée (par exemple l’intégrale d’une fonction d’une variable sur un intervalle). Ces techniques procèdent en trois phases distinctes : Décomposition du domaine en morceaux (un intervalle en sous-intervalles contigus) ; Intégration approchée de la fonction sur chaque morceau ; Sommation des résultats numériques ainsi obtenus.
Polynôme de Legendrethumb|upright=1.5|Polynômes de Legendre En mathématiques et en physique théorique, les polynômes de Legendre constituent l'exemple le plus simple d'une suite de polynômes orthogonaux. Ce sont des solutions polynomiales P(x), sur l'intervalle x ∈ [–1, 1], de l'équation différentielle de Legendre : dans le cas particulier où le paramètre n est un entier naturel. De façon équivalente, les polynômes de Legendre sont les fonctions propres de l'endomorphisme de R[X] défini par : pour les valeurs propres .
Vitesse de convergence des suitesEn analyse numérique — une branche des mathématiques — on peut classer les suites convergentes en fonction de leur vitesse de convergence vers leur point limite. C'est une manière d'apprécier l'efficacité des algorithmes qui les génèrent. Les suites considérées ici sont convergentes sans être stationnaires (tous leurs termes sont même supposés différents du point limite). Si une suite est stationnaire, tous ses éléments sont égaux à partir d'un certain rang et il est alors normal de s'intéresser au nombre d'éléments différents du point limite.
Convergence uniformeLa convergence uniforme d'une suite de fonctions est une forme de convergence plus exigeante que la convergence simple. La convergence devient uniforme quand toutes les suites avancent vers leur limite respective avec une sorte de « mouvement d'ensemble ». Dans le cas de fonctions numériques d'une variable, la notion prend une forme d'« évidence » géométrique : le graphe de la fonction f se « rapproche » de celui de la limite. Soient X un ensemble, (Y, d) un espace métrique, et A un sous-ensemble de X.
Convergence simpleEn mathématiques, la convergence simple ou ponctuelle est une notion de convergence dans un espace fonctionnel, c’est-à-dire dans un ensemble de fonctions entre deux espaces topologiques. C'est une définition peu exigeante : elle est plus facile à établir que d'autres formes de convergence, notamment la convergence uniforme. Le passage à la limite possède donc moins de propriétés : une suite de fonctions continues peut ainsi converger simplement vers une fonction qui ne l'est pas.
Démonstration (logique et mathématiques)vignette| : un des plus vieux fragments des Éléments d'Euclide qui montre une démonstration mathématique. En mathématiques et en logique, une démonstration est un ensemble structuré d'étapes correctes de raisonnement. Dans une démonstration, chaque étape est soit un axiome (un fait acquis), soit l'application d'une règle qui permet d'affirmer qu'une proposition, la conclusion, est une conséquence logique d'une ou plusieurs autres propositions, les prémisses de la règle.
Théorie de la démonstrationLa théorie de la démonstration, aussi connue sous le nom de théorie de la preuve (de l'anglais proof theory), est une branche de la logique mathématique. Elle a été fondée par David Hilbert au début du . Hilbert a proposé cette nouvelle discipline mathématique lors de son célèbre exposé au congrès international des mathématiciens en 1900 avec pour objectif de démontrer la cohérence des mathématiques.
Intégration par partiesEn mathématiques, l'intégration par parties (parfois abrégée en IPP) est une méthode qui permet de transformer l'intégrale d'un produit de fonctions en d'autres intégrales. Elle est fréquemment utilisée pour calculer une intégrale (ou une primitive) d'un produit de fonctions. Cette formule peut être considérée comme une version intégrale de la règle du produit. Le mathématicien Brook Taylor a découvert l'intégration par parties, publiant d'abord l'idée en 1715.
Proof by contradictionIn logic, proof by contradiction is a form of proof that establishes the truth or the validity of a proposition, by showing that assuming the proposition to be false leads to a contradiction. Although it is quite freely used in mathematical proofs, not every school of mathematical thought accepts this kind of nonconstructive proof as universally valid. More broadly, proof by contradiction is any form of argument that establishes a statement by arriving at a contradiction, even when the initial assumption is not the negation of the statement to be proved.
