On the fixed point of a collineation of the real projective plane.
Jean-Marc Richard observed in [7] that maximal perimeter of a parallelogram inscribed in a given ellipse can be realized by a parallelogram with one vertex at any prescribed point of ellipse. Alain Connes and Don Zagier gave in [4] probably the most elementary proof of this property of ellipse. Another proof can be found in [1]. In this note we prove that closed, convex curves having circles as π/2-isoptics have the similar property.
Axiomatická metoda je považována za hlavní metodu, kterou je dnes matematika formalizována. Není však jedinou, navíc prošla v průběhu tisíciletí poměrně pestrým vývojem. V tomto příspěvku se pokusíme na základě charakterizace různých typů formalizace matematiky zařadit nejznámější pokusy o axiomatizaci eukleidovské geometrie, zejména Eukleidův, Hilbertův a Birkhoffův.
V článku budeme studovat třídu duálních simplexů v -rozměrném eukleidovském prostoru. Dokážeme, že tato třída je stejná jako třída tzv. dobře centrovaných simplexů. Dále ukážeme, že jisté přirozené konvergenční vlastnosti duálních trojúhelníků nelze přímo zobecnit do trojrozměrného prostoru. K tomuto účelu představíme rovnostěnné čtyřstěny, což je speciální podtřída dobře centrovaných čtyřstěnů.
Let CRCr denote an annulus formed by two non-concentric circles CR, Cr in the Euclidean plane. We prove that if Poncelet’s closure theorem holds for k-gons circuminscribed to CRCr, then there exist circles inside this annulus which satisfy Poncelet’s closure theorem together with Cr, with ngons for any n > k.
The goal of this article is to formalize Ceva’s theorem that is in the [8] on the web. Alongside with it formalizations of Routh’s, Menelaus’ and generalized form of Ceva’s theorem itself are provided.
Cet article est consacré à la géométrie véhiculée par les écrits d’architecture, en particulier les écrits italiens de la seconde moité du xvie siècle. Il explore le rôle central attribué aux instruments dans cette géométrie. De quelle façon s’insère-t-elle dans les multiples traditions mathématiques de la même époque ? Elle se nourrit de fait à la fois d’apports de la tradition savante, de celle des abacistes et de la géométrie pratique. On s’attachera à mettre en évidence, dans les propositions...