Cercles d'ApolloniusEn géométrie, le nom de cercles d'Apollonius a été donné à plusieurs configurations différentes. Apollonius de Perge propose de définir le cercle comme l'ensemble des points M du plan pour lesquels le rapport des distances MA/MB reste constant, les points A et B étant donnés. vignette|300x300px Démonstration du fait que ce lieu géométrique est bien un cercle, et construction de ce cercle : Solution sur (AB) : si k = 1, MA=k MB a une unique solution sur (AB) : le milieu de [AB].
ValuationEn mathématiques, plus particulièrement en géométrie algébrique et en théorie des nombres, une valuation, ou valuation de Krull, est une mesure de la multiplicité. La notion est une généralisation de la notion de degré ou d'ordre d'annulation d'un polynôme formel en algèbre, du degré de divisibilité par un nombre premier en théorie des nombres, de l'ordre d'un pôle en analyse complexe ou du nombre de points de contact entre deux variétés algébriques en géométrie algébrique.
Catégorie des groupes abéliensEn mathématiques, la catégorie des groupes abéliens est une construction qui rend compte abstraitement des propriétés observées en algèbre dans l'étude des groupes abéliens. La catégorie des groupes abéliens est la catégorie Ab définie ainsi : Les objets sont les groupes abéliens ; Les morphismes entre objets sont les morphismes de groupes. C'est donc une sous-catégorie pleine de la catégorie Grp des groupes. La catégorie des groupes abéliens s'identifie à la catégorie des modules sur : La catégorie Ab est monoïdale, et permet donc de définir une structure enrichie.
Groupe abélien libreEn mathématiques, un groupe abélien libre est un groupe abélien qui possède une base, c'est-à-dire une partie B telle que tout élément du groupe s'écrive de façon unique comme combinaison linéaire à coefficients entiers (relatifs) d'éléments de B. Comme les espaces vectoriels, les groupes abéliens libres sont classifiés (à isomorphisme près) par leur rang, défini comme le cardinal d'une base, et tout sous-groupe d'un groupe abélien libre est lui-même abélien libre.
Circles of ApolloniusThe circles of Apollonius are any of several sets of circles associated with Apollonius of Perga, a renowned Greek geometer. Most of these circles are found in planar Euclidean geometry, but analogs have been defined on other surfaces; for example, counterparts on the surface of a sphere can be defined through stereographic projection. The main uses of this term are fivefold: Apollonius showed that a circle can be defined as the set of points in a plane that have a specified ratio of distances to two fixed points, known as foci.
Cercles d'ArchimèdeEn géométrie, les cercles d’Archimède sont deux cercles de même aire construits à l’intérieur d’un arbelos. Ils apparaissent dans le Livre des lemmes, attribué à l’époque médiévale au mathématicien grec Archimède, d’où leur nom. thumb|upright=1.5|Cercles jumeaux d'Archimède avec le plus petit cercle les contenant On considère un arbelos formé par un demi-cercle de diamètre [AB] ,et deux demi-cercles de diamètres [AM] et [MB] (M étant un point du segment [AB]). Le segment [MC] est la demi-corde perpendiculaire à (AB) passant par M.
Discriminant d'un corps de nombresdroite|vignette|upright=1.6|Un domaine fondamental de l'anneau des entiers du corps K obtenu à partir de en adjoignant une racine de . Ce domaine fondamental se trouve à l'intérieur de . Le discriminant de K est 49 = 7. En conséquence, le volume du domaine fondamental est 7 et K n'est ramifié qu'en 7. En mathématiques, le discriminant d'un corps de nombres est un invariant numérique qui, moralement, mesure la taille de l'anneau des entiers de ce corps de nombres.
Variété abélienneEn mathématiques, et en particulier, en géométrie algébrique et géométrie complexe, une variété abélienne A est une variété algébrique projective qui est un groupe algébrique. La condition de est l'équivalent de la compacité pour les variétés différentielles ou analytiques, et donne une certaine rigidité à la structure. C'est un objet central en géométrie arithmétique. Une variété abélienne sur un corps k est un groupe algébrique A sur k, dont la variété algébrique sous-jacente est projective, connexe et géométriquement réduite.
Tangente à un cercleEn géométrie plane euclidienne, une tangente au cercle est une droite qui touche un cercle en un point unique, sans passer par l'intérieur du cercle. Les droites tangents aux cercles sont le sujet de nombreux théorèmes, et apparaissent dans de nombreuses constructions à la règle et au compas et des preuves. Une propriété souvent utilisée dans ces théorèmes est que la tangente en un point du cercle est orthogonale au rayon du cercle passant par le point de contact.
Groupe divisibleEn mathématiques, et plus particulièrement en théorie des groupes, un groupe abélien divisible est un groupe abélien G tel que, pour tout nombre naturel n ≥ 1, on ait (en notation additive) G = nG. Ceci revient à dire que pour tout élément x de G et tout nombre naturel n ≥ 1, il existe au moins un élément y de G tel que x = ny. On peut étendre cette définition aux groupes non abéliens, un groupe divisible étant un groupe dans lequel (en notation multiplicative) tout élément est n-ième puissance, quel que soit l'entier naturel n ≥ 1.
Élément conjuguéEn mathématiques, les éléments conjugués d'un élément algébrique x sur un corps K sont les racines de son polynôme minimal sur K, dans une extension L de K où ce polynôme est scindé. De façon équivalente, les conjugués de x sont les images de x par les automorphismes de L/K. Si α est un élément de K, son polynôme minimal sur K est X – α donc son seul conjugué sur K est lui-même. Si α = a + ib est un nombre complexe non réel, c'est-à-dire si sa partie imaginaire b est non nulle, alors son polynôme minimal sur R est (X – α)(X – ) = X – 2aX + a+b donc ses conjugués sur R sont α lui-même et son nombre complexe conjugué .
Credible intervalIn Bayesian statistics, a credible interval is an interval within which an unobserved parameter value falls with a particular probability. It is an interval in the domain of a posterior probability distribution or a predictive distribution. The generalisation to multivariate problems is the credible region. Credible intervals are analogous to confidence intervals and confidence regions in frequentist statistics, although they differ on a philosophical basis: Bayesian intervals treat their bounds as fixed and the estimated parameter as a random variable, whereas frequentist confidence intervals treat their bounds as random variables and the parameter as a fixed value.
