{"id":6244,"date":"2023-07-12T19:51:45","date_gmt":"2023-07-12T15:51:45","guid":{"rendered":"http:\/\/curvica974.re\/?p=6244"},"modified":"2025-12-25T10:27:02","modified_gmt":"2025-12-25T06:27:02","slug":"rencontre-entre-les-plongements-de-dp-par-bachmann-et-kh-celui-du-modele-kb-klein-beltrami","status":"publish","type":"post","link":"https:\/\/curvica974.re\/?p=6244","title":{"rendered":"Rencontre entre les plongements de DP par Bachmann et KH, celui du mod\u00e8le  KB (Klein Beltrami)"},"content":{"rendered":"\n<p>La diff\u00e9rence entre <strong>KH<\/strong> et le plongement de <strong>DP<\/strong> (disque de Poincar\u00e9) au sens de Bachmann est seulement \u00e0 l&rsquo;int\u00e9rieur du cercle horizon. On peut en particulier appliquer des macros de <strong>KH<\/strong> sur les droites id\u00e9ales de Bachmann. C&rsquo;est ce que l&rsquo;on se propose de faire ici.<\/p>\n\n\n\n<p>Cet article comprend plusieurs parties diff\u00e9rentes. La premi\u00e8re est assez technique et peut \u00eatre zapp\u00e9e si on ne se sent pas concern\u00e9. Les suivantes correspondent bien \u00e0 ce que l&rsquo;on attend du titre.<\/p>\n\n\n\n<h2 class=\"wp-block-heading has-text-align-center\">Construction dynamique d&rsquo;une droite id\u00e9ale<br>propre dans le plongement de DP<\/h2>\n\n\n\n<p>Tout d&rsquo;abord, commen\u00e7ons par la construction d&rsquo;une droite id\u00e9ale dynamique, essentiellement \u00ab\u00a0propre\u00a0\u00bb. Comme cela est arriv\u00e9 \u00e0 diff\u00e9rents endroits de ce site &#8211; en particulier pour le mod\u00e8le non argu\u00e9sien de Hilbert &#8211; nous allons \u00e0 nouveau \u00eatre confront\u00e9 \u00e0 cette diff\u00e9rence qu&rsquo;il y a entre parler, d&rsquo;un point de vue th\u00e9orique, d&rsquo;une droite en g\u00e9n\u00e9ral, et aborder la construction de cette droite quand elle est d\u00e9finie par deux points.<\/p>\n\n\n\n<p>Dans cette section, il s&rsquo;agit de construire une droite id\u00e9ale &#8211; du plongement au sens de Bachmann &#8211;  pour le disque de Poincar\u00e9. Concr\u00e8tement, cette droite est, en g\u00e9n\u00e9ral une droite affine, sauf quand elle rencontre le cercle horizon du mod\u00e8le, c&rsquo;est alors <a rel=\"noreferrer noopener\" href=\"http:\/\/curvica974.re\/?page_id=5956\" data-type=\"URL\" data-id=\"http:\/\/curvica974.re\/?page_id=5956\" target=\"_blank\">la droite id\u00e9ale propre associ\u00e9e<\/a>. Voici les diff\u00e9rentes situations que l&rsquo;on veut aborder de mani\u00e8re dynamique. C&rsquo;est bien entendu le point 4 qui va focaliser notre attention.<\/p>\n\n\n<div class=\"wp-block-image\">\n<figure class=\"aligncenter size-large\"><img decoding=\"async\" width=\"1024\" height=\"652\" src=\"http:\/\/curvica974.re\/wp-content\/uploads\/2023\/07\/DI_Dyn_5illustr_Textes-1024x652.jpg\" alt=\"\" class=\"wp-image-6247\" srcset=\"https:\/\/curvica974.re\/wp-content\/uploads\/2023\/07\/DI_Dyn_5illustr_Textes-1024x652.jpg 1024w, https:\/\/curvica974.re\/wp-content\/uploads\/2023\/07\/DI_Dyn_5illustr_Textes-300x191.jpg 300w, https:\/\/curvica974.re\/wp-content\/uploads\/2023\/07\/DI_Dyn_5illustr_Textes-768x489.jpg 768w, https:\/\/curvica974.re\/wp-content\/uploads\/2023\/07\/DI_Dyn_5illustr_Textes.jpg 1347w\" sizes=\"(max-width: 1024px) 100vw, 1024px\" \/><\/figure><\/div>\n\n\n<p>Avant de poursuivre voici <strong>une figure manipulable d&rsquo;un triangle du plongement<\/strong><\/p>\n\n\n<p><center><iframe src=\"https:\/\/www.dgpad.net\/responsive.php?url=https:\/\/drive.google.com\/file\/d\/18-WecLX-J8m90LuIJEA6-QsL-Y7zpubo\/view?usp=drive_link\" style=\"width:680px;height:500px;border-style:solid;border-width:1px;box-shadow: 6px 6px 3px #888888;\"><\/iframe><\/center><\/p>\n\n\n\n<p class=\"has-text-align-center has-small-font-size\"><em>D\u00e9placer les trois sommets \\(A, B, C\\) pour rencontrer les diff\u00e9rents cas illustr\u00e9s ci-dessus.<\/em><\/p>\n\n\n\n<p>Comme ce fut le cas pour <a href=\"http:\/\/curvica974.re\/?p=3943\" data-type=\"URL\" data-id=\"http:\/\/curvica974.re\/?p=3943\" target=\"_blank\" rel=\"noreferrer noopener\">les perpendiculaires du mod\u00e8le de Moulton<\/a>, ou ensuite, <a href=\"https:\/\/curvica974.re\/?p=7083\" target=\"_blank\" rel=\"noreferrer noopener\">la construction alg\u00e9brique des droites de Hilbert<\/a>, cette premi\u00e8re section est aussi une m\u00e9morisation personnelle, sauvegard\u00e9e ainsi en ligne, des d\u00e9marches utilis\u00e9es pour r\u00e9aliser cette droite id\u00e9ale g\u00e9n\u00e9rale. Mais cela peut int\u00e9resser quelques lecteurs, soit autour de la pratique du logiciel, soit plus g\u00e9n\u00e9ralement, sur la probl\u00e9matique de traiter dans une m\u00eame proc\u00e9dure (une macro-construction), tous les cas pour rendre compte d&rsquo;un objet dynamique un peu complexe.<\/p>\n\n\n\n<p>Les lecteurs moins concern\u00e9s par ces aspects techniques iront directement \u00e0 la section suivante.<\/p>\n\n\n\n<p><strong>Le cas 1<\/strong><\/p>\n\n\n\n<p>La droite affine \\((AB)\\) est toujours construite, mais elle n&rsquo;est affich\u00e9e qui si elle ne coupe pas le cercle horizon, ce qui peut se traduire (illustration ci-dessous) par le fait qu&rsquo;elle est cach\u00e9e si et seulement si le point \\(P_{ee}\\) existe, ce qui donne l&rsquo;expression suivante :<\/p>\n\n\n<div class=\"wp-block-image\">\n<figure class=\"aligncenter size-full\"><img decoding=\"async\" width=\"591\" height=\"24\" src=\"http:\/\/curvica974.re\/wp-content\/uploads\/2023\/07\/Affiche_drt_AB.jpg\" alt=\"\" class=\"wp-image-6256\" srcset=\"https:\/\/curvica974.re\/wp-content\/uploads\/2023\/07\/Affiche_drt_AB.jpg 591w, https:\/\/curvica974.re\/wp-content\/uploads\/2023\/07\/Affiche_drt_AB-300x12.jpg 300w\" sizes=\"(max-width: 591px) 100vw, 591px\" \/><\/figure><\/div>\n\n\n<p>Pour que ce cas 1 soit trait\u00e9, il suffit que cette expression soit dans la macro-construction.<\/p>\n\n\n\n<p><strong>Les cas 2 et 3<\/strong><\/p>\n\n\n\n<p>Ce sont encore des cas triviaux d\u00e9j\u00e0 rencontr\u00e9s dans les constructions pr\u00e9c\u00e9dentes.<\/p>\n\n\n<div class=\"wp-block-image\">\n<figure class=\"aligncenter size-full\"><img decoding=\"async\" width=\"1000\" height=\"380\" src=\"http:\/\/curvica974.re\/wp-content\/uploads\/2023\/07\/Illustr-Cas-2-et-3.jpg\" alt=\"\" class=\"wp-image-6254\" srcset=\"https:\/\/curvica974.re\/wp-content\/uploads\/2023\/07\/Illustr-Cas-2-et-3.jpg 1000w, https:\/\/curvica974.re\/wp-content\/uploads\/2023\/07\/Illustr-Cas-2-et-3-300x114.jpg 300w, https:\/\/curvica974.re\/wp-content\/uploads\/2023\/07\/Illustr-Cas-2-et-3-768x292.jpg 768w\" sizes=\"(max-width: 1000px) 100vw, 1000px\" \/><\/figure><\/div>\n\n\n<p>Dans le cas 2, la droite affine \\((AB)\\) coupe l&rsquo;horizon en \\(P_{ee}\\) et \\(Q_{ee}\\). On construit aussi le point \\(I_{ee}\\) par lequel passe la droite id\u00e9ale propre : l&rsquo;arc de cercle \\(P_{ee}I_{ee}Q_{ee}\\) est une droite hyperbolique du mod\u00e8le <strong>DP<\/strong>.<\/p>\n\n\n\n<p>Dans le cas 3, \\(A\\) et \\(B\\) sont \u00e0 l&rsquo;int\u00e9rieur du cercle horizon \\(Hz\\), la droite hyperbolique associ\u00e9e passe par les point id\u00e9aux du mod\u00e8le \\(P_{ii}\\) et \\(Q_{ii}\\). Il n&rsquo;y a pas de point \\(I_{ii}\\) car on prendra (plus loin) le point \\(A\\).<\/p>\n\n\n\n<p><strong>Le cas 4<\/strong> <strong>&#8211; principe de construction<\/strong><\/p>\n\n\n\n<p>Commen\u00e7ons par voir le principe de construction quand \\(B\\) est \u00e0 l&rsquo;ext\u00e9rieur du cercle et \\(A\\) \u00e0 l&rsquo;int\u00e9rieur. On veut construire le cercle de centre \\(Ctr_{AB}\\) passant par \\(A\\). La droite \\((AB)\\) est l&rsquo;axe radical de ce cercle et du cercle horizon. Et la puissance de \\(B\\) pour ces deux cercles est \\(d(B,OHz)^2-Hz^2\\).<\/p>\n\n\n<div class=\"wp-block-image\">\n<figure class=\"aligncenter size-full\"><img decoding=\"async\" width=\"642\" height=\"566\" src=\"http:\/\/curvica974.re\/wp-content\/uploads\/2023\/07\/Cas4-Intro-Petit.jpg\" alt=\"\" class=\"wp-image-6257\" srcset=\"https:\/\/curvica974.re\/wp-content\/uploads\/2023\/07\/Cas4-Intro-Petit.jpg 642w, https:\/\/curvica974.re\/wp-content\/uploads\/2023\/07\/Cas4-Intro-Petit-300x264.jpg 300w\" sizes=\"(max-width: 642px) 100vw, 642px\" \/><\/figure><\/div>\n\n\n<p class=\"has-text-align-center has-small-font-size\"><em>Principe (statique) de la construction<\/em><\/p>\n\n\n\n<p>Or on a la <em>formule de la m\u00e9diane<\/em> : \\(MA^2-MB^2=2\\overrightarrow{AB}.\\overrightarrow{IM}\\) o\u00f9 \\(I\\) est le milieu de \\(A\\) et \\(B\\).<\/p>\n\n\n\n<p>La ligne de niveau associ\u00e9e est la perpendiculaire \u00e0 \\((AB)\\) passant par le point \\(k_{AB}\\) d\u00e9fini par la formule de la m\u00e9diane. Le centre \\(Ctr_{AB}\\) du cercle cherch\u00e9 est \u00e0 la fois sur cette ligne de niveau (marron ci-dessus) et sur la m\u00e9diatrice (verte) de \\(A\\) et de son inverse \\(invA\\) par rapport au cercle horizon &#8211; pour \u00eatre le centre d&rsquo;une droite hyperbolique de <strong>DP<\/strong>.<\/p>\n\n\n\n<p>Sur l&rsquo;illustration ci-dessus \\(k_{AB}\\) est une intersection (celle du c\u00f4t\u00e9 de \\(A\\)) de la droite \\((AB)\\) et du cercle de centre \\(m_{AB}\\), milieu de \\(A\\) et \\(B\\), et de rayon \\(R_{sol}\\) donn\u00e9 par la formule de la m\u00e9diane. C&rsquo;est en ce sens que cette construction est statique car elle ne convient que si \\(B\\) est le point ext\u00e9rieur au cercle et \\(A\\) int\u00e9rieur. On construit ensuite le point \\(I_{ie}\\) comme intersection du cercle et de la demi-droite \\([Ctr_{AB}k_{AB})\\), troisi\u00e8me point de d\u00e9finition de l&rsquo;arc cherch\u00e9.<\/p>\n\n\n\n<p><strong>Le cas 4 &#8211; version dynamique<\/strong><\/p>\n\n\n\n<p>Il faut donc rendre cela dynamique. On remplace le point \\(k_{AB}\\) par une combinaison lin\u00e9aire logique entre les deux points, intersections du cercle de centre \\(m_{AB}\\) et de rayon \\(R_{sol}\\) adapt\u00e9 (voir plus bas) avec \\((AB)\\). Ce sont les points \\(Kaext\\) et \\(Kbext\\).<\/p>\n\n\n<div class=\"wp-block-image\">\n<figure class=\"aligncenter size-full\"><img decoding=\"async\" width=\"631\" height=\"545\" src=\"http:\/\/curvica974.re\/wp-content\/uploads\/2023\/07\/kAB_version_dynamique.jpg\" alt=\"\" class=\"wp-image-6260\" srcset=\"https:\/\/curvica974.re\/wp-content\/uploads\/2023\/07\/kAB_version_dynamique.jpg 631w, https:\/\/curvica974.re\/wp-content\/uploads\/2023\/07\/kAB_version_dynamique-300x259.jpg 300w\" sizes=\"(max-width: 631px) 100vw, 631px\" \/><\/figure><\/div>\n\n\n<p>Le centre \\(Ctr_{AB}\\) est sur la perpendiculaire \u00e0 \\((AB)\\) en ce point bool\u00e9en \\(k_{AB}\\) et sur une des deux m\u00e9diatrices, soit de \\([A \\; invA]\\) (ci-dessus), soit de \\([B \\; invB]\\), comme ci-dessous :<\/p>\n\n\n<div class=\"wp-block-image\">\n<figure class=\"aligncenter size-full\"><img decoding=\"async\" width=\"673\" height=\"372\" src=\"http:\/\/curvica974.re\/wp-content\/uploads\/2023\/07\/Cas-CtrAB-surB-interieur.jpg\" alt=\"\" class=\"wp-image-6261\" srcset=\"https:\/\/curvica974.re\/wp-content\/uploads\/2023\/07\/Cas-CtrAB-surB-interieur.jpg 673w, https:\/\/curvica974.re\/wp-content\/uploads\/2023\/07\/Cas-CtrAB-surB-interieur-300x166.jpg 300w\" sizes=\"(max-width: 673px) 100vw, 673px\" \/><\/figure><\/div>\n\n\n<p>Les points \\(Ctr_{AB}\\) , mais aussi \\(Pgene, Qgene, Igene\\) sont des points bool\u00e9ens. La construction n&rsquo;est pas toujours une combinaison lin\u00e9aire des diff\u00e9rents cas, car quand \\(Aext=Bext=1\\), les points \\(I_{ie}\\) ou \\(P_{ie}, Q_{ie}\\) peuvent ne pas exister. On modifie alors la combinaison lin\u00e9aire comme ceci  :<\/p>\n\n\n<div class=\"wp-block-image\">\n<figure class=\"aligncenter size-full\"><img decoding=\"async\" width=\"688\" height=\"275\" src=\"http:\/\/curvica974.re\/wp-content\/uploads\/2023\/07\/Calculs-dynamiques-adaptes.jpg\" alt=\"\" class=\"wp-image-6264\" srcset=\"https:\/\/curvica974.re\/wp-content\/uploads\/2023\/07\/Calculs-dynamiques-adaptes.jpg 688w, https:\/\/curvica974.re\/wp-content\/uploads\/2023\/07\/Calculs-dynamiques-adaptes-300x120.jpg 300w\" sizes=\"(max-width: 688px) 100vw, 688px\" \/><\/figure><\/div>\n\n\n<p>Cela ach\u00e8ve la construction, qu&rsquo;il suffit de transformer en macro (en n&rsquo;oubliant pas le cas 1, quand la droite id\u00e9ale impropre \\((AB)\\) est la droite affine \\((AB)\\).<\/p>\n\n\n\n<h2 class=\"wp-block-heading has-text-align-center\">Nouvelle application \u00e0 Pappus<\/h2>\n\n\n\n<p>On a d\u00e9j\u00e0 illustr\u00e9 plusieurs fois le th\u00e9or\u00e8me de Pappus, y compris dans une version absolue sur les pinceaux comme <a rel=\"noreferrer noopener\" href=\"http:\/\/curvica974.re\/?page_id=5743\" data-type=\"URL\" data-id=\"http:\/\/curvica974.re\/?page_id=5743\" target=\"_blank\">application de l&rsquo;antiappariement<\/a>. On revient sur une version du plongement projectif du disque de Poincar\u00e9 plus g\u00e9n\u00e9rale que celle propos\u00e9e ant\u00e9rieurement, en <a href=\"http:\/\/curvica974.re\/?page_id=5956\" data-type=\"URL\" data-id=\"http:\/\/curvica974.re\/?page_id=5956\" target=\"_blank\" rel=\"noreferrer noopener\">fin de cette page<\/a>.<\/p>\n\n\n\n<p>Dans cette figure les droites de base sont les droites \\((A_1A_2)\\) et \\((B_1B_2)\\). Cela signifie que les points \\(A_3\\) et \\(B_3\\) sont des points soit sur la droite affine associ\u00e9e soit sur la demi-droite (de droite) de la droite id\u00e9ale propre associ\u00e9e.<\/p>\n\n\n\n<p>On peut avoir les trois points d&rsquo;intersection &#8211; align\u00e9s &#8211; du th\u00e9or\u00e8me de Pappus, \\(I_1, I_2, I_3\\), \u00e0 l&rsquo;int\u00e9rieur ou \u00e0 l&rsquo;ext\u00e9rieur du cercle horizon comme ceci :<\/p>\n\n\n<div class=\"wp-block-image\">\n<figure class=\"aligncenter size-full\"><img decoding=\"async\" width=\"786\" height=\"524\" src=\"http:\/\/curvica974.re\/wp-content\/uploads\/2023\/07\/I1I2I3_exterieur.jpg\" alt=\"\" class=\"wp-image-6296\" srcset=\"https:\/\/curvica974.re\/wp-content\/uploads\/2023\/07\/I1I2I3_exterieur.jpg 786w, https:\/\/curvica974.re\/wp-content\/uploads\/2023\/07\/I1I2I3_exterieur-300x200.jpg 300w, https:\/\/curvica974.re\/wp-content\/uploads\/2023\/07\/I1I2I3_exterieur-768x512.jpg 768w, https:\/\/curvica974.re\/wp-content\/uploads\/2023\/07\/I1I2I3_exterieur-360x240.jpg 360w\" sizes=\"(max-width: 786px) 100vw, 786px\" \/><\/figure><\/div>\n\n\n<p>On peut aussi avoir \\(I_3\\) entre \\(I_1\\) et \\(I_2\\).<\/p>\n\n\n<div class=\"wp-block-image\">\n<figure class=\"aligncenter size-full\"><img decoding=\"async\" width=\"776\" height=\"522\" src=\"http:\/\/curvica974.re\/wp-content\/uploads\/2023\/07\/I3_entre_I1I2.jpg\" alt=\"\" class=\"wp-image-6297\" srcset=\"https:\/\/curvica974.re\/wp-content\/uploads\/2023\/07\/I3_entre_I1I2.jpg 776w, https:\/\/curvica974.re\/wp-content\/uploads\/2023\/07\/I3_entre_I1I2-300x202.jpg 300w, https:\/\/curvica974.re\/wp-content\/uploads\/2023\/07\/I3_entre_I1I2-768x517.jpg 768w\" sizes=\"(max-width: 776px) 100vw, 776px\" \/><\/figure><\/div>\n\n\n<p><strong>Manipulation de la figure<\/strong><\/p>\n\n\n\n<p>M\u00eame si beaucoup de situations sont trait\u00e9es, elles ne le sont pas toutes, en particulier quand \\(A_1\\) et \\(A_2\\) sont ext\u00e9rieurs au cercle horizon mais que la droite est une droite id\u00e9ale <em>propre<\/em> (ie coupe le cercle). D&rsquo;autres situations ne sont pas trait\u00e9es (explosion du nombre de cas par inversion des demi-droites constitutives des droites propres).<\/p>\n\n\n<p><center><iframe src=\"https:\/\/www.dgpad.net\/responsive.php?url=https:\/\/drive.google.com\/file\/d\/1K-5rmAwkuvZ7jA36qtiLv12RefBYkFA8\/view?usp=drive_link\" style=\"width:740px;height:500px;border-style:solid;border-width:1px;box-shadow: 6px 6px 3px #888888;\"><\/iframe><\/center><\/p>\n\n\n\n<p>Agir sur les 6 points bleus, en laissant \\(A_1\\) \u00e0 gauche, \\(A_3\\) \u00e0 droite et \\(A_2\\) entre les deux. De m\u00eame pour les points \\(B_1, \\, B_2, \\, B_3\\).<\/p>\n\n\n\n<p>Pr\u00e9f\u00e9rer ouvrir <a href=\"https:\/\/www.dgpad.net\/index.php?url=https:\/\/drive.google.com\/file\/d\/1cN7-82-09OUQlcGZsWo52cNctn6i6quY\/view?usp=drive_link\" data-type=\"URL\" data-id=\"https:\/\/www.dgpad.net\/index.php?url=http:\/\/curvica974.re\/FigSite\/Bachmann\/Pappus_Plongement_PlusGene.dgp\" target=\"_blank\" rel=\"noreferrer noopener\">cette figure<\/a> (plus grande) dans un nouvel onglet.<\/p>\n\n\n\n<h2 class=\"wp-block-heading has-text-align-center\">Les m\u00e9diatrices d&rsquo;un triangle <br>de points impropres dans ce plongement<\/h2>\n\n\n\n<p>On aborde d\u00e9sormais la construction de figures usuelles dans le plongement projectif de <strong>DP<\/strong>. Cela n&rsquo;apporte aucune information nouvelle, c&rsquo;est juste l&rsquo;occasion de quelques belles illustrations.<\/p>\n\n\n\n<p>On a vu dans <a rel=\"noreferrer noopener\" href=\"http:\/\/curvica974.re\/?page_id=6073\" data-type=\"URL\" data-id=\"http:\/\/curvica974.re\/?page_id=6073\" target=\"_blank\">la page sur la polarit\u00e9<\/a> que dans le cas du disque de Poincar\u00e9, l&rsquo;orthogonalit\u00e9 correspond \u00e0 la polarit\u00e9 par rapport au cercle horizon : c&rsquo;est donc la m\u00eame que dans <strong>KH<\/strong> comme pr\u00e9sent\u00e9 <a rel=\"noreferrer noopener\" href=\"http:\/\/curvica974.re\/?p=3658\" data-type=\"URL\" data-id=\"http:\/\/curvica974.re\/?p=3658\" target=\"_blank\">dans cette page.<\/a> On peut alors utiliser certaines macros de <strong>KH<\/strong> de cette m\u00eame page (en particulier la construction des milieux) pour les points que Bachmann a appel\u00e9 \u00ab\u00a0id\u00e9aux impropres\u00a0\u00bb c&rsquo;est-\u00e0-dire ext\u00e9rieurs au cercle horizon. On rappelle &#8211; revoir la page d&rsquo;intro \u00e0 <strong>KH<\/strong> &#8211; que deux points ont un milieu (et donc deux) que s&rsquo;ils sont tous les deux \u00e0 l&rsquo;int\u00e9rieur du cercle horizon (qui sert de cercle unit\u00e9 dans <strong>KH<\/strong>) ou tous les deux \u00e0 l&rsquo;ext\u00e9rieur. Bien entendu ce qui suit n&rsquo;a de sens que pour des points id\u00e9aux impropres (ext\u00e9rieurs).<\/p>\n\n\n\n<p>En fait la seule diff\u00e9rence entre les figures de <strong>KH<\/strong> et celles-ci r\u00e9sident dans le fait que le mod\u00e8le hyperbolique \u00e0 l&rsquo;int\u00e9rieur du cercle est celui du disque de Poincar\u00e9 et non pas celui du disque de Klein Beltrami. Donc ces figures n&rsquo;ont rien d&rsquo;essentiel, elles sont juste un divertissement.<\/p>\n\n\n\n<p><strong>\u00c9quivalence entre droites concourantes dans KH et dans DP<\/strong><\/p>\n\n\n\n<p>On a d\u00e9j\u00e0 cit\u00e9, dans la section \u00ab\u00a0cercles circonscrits\u00a0\u00bb de <a rel=\"noreferrer noopener\" href=\"http:\/\/curvica974.re\/?p=4590\" data-type=\"URL\" data-id=\"http:\/\/curvica974.re\/?p=4590\" target=\"_blank\">l&rsquo;article sur les cercles<\/a>, cette propri\u00e9t\u00e9 aussi \u00e9l\u00e9mentaire que fondamentale de la g\u00e9om\u00e9trie projective munie d&rsquo;une orthogonalit\u00e9 : trois points sont align\u00e9s <em>si et seulement si<\/em> leurs polaires sont concourantes. Et donc par dualit\u00e9 : trois droites sont concourantes ssi leurs p\u00f4les sont align\u00e9s (et ils le sont sur la polaire de leur intersection). Daniel Perrin pr\u00e9cise m\u00eame, au tout d\u00e9but de sa partie sur les GNE :<\/p>\n\n\n\n<blockquote class=\"wp-block-quote is-layout-flow wp-block-quote-is-layout-flow\">\n<p>Cette remarque utilise fondamentalement le fait que q est non d\u00e9g\u00e9n\u00e9r\u00e9e. Il n\u2019y a rien de tel sinon (notamment en euclidien). C\u2019est ce qui justifie que nous traitions s\u00e9par\u00e9ment le cas euclidien d\u2019une part et les cas elliptique et hyperbolique d\u2019autre part.<\/p>\n<cite>Partie 4 &#8211; page 27<br><\/cite><\/blockquote>\n\n\n\n<p>Dans l&rsquo;illustration suivante, les deux droites \\((AB)\\) et \\((CD)\\)sont s\u00e9cantes en \\(I\\). On construit une troisi\u00e8me droite \\((EI)\\) : on a donc trois droites concourantes en \\(I\\). On note \\(p_{XY}\\) le p\u00f4le de la droite \\((XY)\\). Ainsi les trois p\u00f4les \\(p_{AB}, \\; p_{CD}, \\; p_{EI}\\) sont align\u00e9s sur la polaire de \\(I\\).<\/p>\n\n\n<div class=\"wp-block-image\">\n<figure class=\"aligncenter size-full\"><img decoding=\"async\" width=\"593\" height=\"563\" src=\"http:\/\/curvica974.re\/wp-content\/uploads\/2023\/07\/Concours_KH_DP.jpg\" alt=\"\" class=\"wp-image-6280\" srcset=\"https:\/\/curvica974.re\/wp-content\/uploads\/2023\/07\/Concours_KH_DP.jpg 593w, https:\/\/curvica974.re\/wp-content\/uploads\/2023\/07\/Concours_KH_DP-300x285.jpg 300w\" sizes=\"(max-width: 593px) 100vw, 593px\" \/><\/figure><\/div>\n\n\n<p>Mais ces p\u00f4les sont aussi les centres euclidiens des droites hyperbolique de <strong>DP<\/strong> associ\u00e9es &#8211; ie ayant comme points id\u00e9aux (de <strong>DP<\/strong>) les intersections des droites projectives avec le cercle horizon. Or, dans le mod\u00e8le <strong>DP<\/strong>, le concourt de trois droites est \u00e9quivalent \u00e0 l&rsquo;alignement des centres euclidiens associ\u00e9s.<\/p>\n\n\n\n<p>Il n&rsquo;y a donc aucune surprise \u00e0 ce que si trois droites de <strong>KH<\/strong> sont concourantes, les droites id\u00e9ales propres \u00ab\u00a0de Bachmann\u00a0\u00bb associ\u00e9es ont leurs parties hyperboliques, (celles du cercle horizon) elles aussi concourantes.<\/p>\n\n\n\n<p><strong>Construction des m\u00e9diatrices<\/strong><\/p>\n\n\n\n<p>Pour construire les m\u00e9diatrices, on utilise la m\u00eame d\u00e9marche que l&rsquo;on a utilis\u00e9 pour les hauteurs du plongement, pr\u00e9sent\u00e9e aussi \u00e0 cette page sur <a rel=\"noreferrer noopener\" href=\"http:\/\/curvica974.re\/?page_id=6073\" data-type=\"URL\" data-id=\"http:\/\/curvica974.re\/?page_id=6073\" target=\"_blank\">la polarit\u00e9 du plongement<\/a>. On verra une cons\u00e9quence au paragraphe suivant.<\/p>\n\n\n\n<p>Dans les illustrations suivantes les droites du triangle sont en rouge, les m\u00e9diatrices passant par les premiers milieux, ceux \u00ab\u00a0euclidiennement entre les sommets\u00a0\u00bb sont en vert, les m\u00e9diatrices passant par les seconds milieux (indic\u00e9s 2) sont en bleu.<\/p>\n\n\n<div class=\"wp-block-image\">\n<figure class=\"aligncenter size-full\"><img decoding=\"async\" width=\"763\" height=\"657\" src=\"http:\/\/curvica974.re\/wp-content\/uploads\/2023\/07\/MediatricesPlongement01.jpg\" alt=\"\" class=\"wp-image-6272\" srcset=\"https:\/\/curvica974.re\/wp-content\/uploads\/2023\/07\/MediatricesPlongement01.jpg 763w, https:\/\/curvica974.re\/wp-content\/uploads\/2023\/07\/MediatricesPlongement01-300x258.jpg 300w\" sizes=\"(max-width: 763px) 100vw, 763px\" \/><\/figure><\/div>\n\n\n<p>On v\u00e9rifie que les m\u00e9diatrices sont concourantes par groupe de trois, les trois vertes ou deux bleues et une verte ( ce qui est trivial car elles le sont dans <strong>KH<\/strong>) et que dans <strong>DP<\/strong> elles sont bien deux \u00e0 deux orthogonales en leurs intersections &#8230; ce qui est aussi trivial car les milieux sont les centres euclidiens des droites hyperboliques associ\u00e9es : rien de nouveau juste une belle illustration donc.<\/p>\n\n\n\n<p>Voici deux autres illustrations<\/p>\n\n\n<div class=\"wp-block-image\">\n<figure class=\"aligncenter size-large\"><img decoding=\"async\" width=\"1024\" height=\"440\" src=\"http:\/\/curvica974.re\/wp-content\/uploads\/2023\/07\/MediatricesPlongement02-1024x440.jpg\" alt=\"\" class=\"wp-image-6273\" srcset=\"https:\/\/curvica974.re\/wp-content\/uploads\/2023\/07\/MediatricesPlongement02-1024x440.jpg 1024w, https:\/\/curvica974.re\/wp-content\/uploads\/2023\/07\/MediatricesPlongement02-300x129.jpg 300w, https:\/\/curvica974.re\/wp-content\/uploads\/2023\/07\/MediatricesPlongement02-768x330.jpg 768w, https:\/\/curvica974.re\/wp-content\/uploads\/2023\/07\/MediatricesPlongement02.jpg 1110w\" sizes=\"(max-width: 1024px) 100vw, 1024px\" \/><\/figure><\/div>\n\n\n<p class=\"has-text-align-center has-small-font-size\"><em>Cas o\u00f9 les trois m\u00e9diatrices vertes se coupent \u00e0 l&rsquo;int\u00e9rieur du cercle horizon<\/em> &#8230;<\/p>\n\n\n\n<figure class=\"wp-block-image size-full\"><img decoding=\"async\" width=\"603\" height=\"483\" src=\"http:\/\/curvica974.re\/wp-content\/uploads\/2023\/07\/MediatricesPlongement03.jpg\" alt=\"\" class=\"wp-image-6274\" srcset=\"https:\/\/curvica974.re\/wp-content\/uploads\/2023\/07\/MediatricesPlongement03.jpg 603w, https:\/\/curvica974.re\/wp-content\/uploads\/2023\/07\/MediatricesPlongement03-300x240.jpg 300w\" sizes=\"(max-width: 603px) 100vw, 603px\" \/><\/figure>\n\n\n\n<p class=\"has-text-align-center has-small-font-size\"><em>&#8230; et ici les trois autres points de concours sont des points id\u00e9aux impropres.<\/em><\/p>\n\n\n\n<p><strong>Mais bien entendu &#8230;<\/strong><\/p>\n\n\n\n<p>Si l&rsquo;un des <strong>KH<\/strong>-points \\(I, J\\) ou \\(K\\) sont dans <strong>DP<\/strong>, ils restent des <strong>KH<\/strong>-milieux, mais ne sont pas des <strong>DP<\/strong>-milieux, en particulier si deux sommets sont dans dans le disque horizon. On a bien le concourt des <strong>DP<\/strong>-droites, par construction m\u00eame des perpendiculaires, mais ce ne sont plus des m\u00e9diatrices &#8230; au sens o\u00f9 elles ne passent plus par les milieux.<\/p>\n\n\n<div class=\"wp-block-image\">\n<figure class=\"aligncenter size-full\"><img decoding=\"async\" width=\"552\" height=\"537\" src=\"http:\/\/curvica974.re\/wp-content\/uploads\/2023\/07\/CasJKdansDP.jpg\" alt=\"\" class=\"wp-image-6281\" srcset=\"https:\/\/curvica974.re\/wp-content\/uploads\/2023\/07\/CasJKdansDP.jpg 552w, https:\/\/curvica974.re\/wp-content\/uploads\/2023\/07\/CasJKdansDP-300x292.jpg 300w\" sizes=\"(max-width: 552px) 100vw, 552px\" \/><\/figure><\/div>\n\n\n<p class=\"has-text-align-center has-small-font-size\"><em>Les limites de la figure : elle n&rsquo;a de sens que pour les milieux \u00e0 l&rsquo;ext\u00e9rieur de l&rsquo;horizon<\/em><\/p>\n\n\n\n<p><strong>Manipulation de la figure<\/strong><\/p>\n\n\n<p><center><iframe src=\"https:\/\/www.dgpad.net\/responsive.php?url=https:\/\/drive.google.com\/file\/d\/1waywHfqi5BkkPddiDPiu0XzMuupw7okx\/view?usp=drive_link\" style=\"width:740px;height:600px;border-style:solid;border-width:1px;box-shadow: 6px 6px 3px #888888;\"><\/iframe><\/center><\/p>\n\n\n\n<p class=\"has-text-align-center has-small-font-size\"><em>On peut d\u00e9placer la figure en translation par un simple clic-glisser <\/em><br><em>et faire un zoom si n\u00e9cessaire par deux doigts sur le trackpad (ou sur l&rsquo;\u00e9cran d&rsquo;une tablette).<br>Agir sur le centre du cercle son rayon et le sommets du triangle.<\/em><\/p>\n\n\n\n<p>Pr\u00e9f\u00e9rer <a href=\"https:\/\/www.dgpad.net\/index.php?url=https:\/\/drive.google.com\/file\/d\/1MPFBajtjbTCF48F-XEQ1DAYhcd6KYtx0\/view?usp=drive_link\" data-type=\"URL\" data-id=\"https:\/\/www.dgpad.net\/index.php?url=http:\/\/curvica974.re\/FigSite\/Bachmann\/KH_Mediatrices_plongement.dgp\" target=\"_blank\" rel=\"noreferrer noopener\">ouvrir cette figure<\/a> (plus grande) dans un nouvel onglet.<\/p>\n\n\n\n<h2 class=\"wp-block-heading has-text-align-center\">Cas des m\u00e9dianes<\/h2>\n\n\n\n<p>On adapte la figure pr\u00e9c\u00e9dente aux m\u00e9dianes, avec les m\u00eames contraintes de sens de la figure.<\/p>\n\n\n<div class=\"wp-block-image\">\n<figure class=\"aligncenter size-full\"><img decoding=\"async\" width=\"716\" height=\"614\" src=\"http:\/\/curvica974.re\/wp-content\/uploads\/2023\/07\/MedianesPlongement2.jpg\" alt=\"\" class=\"wp-image-6288\" srcset=\"https:\/\/curvica974.re\/wp-content\/uploads\/2023\/07\/MedianesPlongement2.jpg 716w, https:\/\/curvica974.re\/wp-content\/uploads\/2023\/07\/MedianesPlongement2-300x257.jpg 300w\" sizes=\"(max-width: 716px) 100vw, 716px\" \/><\/figure><\/div>\n\n\n<p class=\"has-text-align-center has-small-font-size\"><em>Il faut un petit cercle horizon pour voir les 6 milieux des trois points et voir les 4 intersections de m\u00e9dianes<\/em><br><em>(ici trois KH-intersections et une DP-intersection)<\/em><\/p>\n\n\n\n<p>Ouvrir <a href=\"https:\/\/www.dgpad.net\/index.php?url=https:\/\/drive.google.com\/file\/d\/1WCrD1e5nDuWFBQyKMxOYutVMHmpK6-tP\/view?usp=drive_link\" data-type=\"URL\" data-id=\"https:\/\/www.dgpad.net\/index.php?url=http:\/\/curvica974.re\/FigSite\/Bachmann\/KH_DP_Medianes_Plongement.dgp\" target=\"_blank\" rel=\"noreferrer noopener\">cette figure<\/a> dans un nouvel onglet (avec les m\u00eame consignes que ci-dessus)<\/p>\n\n\n\n<h2 class=\"wp-block-heading has-text-align-center\">Cas des bissectrices<\/h2>\n\n\n\n<p>On rappelle que les bissectrices d&rsquo;un couple de droite n&rsquo;existent dans <strong>KH<\/strong> que si les deux droites coupent, ou ne coupent pas, simultan\u00e9ment, le cercle horizon. Ainsi on a souvent cette situation \u00e0 une seule bissectrice (on ne construit ici que les bissectrices \u00ab\u00a0int\u00e9rieures\u00a0\u00bb) :<\/p>\n\n\n<div class=\"wp-block-image\">\n<figure class=\"aligncenter size-full\"><img decoding=\"async\" width=\"395\" height=\"431\" src=\"http:\/\/curvica974.re\/wp-content\/uploads\/2023\/07\/Cas1seuleBiss.jpg\" alt=\"\" class=\"wp-image-6290\" srcset=\"https:\/\/curvica974.re\/wp-content\/uploads\/2023\/07\/Cas1seuleBiss.jpg 395w, https:\/\/curvica974.re\/wp-content\/uploads\/2023\/07\/Cas1seuleBiss-275x300.jpg 275w\" sizes=\"(max-width: 395px) 100vw, 395px\" \/><\/figure><\/div>\n\n\n<p class=\"has-text-align-center has-small-font-size\"> <em>Bissectrice de deux droite id\u00e9ales propres. <\/em><br><em>Pas de bissectrice en une droite id\u00e9ale (g\u00e9n\u00e9rale) et une droite id\u00e9ale propre<\/em><\/p>\n\n\n\n<p>Dans le cas de trois droites id\u00e9ales propres, on a les trois bissectrices et leur <strong>DP<\/strong>-intersection est bien le centre du cercle inscrit aux droites id\u00e9ales propres comme ci-dessous &#8230; quand les trois sommets sont des points id\u00e9aux impropres (ext\u00e9rieurs au cercle horizon). C&rsquo;est, en fait, une autre lecture des <strong>DP<\/strong>-bissectrices \\((b_1, b_2, b_3)\\) d&rsquo;un <strong>DP<\/strong>-trilat\u00e8re \\((a, b, c)\\) et de leurs plongements, not\u00e9s dans la page sur <a rel=\"noreferrer noopener\" href=\"http:\/\/curvica974.re\/?page_id=5956\" data-type=\"URL\" data-id=\"http:\/\/curvica974.re\/?page_id=5956\" target=\"_blank\">les droites id\u00e9ales<\/a> \\(g(b_1), g(b_2), g(b_3)\\) et \\(g(a), g(b), g(c)\\).<\/p>\n\n\n<div class=\"wp-block-image\">\n<figure class=\"aligncenter size-full\"><img decoding=\"async\" width=\"373\" height=\"404\" src=\"http:\/\/curvica974.re\/wp-content\/uploads\/2023\/07\/KH_DP_Bissectrices.jpg\" alt=\"\" class=\"wp-image-6292\" srcset=\"https:\/\/curvica974.re\/wp-content\/uploads\/2023\/07\/KH_DP_Bissectrices.jpg 373w, https:\/\/curvica974.re\/wp-content\/uploads\/2023\/07\/KH_DP_Bissectrices-277x300.jpg 277w\" sizes=\"(max-width: 373px) 100vw, 373px\" \/><\/figure><\/div>\n\n\n<p class=\"has-text-align-center has-small-font-size\"><em>Cette figure n&rsquo;a de sens que pour les trois sommets ext\u00e9rieurs au cercles, sinon, <br>par construction la droite issue d&rsquo;un sommet n&rsquo;est plus la bissectrice comme ci-dessous<\/em> <em>en \\(C\\)<\/em>.<\/p>\n\n\n<div class=\"wp-block-image\">\n<figure class=\"aligncenter size-full\"><img decoding=\"async\" width=\"568\" height=\"561\" src=\"http:\/\/curvica974.re\/wp-content\/uploads\/2023\/07\/KH_DP_BissectricesPasOK.jpg\" alt=\"\" class=\"wp-image-6293\" srcset=\"https:\/\/curvica974.re\/wp-content\/uploads\/2023\/07\/KH_DP_BissectricesPasOK.jpg 568w, https:\/\/curvica974.re\/wp-content\/uploads\/2023\/07\/KH_DP_BissectricesPasOK-300x296.jpg 300w\" sizes=\"(max-width: 568px) 100vw, 568px\" \/><\/figure><\/div>\n\n\n<p>En effet, les bissectrices de deux droites sont les m\u00e9diatrices de leurs p\u00f4les (derni\u00e8re section de <a href=\"http:\/\/curvica974.re\/?p=3658\" data-type=\"URL\" data-id=\"http:\/\/curvica974.re\/?p=3658\" target=\"_blank\" rel=\"noreferrer noopener\">cette page<\/a>) et par construction de cette droite, passant par \\(C\\) dans <strong>DP<\/strong>, elle n&rsquo;est plus la <strong>KH<\/strong>-bissectrice : cette figure n&rsquo;a de sens que pour les trois sommets \\(A, B, C\\) points id\u00e9aux impropres du plongement de Bachmann.<\/p>\n\n\n\n<p>Ouvrir <a href=\"https:\/\/www.dgpad.net\/index.php?url=https:\/\/drive.google.com\/file\/d\/1WWbPa0pgsunI1SsQ_lNrNU6KivndCUJu\/view?usp=drive_link\" data-type=\"URL\" data-id=\"https:\/\/www.dgpad.net\/index.php?url=http:\/\/curvica974.re\/FigSite\/Bachmann\/KH_DP_Bissectrices.dgp\" target=\"_blank\" rel=\"noreferrer noopener\">cette figure<\/a> dans un nouvel onglet (sans l&rsquo;ajout du segment explicatif orange ci-dessus)<\/p>\n","protected":false},"excerpt":{"rendered":"<p>La diff\u00e9rence entre KH et le plongement de DP (disque de Poincar\u00e9) au sens de Bachmann est seulement \u00e0 l&rsquo;int\u00e9rieur du cercle horizon. On peut en particulier appliquer des macros de KH sur les droites id\u00e9ales de Bachmann. C&rsquo;est ce que l&rsquo;on se propose de faire ici. Cet article comprend [&hellip;]<\/p>\n","protected":false},"author":1,"featured_media":0,"comment_status":"closed","ping_status":"open","sticky":false,"template":"","format":"standard","meta":{"_jetpack_memberships_contains_paid_content":false,"footnotes":""},"categories":[12],"tags":[],"jetpack_sharing_enabled":true,"jetpack_featured_media_url":"","_links":{"self":[{"href":"https:\/\/curvica974.re\/index.php?rest_route=\/wp\/v2\/posts\/6244"}],"collection":[{"href":"https:\/\/curvica974.re\/index.php?rest_route=\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/curvica974.re\/index.php?rest_route=\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/curvica974.re\/index.php?rest_route=\/wp\/v2\/users\/1"}],"replies":[{"embeddable":true,"href":"https:\/\/curvica974.re\/index.php?rest_route=%2Fwp%2Fv2%2Fcomments&post=6244"}],"version-history":[{"count":41,"href":"https:\/\/curvica974.re\/index.php?rest_route=\/wp\/v2\/posts\/6244\/revisions"}],"predecessor-version":[{"id":8454,"href":"https:\/\/curvica974.re\/index.php?rest_route=\/wp\/v2\/posts\/6244\/revisions\/8454"}],"wp:attachment":[{"href":"https:\/\/curvica974.re\/index.php?rest_route=%2Fwp%2Fv2%2Fmedia&parent=6244"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/curvica974.re\/index.php?rest_route=%2Fwp%2Fv2%2Fcategories&post=6244"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/curvica974.re\/index.php?rest_route=%2Fwp%2Fv2%2Ftags&post=6244"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}