Moyenne géométriqueEn mathématiques, la moyenne géométrique est un type de moyenne. La moyenne géométrique de deux nombres positifs a et b est le nombre positif c tel que : Cette égalité étant une proportion, ceci justifie l'autre appellation « moyenne proportionnelle » de la moyenne géométrique. vignette|La moyenne géométrique des côtés d'un rectangle est donnée par un carré de même aire. Elle est construite par un cercle tangent aux deux cercles définis par les côtés du rectangle et les séparant.
Construction à la règle et au compasEuclide a fondé sa géométrie sur un système d'axiomes qui assure en particulier qu'il est toujours possible de tracer une droite passant par deux points donnés et qu'il est toujours possible de tracer un cercle de centre donné et passant par un point donné. La géométrie euclidienne est donc la géométrie des droites et des cercles, donc de la règle (non graduée) et du compas. L'intuition d'Euclide était que tout nombre pouvait être construit, ou « obtenu », à l'aide de ces deux instruments.
Inégalité arithmético-géométriquethumb|right|Preuve sans mots de l'inégalité arithmético-géométrique en deux dimensions : PR est un diamètre d'un cercle de centre O ; son rayon AO a donc pour longueur la moyenne arithmétique de a et b. Par le théorème de la moyenne géométrique, on trouve aussi que la hauteur GQ a pour longueur la moyenne géométrique de a et b. On a donc bien pour tous a:b, AO ≥ GQ. En mathématiques, l'inégalité arithmético-géométrique (IAG) établit un lien entre la moyenne arithmétique et la moyenne géométrique.
Constructionvignette|upright|Les grues sont essentielles pour des travaux importants tels que les gratte-ciel. La construction est le fait d'assembler différents éléments d'un édifice en utilisant des matériaux et des techniques appropriées. Le secteur économique de la construction, appelé « bâtiment et travaux publics » (BTP) dans une partie de l'Europe francophone, regroupe toutes les activités de conception et de construction des bâtiments publics et privés, industriels ou non, et des infrastructures telles que les routes ou les canalisations.
Construction managementConstruction management (CM) is a professional service that uses specialized, project management techniques and software to oversee the planning, design, construction and closeout of a project. The purpose of construction management is to control the quality of a project's scope, time / delivery and cost—sometimes referred to as a project management triangle or "triple constraints." CM is compatible with all project delivery systems, including design-bid-build, design-build, CM At-Risk and Public Private Partnerships.
Trisection de l'angleLa trisection de l'angle est un problème classique de mathématiques. C'est un problème géométrique, faisant partie des trois grands problèmes de l'Antiquité, avec la quadrature du cercle et la duplication du cube. Ce problème consiste à diviser un angle en trois parties égales, à l'aide d'une règle et d'un compas. Sous cette forme, le problème (comme les deux autres) n'a pas de solution, ce qui fut démontré par Pierre-Laurent Wantzel en 1837.
Règle (instrument de géométrie)thumb|200px|Règles à mesurer Une règle (en Belgique le mot règle ne désigne que les modèles à section carrée ; les règles plates sont appelées lattes) est un instrument de géométrie, utilisé aussi pour le dessin industriel et la mesure de distances. À proprement parler, une règle sert à tracer des lignes droites. Une règle est généralement en bois, en métal, en plexiglas ou en matériel composite souple (règles Superflex). Elle peut être graduée ou non.
Moyenne arithmético-géométriqueLa moyenne arithmético-géométrique de deux réels positifs est une valeur intermédiaire obtenue comme limite de deux suites adjacentes satisfaisant une relation de récurrence qui reprend les formules de moyennes arithmétique et géométrique. La convergence quadratique de ces suites permet une approximation rapide de la moyenne arithmético-géométrique qui est notamment associée à la longueur d'une ellipse en fonction des longueurs de ses axes.
Construction engineeringConstruction engineering, also known as construction operations, is a professional subdiscipline of civil engineering that deals with the designing, planning, construction, and operations management of infrastructure such as roadways, tunnels, bridges, airports, railroads, facilities, buildings, dams, utilities and other projects. Construction engineers learn some of the design aspects similar to civil engineers as well as project management aspects.
Formule logiqueEn logique on dit d’une suite finie de lettres qu’elle est une formule, ou parfois formule bien formée, d'un langage logique donné lorsqu’elle peut être construite en appliquant une combinaison des règles de la grammaire formelle associée, on parle de la syntaxe du langage. Informellement les formules sont les assemblages de lettres auxquels il est possible de donner une signification en termes de valeur de vérité (Vrai, ou Faux). Les formules logiques sont l'équivalent des phrases du langage naturel.
Liste de corps d'étatCet article constitue une liste rassemblant selon les répartitions communément usitées les corps de métier dans le domaine du génie civil, communément désignés sous l'appellation collective de corps d'état. Il s'agit d'appellations couramment rencontrées dans les allotissements des marchés de travaux.
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 (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.
NeusisLa neusis (du grec ancien νεῦσις venant de νεύειν neuein « pencher vers »; pluriel : νεύσεις neuseis) est une méthode de construction géométrique utilisée dans l'Antiquité par les mathématiciens grecs dans des cas où les constructions à la règle et au compas étaient impossibles. La construction par neusis consiste à placer un segment de longueur fixée a entre deux courbes données l et m, de telle sorte que la droite support du segment passe par un point fixé P.
Duplication du cubevignette|upright=1.2|Un cube de volume unitaire (gauche) et un cube de volume 2 (droite).À partir de la figure de gauche, il est impossible de construire par les moyens géométriques traditionnels le cube de droite.|alt=croquis de 2 cubes En mathématiques, la duplication du cube, ou problème de Délos, est un problème géométrique classique faisant partie des trois grands problèmes de l'Antiquité, avec la quadrature du cercle et la trisection de l'angle. Il consiste à construire à la règle et au compas un cube de volume double de celui d'un cube donné.
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.
Moyenne d'ordre pEn mathématiques, la moyenne d'ordre p d'une famille de réels positifs, éventuellement pondérés, est une généralisation des moyennes arithmétique, géométrique et harmonique. Elle est également dite moyenne de Hölder, à cause de son lien avec la norme d'ordre p, ou norme de Hölder. Soit p un nombre réel non nul. On définit la moyenne d'ordre p des réels strictement positifs x, ...
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.
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.
Formule (mathématiques)En logique et en mathématiques, une formule est une suite finie d'objets, dotée de propriétés particulières qui rendent possible la syntaxe dans tous ces domaines. Étant donné un ensemble E et une fonction de poids p: E →N, une formule est un mot extrait de E obtenu par les deux règles de construction suivantes : un seul élément de E de poids 0 est une formule ; si t est un élément de poids n, pour toute suite de n formules F1, F2, ...., Fn, le mot concaténé tF1F2....Fn est une formule.
