Choc élastiqueUn choc élastique est un choc entre deux corps qui n’entraîne pas de modification de leur état interne, notamment de leur masse. Dans un tel choc, l'énergie cinétique est conservée. La diffusion des corps, ponctuels ou non, à la suite d'un choc élastique dépend de la loi d'interaction qui intervient au moment du choc et de leur position réciproque pendant ce choc. Dans une diffusion élastique, la notion de section efficace apparaît dans l'étude de la dispersion des particules et les forces qui interviennent entre les particules incidentes peuvent ainsi être étudiées.
Collision inélastiqueUne collision inélastique est une collision au cours de laquelle l'énergie cinétique des corps qui entrent en collision est totalement ou en partie convertie en énergie interne dans au moins un des corps. Ainsi, l'énergie cinétique n'est pas conservée. La non-conservation de l'énergie cinétique peut dans le cas d'un choc de corps macroscopiques être due à une déformation des deux corps qui se heurtent : la déformation d'une boule de pâte à modeler heurtant une boule de pétanque, par exemple, consomme de l'énergie sous forme de travail.
CollisionUne collision est un choc direct entre deux objets. Un tel impact transmet une partie de l'énergie et de l'impulsion de l'un des corps au second. Collision élastique Les collisions élastiques, aussi appelées « chocs durs », se caractérisent par leur absence de perte d'énergie et de déformation. Elles sont impossibles à réaliser sauf au niveau atomique. La plupart du temps, on a donc des collisions quasi élastiques. Collision inélastique Les collisions inélastiques sont les collisions les plus fréquentes et surviennent lorsqu'il y a une perte d'énergie lors de la collision.
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.
Mathématiquesthumb|upright|Raisonnement mathématique sur un tableau. Les mathématiques (ou la mathématique) sont un ensemble de connaissances abstraites résultant de raisonnements logiques appliqués à des objets divers tels que les ensembles mathématiques, les nombres, les formes, les structures, les transformations ; ainsi qu'aux relations et opérations mathématiques qui existent entre ces objets. Elles sont aussi le domaine de recherche développant ces connaissances, ainsi que la discipline qui les enseigne.
ThéorèmeEn mathématiques et en logique, un théorème (du grec théorêma, objet digne d'étude) est une assertion qui est démontrée, c'est-à-dire établie comme vraie à partir d'autres assertions déjà démontrées (théorèmes ou autres formes d'assertions) ou des assertions acceptées comme vraies, appelées axiomes. Un théorème se démontre dans un système déductif et est une conséquence logique d'un système d'axiomes. En ce sens, il se distingue d'une loi scientifique, obtenue par l'expérimentation.
Théorèmes d'incomplétude de GödelLes théorèmes d'incomplétude de Gödel sont deux théorèmes célèbres de logique mathématique, publiés par Kurt Gödel en 1931 dans son article (« Sur les propositions formellement indécidables des Principia Mathematica et des systèmes apparentés »). Ils ont marqué un tournant dans l'histoire de la logique en apportant une réponse négative à la question de la démonstration de la cohérence des mathématiques posée plus de 20 ans auparavant par le programme de Hilbert.
Pendule (physique)En physique, le pendule est un système oscillant qui, écarté de sa position d'équilibre, y retourne en décrivant des oscillations, sous l'effet d'une force, par exemple le poids d'une masse. Le mot pendule (nom masculin), dû à Huygens, vient du latin pendere. Le pendule de Foucault est l'un des plus connus. Par ailleurs, le mot « pendule » est souvent utilisé en synonyme de « pendule simple », même si son mouvement n'est plus « pendulaire » (on parle ainsi de pendule conique).
Logique mathématiqueLa logique mathématique ou métamathématique est une discipline des mathématiques introduite à la fin du , qui s'est donné comme objet l'étude des mathématiques en tant que langage. Les objets fondamentaux de la logique mathématique sont les formules représentant les énoncés mathématiques, les dérivations ou démonstrations formelles représentant les raisonnements mathématiques et les sémantiques ou modèles ou interprétations dans des structures qui donnent un « sens » mathématique générique aux formules (et parfois même aux démonstrations) comme certains invariants : par exemple l'interprétation des formules du calcul des prédicats permet de leur affecter une valeur de vérité'.
Démonstration automatique de théorèmesLa démonstration automatique de théorèmes (DAT) est l'activité d'un logiciel qui démontre une proposition qu'on lui soumet, sans l'aide de l'utilisateur. Les démonstrateurs automatiques de théorème ont résolu des conjectures intéressantes difficiles à établir, certaines ayant échappé aux mathématiciens pendant longtemps ; c'est le cas, par exemple, de la , démontrée en 1996 par le logiciel EQP.
Beauté mathématiqueupright|droite|vignette|La frontière de l'ensemble de Mandelbrot. La beauté mathématique est un sentiment de beauté que certaines personnes ressentent face aux mathématiques. Certains mathématiciens recherchent dans leur travail ou dans les mathématiques en général, un plaisir esthétique. Ils expriment ce plaisir en décrivant de « belles » parties des mathématiques. Ils peuvent considérer les mathématiques comme un art ou comme une activité créative. Des comparaisons sont souvent faites avec la musique et la poésie.
Pendule doubleEn mécanique, on désigne par pendule double un pendule à l'extrémité duquel on accroche un autre pendule. Son évolution est généralement chaotique. vignette Le pendule est constitué de deux tiges de longueur et , de masse nulle et deux masses et . L'énergie cinétique vaut : où est l'angle par rapport à la verticale et la vitesse du pendule . L'énergie potentielle vaut : ( étant l'altitude de la masse ), ou Le lagrangien vaut donc : soit En appliquant les équations de Lagrange, on obtient les équations du mouvement : (1) vignette|Illustration de la sensibilité aux conditions initiales avec trois pendules doubles aux conditions de départ très proches.
Énergie cinétiqueEn physique, l' est l’énergie que possède un corps du fait de son mouvement dans un référentiel donné. L'énergie cinétique n'est pas un invariant galiléen, c'est-à-dire que sa valeur dépend du référentiel choisi. Son unité est le joule. L'énergie cinétique d'un point matériel dans un référentiel galiléen est égale au travaux des forces appliquées pour faire passer le point du repos à un mouvement. vignette|Les wagons des montagnes russes possèdent une énergie cinétique maximale en bas de leur parcours.
Mathematical objectA mathematical object is an abstract concept arising in mathematics. In the usual language of mathematics, an object is anything that has been (or could be) formally defined, and with which one may do deductive reasoning and mathematical proofs. Typically, a mathematical object can be a value that can be assigned to a variable, and therefore can be involved in formulas. Commonly encountered mathematical objects include numbers, sets, functions, expressions, geometric objects, transformations of other mathematical objects, and spaces.
Pendule simpleEn physique, le pendule simple est une masse ponctuelle fixée à l'extrémité d'un fil sans masse et inextensible, et oscillant sous l'effet de la pesanteur. Il s'agit du modèle de pendule pesant le plus simple. Il est parfois appelé pendule de gravité idéal et, par opposition, tout pendule de gravité réel est appelé pendule pesant composé. Par extension, on appelle aussi parfois pendule simple un dispositif dans lequel le fil inextensible est remplacé par une tige rigide de masse nulle pouvant tourner sans frottement dans un plan vertical autour de son extrémité fixe (liaison parfaite).
Pendule de Katerthumb|250px|Le pendule original de Kater, montrant son utilisation, d'après l'article original de 1818. La période d’oscillation du pendule était mesurée en la comparant à la pendule de précision (au second plan). On utilisait une mire de visée (à gauche) pour éviter l’erreur de parallaxe. Le pendule de Kater est un pendule réversible dont l'idée première revient à l'astronome, mathématicien et physicien wurtembergeois Johann Gottlieb Friedrich von Bohnenberger et que le physicien et officier britannique Henry Kater proposa d'utiliser comme gravimètre en 1817.
Calcul des variationsLe calcul des variations (ou calcul variationnel) est, en mathématiques et plus précisément en analyse fonctionnelle, un ensemble de méthodes permettant de minimiser une fonctionnelle. Celle-ci, qui est à valeurs réelles, dépend d'une fonction qui est l'inconnue du problème. Il s'agit donc d'un problème de minimisation dans un espace fonctionnel de dimension infinie. Le calcul des variations s'est développé depuis le milieu du jusqu'aujourd'hui ; son dernier avatar est la théorie de la commande optimale, datant de la fin des années 1950.
Conservation de l'énergieLa conservation de l'énergie est un principe physique, selon lequel l'énergie totale d'un système isolé est invariante au cours du temps. Ce principe, largement vérifié expérimentalement, est de première importance en physique, et impose que pour tout phénomène physique l'énergie totale initiale du système isolé soit égale à l'énergie totale finale, donc que de l'énergie passe d'une forme à une autre durant le déroulement du phénomène, sans création ni disparition d'énergie.
Travail d'une forceLe travail d'une force est l'énergie fournie par cette force lorsque son point d'application se déplace (l'objet subissant la force se déplace ou se déforme). Il est responsable de la variation de l'énergie cinétique du système qui subit cette force. Si par exemple on pousse une bicyclette, le travail de la poussée est l'énergie produite par cette poussée. Cette notion avec ce nom fut introduite par Gaspard-Gustave Coriolis. Le travail est exprimé en joules (J) dans le Système international.
Conservation de la masseLa conservation de la masse (ou de Lavoisier) est une loi fondamentale de la chimie et de la physique. Elle indique non seulement qu'au cours de toute expérience, y compris si elle implique une transformation chimique, la masse se conserve, mais aussi que le nombre d'éléments de chaque espèce chimique se conserve (cette loi ne s'applique pas à l'échelle nucléaire : voir défaut de masse). Comme toute loi de conservation elle s'exprime par une équation de conservation.
