Rotation du sous-espace invariant d’un endomorphisme symétrique de par une perturbation symétrique
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...
In the class of self-affine sets on ℝⁿ we study a subclass for which the geometry is rather tractable. A type is a standardized position of two intersecting pieces. For a self-affine tiling, this can be identified with an edge or vertex type. We assume that the number of types is finite. We study the topology of such fractals and their boundary sets, and we show how new finite type fractals can be constructed. For finite type self-affine tiles in the plane we give an algorithm which decides whether...