{"id":3339,"date":"2022-03-18T22:41:26","date_gmt":"2022-03-18T18:41:26","guid":{"rendered":"http:\/\/curvica974.re\/?p=3339"},"modified":"2025-12-30T22:45:39","modified_gmt":"2025-12-30T18:45:39","slug":"utiliser-les-macros-du-modele-kb","status":"publish","type":"post","link":"https:\/\/curvica974.re\/?p=3339","title":{"rendered":"Utiliser les macros du mod\u00e8le KB"},"content":{"rendered":"\n<p>Cet article est une pr\u00e9sentation rapide des macros du mod\u00e8le de g\u00e9om\u00e9trie hyperbolique du mod\u00e8le de Klein-Beltrami (<strong>KB<\/strong>) comme il a \u00e9t\u00e9 pr\u00e9sent\u00e9 <a rel=\"noreferrer noopener\" href=\"http:\/\/curvica974.re\/?page_id=1444\" data-type=\"URL\" data-id=\"http:\/\/curvica974.re\/?page_id=1444\" target=\"_blank\">dans cette page<\/a>. C&rsquo;est  aussi l&rsquo;occasion de pr\u00e9senter un r\u00e9sultat m\u00e9trique &#8211; absolu &#8211; sur les cycles exinscrits d&rsquo;un triangle. Cet ensemble de macro est utilis\u00e9 pour les figures par conjugaison avec la pseudosph\u00e8re (<strong>PS<\/strong>) et, toujours, avec la pseudosph\u00e8re hyperbolique (<strong>PSH<\/strong>). D&rsquo;autres pages proposeront ce types d&rsquo;utilisation.<\/p>\n\n\n\n<p>Reprendre la page de pr\u00e9sentation de <a rel=\"noreferrer noopener\" href=\"http:\/\/curvica974.re\/?page_id=51\" data-type=\"URL\" data-id=\"http:\/\/curvica974.re\/?page_id=51\" target=\"_blank\">l&rsquo;utilisation des macros<\/a> de DGPad.<\/p>\n\n\n\n<h2 class=\"wp-block-heading has-text-align-center\">Les macros de KB<\/h2>\n\n\n\n<p>Comme les objets, en dehors du cercle limite, sont des points ou des segments, il n&rsquo;y a aucune ambigu\u00eft\u00e9 sur la demande \u00ab\u00a0cercle\u00a0\u00bb, c&rsquo;est toujours le cercle limite de Beltrami, celui dans lequel on fait la figure. Dans les macros <strong>KB<\/strong> &#8211; contrairement aux macros dans le disque de Poincar\u00e9 (menu <strong>DP<\/strong>) ou le disque de Klein (menu <strong>ELL<\/strong>), le cercle horizon est le dernier objet \u00e0 montrer dans les macros.<\/p>\n\n\n\n<p>On rappelles que l&rsquo;usage d&rsquo;un  cercle dans une macro &#8211; donc toujours ici &#8211; cache le centre de ce cercle. Ce n&rsquo;est pas important ici, car le centre n&rsquo;est utilis\u00e9 que dans la macro <strong>KB Med dont Odl<\/strong> qui  sert essentiellement pour reproduire des angles et en particulier dans les pavages &#8211; un article sp\u00e9cifique sera consacr\u00e9 \u00e0 cette question.<\/p>\n\n\n\n<p>Pour faire r\u00e9apparaitre le cercle, activer l&rsquo;outil gomme et s\u00e9lectionner le centre du cercle <strong>Odl<\/strong>.<\/p>\n\n\n\n<p>Classiquement, les macros sont regroup\u00e9es en trois dossiers : <strong>Points<\/strong>, <strong>Droites<\/strong> et <strong>Cycles<\/strong>.<\/p>\n\n\n<div class=\"wp-block-image\">\n<figure class=\"aligncenter size-full\"><img decoding=\"async\" width=\"771\" height=\"305\" src=\"http:\/\/curvica974.re\/wp-content\/uploads\/2024\/06\/NewMacrosKB_Juin2024_petit.jpg\" alt=\"\" class=\"wp-image-7701\" srcset=\"https:\/\/curvica974.re\/wp-content\/uploads\/2024\/06\/NewMacrosKB_Juin2024_petit.jpg 771w, https:\/\/curvica974.re\/wp-content\/uploads\/2024\/06\/NewMacrosKB_Juin2024_petit-300x119.jpg 300w, https:\/\/curvica974.re\/wp-content\/uploads\/2024\/06\/NewMacrosKB_Juin2024_petit-768x304.jpg 768w\" sizes=\"(max-width: 771px) 100vw, 771px\" \/><\/figure><\/div>\n\n\n<p><strong>Le dossier \u00ab\u00a0Points<\/strong>\u00ab\u00a0<\/p>\n\n\n\n<p>Les macros sont classiques. On consultera <a rel=\"noreferrer noopener\" href=\"http:\/\/curvica974.re\/?p=3428\" data-type=\"URL\" data-id=\"http:\/\/curvica974.re\/?p=3428\" target=\"_blank\">cette page sur les troncatures de pavages<\/a> pour la pr\u00e9sentation des macros alg\u00e9briques <strong>Milieu<\/strong> et <strong>Sym\u00e9trie Centrale<\/strong>.<\/p>\n\n\n\n<p>Contrairement aux autres mod\u00e8les hyperboliques ou elliptiques, il n&rsquo;y a pas de macro intersection de deux droites car on utilise simplement l&rsquo;outil usuel de DGPad d&rsquo;intersection de deux segments : il faut donc \u00eatre en mode standard, c&rsquo;est-\u00e0-dire l&rsquo;icone de gauche du tableau de bord activ\u00e9e.<\/p>\n\n\n\n<p><strong>A propos de la macro KB distance<\/strong> : par construction, la macro renvoie la distance certes, mais au m\u00eame endroit. Si on veut l&rsquo;appliquer plusieurs fois, il convient de d\u00e9placer le renvoi. Cela se fait pendant que l&rsquo;on est en mode macro. <\/p>\n\n\n\n<p>Par ailleurs, le nom de la variable associ\u00e9e \u00e0 la distance, s&rsquo;appelle \\(dMN\\) par d\u00e9faut avec un suffixe. Par exemple, si on l&rsquo;applique \u00e0 trois points \\(A, B, C\\) cela donne : \\(dMN, dMN0\\), et \\(dMN1\\) qu&rsquo;il convient ensuite de modifier dans le mode <strong>aspect des objets<\/strong> (icone \u00ab\u00a0roue\u00a0\u00bb).<\/p>\n\n\n<div class=\"wp-block-image\">\n<figure class=\"aligncenter size-full\"><img decoding=\"async\" width=\"987\" height=\"513\" src=\"http:\/\/curvica974.re\/wp-content\/uploads\/2022\/03\/Modif-3-KB-distances.jpg\" alt=\"\" class=\"wp-image-3342\" srcset=\"https:\/\/curvica974.re\/wp-content\/uploads\/2022\/03\/Modif-3-KB-distances.jpg 987w, https:\/\/curvica974.re\/wp-content\/uploads\/2022\/03\/Modif-3-KB-distances-300x156.jpg 300w, https:\/\/curvica974.re\/wp-content\/uploads\/2022\/03\/Modif-3-KB-distances-768x399.jpg 768w\" sizes=\"(max-width: 987px) 100vw, 987px\" \/><\/figure><\/div>\n\n\n<p class=\"has-text-align-center has-small-font-size\"><em>Modification de dMN d\u00e9j\u00e0 effectu\u00e9e, celle de dMN0 en cours<\/em><\/p>\n\n\n\n<p><strong>Le dossier \u00ab\u00a0Droites\u00a0\u00bb<\/strong><\/p>\n\n\n\n<p><strong>Diff\u00e9rence entre les deux<\/strong> <strong>macros<\/strong> <strong>KB droite<\/strong> : la premi\u00e8re construit la droite hyperbolique passant par deux points (la corde du cercle en fait) et la seconde (<strong>avec Pt id\u00e9aux<\/strong>) ajoute les extr\u00e9mit\u00e9s de la corde, ce sont les points \u00e0 l&rsquo;infini. Cela peut \u00eatre utile dans certaines constructions.<\/p>\n\n\n\n<p><strong>Diff\u00e9rence entre les deux<\/strong> <strong>macros KB m\u00e9diatrice<\/strong> : il y a la macro g\u00e9n\u00e9rique, standard, pour laquelle on donne deux points et le cercle du mod\u00e8le. Pour construire cette m\u00e9diatrice, on utilise le p\u00f4le d&rsquo;une droite. Or cette droite passe par un des deux points, ce qui n&rsquo;est pas possible si un des points est le centre du cercle du mod\u00e8le, car le p\u00f4le est \u00e0 l&rsquo;infini. C&rsquo;est pour cela qu&rsquo;il y a une seconde macro<strong> KB Med dont Odl<\/strong> qui construit la <strong>KB<\/strong>-m\u00e9diatrice entre un point et le centre du cercle du mod\u00e8le. Cette macro attend, d&rsquo;abord le cercle du mod\u00e8le, ensuite l&rsquo;autre point que le centre du cercle.<\/p>\n\n\n\n<p><strong>Le dossier \u00ab\u00a0Cycles\u00a0\u00bb<\/strong><\/p>\n\n\n\n<p><strong>Diff\u00e9rence entre les deux macros KB \u00e9quidistante<\/strong> : la premi\u00e8re (<strong>Cnk A B M<\/strong>) rend une conique (Cnk) et demande trois points : <strong>A<\/strong> et <strong>B<\/strong> sont les points de l&rsquo;axe de l&rsquo;\u00e9quidistante et <strong>M<\/strong> est le point par lequel passe l&rsquo;\u00e9quidistante. Cette premi\u00e8re macro est plus esth\u00e9tique au sens o\u00f9 elle trace toute la conique, mais ne correspond par \u00e0 la d\u00e9finition de l&rsquo;\u00e9quidistante par image d&rsquo;un point par les droites d&rsquo;un faisceau. Elle correspond plut\u00f4t \u00e0 une d\u00e9finition m\u00e9trique : l&rsquo;ensemble des points \u00e0 m\u00eame distance de la droite <strong>(AB)<\/strong> que le point <strong>M<\/strong>, et dans le mod\u00e8le <strong>KB<\/strong>,  donc ajoute la partie de la conique de l&rsquo;autre c\u00f4t\u00e9 de l&rsquo;axe que le point <strong>M<\/strong>.<br>La seconde macro (<strong>Lieu Drt Pt)<\/strong> construit seulement le lieu attendu (une seule partie de la conique). Elle demande non plus deux points mais la <strong>KB<\/strong>-droite, l&rsquo;axe de l&rsquo;\u00e9quidistante, et un point par lequel passe l&rsquo;\u00e9quidistante. Cette seconde macro est plus conforme \u00e0 la d\u00e9finition de l&rsquo;\u00e9quidistante retenue dans ce site.<\/p>\n\n\n\n<p><strong>A propos de la macro KB Horicycle O A <\/strong>: cette macro attend un point situ\u00e9 sur le cercle (le centre de l&rsquo;horicycle) et un autre point, appartenant \u00e0 l&rsquo;horicycle. Contrairement aux autres macros pour lesquelles les points attendus peuvent \u00eatre cr\u00e9\u00e9s pendant l&rsquo;application de la macro, le point \\(O\\) doit, lui, \u00eatre cr\u00e9\u00e9 avant. Cela vient du fait que ce point appartient au cercle qui est lui-m\u00eame demand\u00e9 comme objet initial de la macro : c&rsquo;est logiquement complexe \u00e0 trancher comme situation.<\/p>\n\n\n\n<h2 class=\"wp-block-heading has-text-align-center\">La figure contenant toutes ces macros<\/h2>\n\n\n\n<p>Lancer (dans un nouvel onglet) <a href=\"https:\/\/www.dgpad.net\/index.php?url=https:\/\/drive.google.com\/file\/d\/1bZTzN68WL83zASAWqnA3WVgVjMrZRL3y\/view?usp=drive_link\" data-type=\"URL\" data-id=\"https:\/\/www.dgpad.net\/index.php?url=http:\/\/curvica974.re\/FigSite\/Articles\/Les_Macros_de_KB.dgp\" target=\"_blank\" rel=\"noreferrer noopener\">la figure de base avec toutes ces macros KB<\/a>.<\/p>\n\n\n\n<p>Dans la suite quelques d\u00e9tails techniques &#8211; d&rsquo;interface &#8211;  sur des figures que l&rsquo;on peut r\u00e9aliser assez rapidement, puis une figure un peu plus sophistiqu\u00e9e qui illustre un r\u00e9sultat m\u00e9trique absolu, c&rsquo;est-\u00e0-dire vrai dans les contextes euclidien, elliptique ou hyperbolique.<\/p>\n\n\n\n<h2 class=\"wp-block-heading has-text-align-center\">Construire des points d&rsquo;intersection &#8211; Exemple des m\u00e9dianes<\/h2>\n\n\n\n<p>On veut construire les <strong>KB<\/strong>-milieux \\(I, J, K\\) du triangle \\(ABC\\). Pour cela on commence par construire les c\u00f4t\u00e9s du triangle, qui sont des segments euclidiens, en utilisant l&rsquo;interface de construction du logiciel.  Il faut \u00eatre alors en <strong>mode standard<\/strong>, s\u00e9lectionner un point (comme \\(A\\) ci-dessous) et, dans la palette contextuelle des points, s\u00e9lectionner l&rsquo;outil segment (icone la plus \u00e0 gauche de l&rsquo;illustration de gauche) et l\u00e2cher la souris &#8211; ou le doigt &#8211; sur un autre sommet. <\/p>\n\n\n\n<p>Puis on utilise ensuite trois fois la macro <strong>KB Milieu Alg<\/strong> ce qui cr\u00e9\u00e9 les milieux nomm\u00e9s automatiquement \\(I, I_0, I_1\\) comme l&rsquo;illustration de droite.<\/p>\n\n\n\n<figure class=\"wp-block-image size-full\"><img decoding=\"async\" width=\"973\" height=\"455\" src=\"http:\/\/curvica974.re\/wp-content\/uploads\/2024\/06\/IntroMedianes-petit.jpg\" alt=\"\" class=\"wp-image-7704\" srcset=\"https:\/\/curvica974.re\/wp-content\/uploads\/2024\/06\/IntroMedianes-petit.jpg 973w, https:\/\/curvica974.re\/wp-content\/uploads\/2024\/06\/IntroMedianes-petit-300x140.jpg 300w, https:\/\/curvica974.re\/wp-content\/uploads\/2024\/06\/IntroMedianes-petit-768x359.jpg 768w\" sizes=\"(max-width: 973px) 100vw, 973px\" \/><\/figure>\n\n\n\n<p>On passe alors en mode <strong>Inspecteur des objets<\/strong> (icone \u00ab\u00a0roue\u00a0\u00bb du tableau de bord) pour changer les noms des milieux.<\/p>\n\n\n<div class=\"wp-block-image\">\n<figure class=\"aligncenter size-full\"><img decoding=\"async\" width=\"622\" height=\"604\" src=\"http:\/\/curvica974.re\/wp-content\/uploads\/2024\/06\/RenommerMilieu.jpg\" alt=\"\" class=\"wp-image-7705\" srcset=\"https:\/\/curvica974.re\/wp-content\/uploads\/2024\/06\/RenommerMilieu.jpg 622w, https:\/\/curvica974.re\/wp-content\/uploads\/2024\/06\/RenommerMilieu-300x291.jpg 300w\" sizes=\"(max-width: 622px) 100vw, 622px\" \/><\/figure><\/div>\n\n\n<p>Pour les m\u00e9dianes &#8211; dont on sait qu&rsquo;elles sont concourantes &#8211; on revient en <strong>mode standard<\/strong>, pour construire les m\u00e9dianes comme segment euclidien. Pour l&rsquo;intersection, on la construit \u00e0 partir de deux m\u00e9dianes. Pour cela, toujours en mode standard, on se rapproche de l&rsquo;intersection de deux m\u00e9dianes jusqu&rsquo;\u00e0 ce qu&rsquo;elle soient toutes les deux surlign\u00e9es comme ci-dessous, et on choisi l&rsquo;icone point \u00e0 gauche de la palette.<\/p>\n\n\n<div class=\"wp-block-image\">\n<figure class=\"aligncenter size-full\"><img decoding=\"async\" width=\"447\" height=\"450\" src=\"http:\/\/curvica974.re\/wp-content\/uploads\/2024\/06\/IntersectionMedianes.jpg\" alt=\"\" class=\"wp-image-7706\" srcset=\"https:\/\/curvica974.re\/wp-content\/uploads\/2024\/06\/IntersectionMedianes.jpg 447w, https:\/\/curvica974.re\/wp-content\/uploads\/2024\/06\/IntersectionMedianes-298x300.jpg 298w, https:\/\/curvica974.re\/wp-content\/uploads\/2024\/06\/IntersectionMedianes-150x150.jpg 150w\" sizes=\"(max-width: 447px) 100vw, 447px\" \/><\/figure><\/div>\n\n\n<p><strong>Nommer des points &#8211; Cacher\/Montrer des objets<\/strong><\/p>\n\n\n\n<p>Pour que les figures aient l&rsquo;aspect des illustrations de ce site, il faut pratiquer un peu l&rsquo;interface du logiciel comme d\u00e9j\u00e0 signal\u00e9 plus haut. On nomme les points \u00e0 partir du module <strong>aspect des objets<\/strong> (icone \u00ab\u00a0roue\u00a0\u00bb). Cacher ou montrer les objets se fait dans le mode \u00ab\u00a0<strong>gomme<\/strong>\u00ab\u00a0. <\/p>\n\n\n\n<h2 class=\"wp-block-heading has-text-align-center\">Exemple du cycle circonscrit<br>(cercle et \u00e9quidistante)<\/h2>\n\n\n\n<p>Depuis trois points, on peut construire les droites ou les segments, puis les m\u00e9diatrices. On aurait pu faire comme dans les macros DP, \u00e0 savoir une macro de type Bachmann, \u00e0 savoir une macro Cycle par pinceau et point, mais on ne l&rsquo;a pas fait. Et donc il faut faire deux construction :  si les m\u00e9ditrices sont concourantes, on construit le cercle circonscrit, sinon, on construit la perpendiculaire commune aux m\u00e9diatrices et l&rsquo;\u00e9quidistante circonscrite.<\/p>\n\n\n\n<figure class=\"wp-block-image size-large\"><img decoding=\"async\" width=\"1024\" height=\"334\" src=\"http:\/\/curvica974.re\/wp-content\/uploads\/2022\/03\/ConstruireMediatriceKBpetit-1024x334.jpg\" alt=\"\" class=\"wp-image-3345\" srcset=\"https:\/\/curvica974.re\/wp-content\/uploads\/2022\/03\/ConstruireMediatriceKBpetit-1024x334.jpg 1024w, https:\/\/curvica974.re\/wp-content\/uploads\/2022\/03\/ConstruireMediatriceKBpetit-300x98.jpg 300w, https:\/\/curvica974.re\/wp-content\/uploads\/2022\/03\/ConstruireMediatriceKBpetit-768x250.jpg 768w, https:\/\/curvica974.re\/wp-content\/uploads\/2022\/03\/ConstruireMediatriceKBpetit.jpg 1271w\" sizes=\"(max-width: 1024px) 100vw, 1024px\" \/><\/figure>\n\n\n\n<p class=\"has-text-align-center has-small-font-size\"><em>\u00e0 gauche l&rsquo;application de <strong>KB Cercle<\/strong>, au centre l&rsquo;application de <strong>KB Equidist Lieu<\/strong>, <br>\u00e0 droite, la m\u00eame macro dans une situation proche de l&rsquo;horicycle (on distingue la l&rsquo;axe de l&rsquo;\u00e9quidistante)<\/em><\/p>\n\n\n\n<p><strong>Compl\u00e9ment technique <\/strong>: <strong>comment obtenir un triangle ayant un horicycle circonscrit ?<\/strong><\/p>\n\n\n\n<p>En prenant trois points de base \\(A, B, C,\\) on ne peut pas atteindre (\u00e0 la souris ou au doigt) le cas de l&rsquo;horicycle. <\/p>\n\n\n<div class=\"wp-block-image\">\n<figure class=\"alignright size-full\"><img decoding=\"async\" width=\"448\" height=\"441\" src=\"http:\/\/curvica974.re\/wp-content\/uploads\/2022\/03\/PrepareHoricycle.jpg\" alt=\"\" class=\"wp-image-3349\" srcset=\"https:\/\/curvica974.re\/wp-content\/uploads\/2022\/03\/PrepareHoricycle.jpg 448w, https:\/\/curvica974.re\/wp-content\/uploads\/2022\/03\/PrepareHoricycle-300x295.jpg 300w\" sizes=\"(max-width: 448px) 100vw, 448px\" \/><\/figure><\/div>\n\n\n<p>Pour  construire un triangle avec un horicycle circonscrit, on choisit de construire \\(C\\) \u00e0 partir de \\(A\\) et \\(B\\). Pour cela, il faut prendre un des points id\u00e9aux de la m\u00e9diatrice de \\(A\\) et \\(B\\). Puis prendre une droite passant par ce point, et construire \\(C\\) comme sym\u00e9trique de \\(A\\) ou \\(B\\) par rapport \u00e0 cette droite. <\/p>\n\n\n\n<p>Mais comment prendre un point id\u00e9al de la m\u00e9diatrice de \\(A\\) et \\(B\\) ? Le plus simple reste de prendre deux points sur cette m\u00e9diatrice et utiliser la macro <strong>Droite avec Pts id\u00e9aux<\/strong> (voir ci-contre) puis on termine la figure avec la macro <strong>Sym Ortho 1 pt<\/strong> qui donne le point \\(D_k\\) ci-contre.<\/p>\n\n\n\n<p>La construction de l&rsquo;horicycle de centre \\(I\\) passant par \\(A\\) passe bien par \\(B\\) et \\(D_k\\). <\/p>\n\n\n\n<p><em>Remarque pratique<\/em> : dans l&rsquo;illustration pr\u00e9c\u00e9dente, et la figure ci-dessous, la conique repr\u00e9sentant l&rsquo;horicycle est de densit\u00e9 1500, alors qu&rsquo;elle n&rsquo;est que de 500 par l&rsquo;application de la macro. Si on voulait refaire cette figure, cela se r\u00e8gle dans l&rsquo;inspecteur d&rsquo;objet sur la conique.<\/p>\n\n\n\n<p><strong>Manipulation de la figure ainsi construite<\/strong><\/p>\n\n\n<p><center><iframe src=\"https:\/\/www.dgpad.net\/responsive.php?url=https:\/\/drive.google.com\/file\/d\/1mF779bKWFpJ84AMwPAQ6THEIY22Pbs77\/view?usp=drive_link\" style=\"width:580px;height:550px;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 \\(A, B\\) ou J. On notera qu&rsquo;en d\u00e9pla\u00e7ant \\(J\\) on voit \\(C\\) parcourir l&rsquo;horicycle de centre \\(I\\) passant par \\(JA\/latex].<\/em><\/p>\n\n\n\n<h2 class=\"wp-block-heading has-text-align-center\">Illustration d&rsquo;une propri\u00e9t\u00e9 m\u00e9trique absolue<\/h2>\n\n\n\n<p>Une autre utilisation des macros peut \u00eatre la construction du cercle inscrit et des cercles exinscrits d&rsquo;un triangle (on pourrait \u00e9tendre au cycles exinscrits sans difficult\u00e9. C&rsquo;est l&rsquo;occasion de parler d&rsquo;une  propri\u00e9t\u00e9 absolue sur les points de contact des cercles inscrits et exinscrits sur un c\u00f4t\u00e9 du triangle (au sens large, sur la droite support).<\/p>\n\n\n\n<p>Nous proposons au lecteur de faire la figure suivante. On se donne trois points [latex]A\\), \\(B\\) et \\(C\\) ,  puis \\(I\\) le centre du cercle inscrit au triangle, \\(K\\) le milieu des points \\(B\\) et \\(C\\). Puis, par les perpendiculaires aux bissectrices, on construit les bissectrices ext\u00e9rieures. On se place dans un contexte o\u00f9 les trois centres des cercles exinscrits existent. Ce sont les points \\(M, N, P\\). La propri\u00e9t\u00e9 que l&rsquo;on va illustrer est vraie aussi avec les \u00e9quidistantes, c&rsquo;est bien entendu une propri\u00e9t\u00e9 des pinceaux de droites, ind\u00e9pendante de la nature du cycle, mais pour un premier contact avec le mod\u00e8le <strong>KB<\/strong>, on a pr\u00e9f\u00e9r\u00e9 ne pas ajouter les macros des pinceaux de droites.<\/p>\n\n\n\n<p>Puis on construit les projet\u00e9s orthogonaux, sur la droite \\((BC)\\) des centres des 4 cercles. On note ainsi \\(h_I, h_P, h_M\\) et \\(h_N\\) le pied de la perpendiculaire issue du centre correspondant,\\(I, P, M\\) et \\(N\\) respectivement. Si on avait une \u00e9quidistante \u00e0 la place d&rsquo;un cercle, il aurait fallu utiliser la droite du pinceau associ\u00e9 \u00e0 l&rsquo;\u00e9quidistante, orthogonale \u00e0 \\((BC)\\). Mais, comme d\u00e9j\u00e0 mentionn\u00e9, cette macro n&rsquo;est pas propos\u00e9e ici.<\/p>\n\n\n<div class=\"wp-block-image\">\n<figure class=\"aligncenter size-full\"><img decoding=\"async\" width=\"736\" height=\"582\" src=\"http:\/\/curvica974.re\/wp-content\/uploads\/2024\/06\/NewKBexinscrits.jpg\" alt=\"\" class=\"wp-image-7708\" srcset=\"https:\/\/curvica974.re\/wp-content\/uploads\/2024\/06\/NewKBexinscrits.jpg 736w, https:\/\/curvica974.re\/wp-content\/uploads\/2024\/06\/NewKBexinscrits-300x237.jpg 300w\" sizes=\"(max-width: 736px) 100vw, 736px\" \/><\/figure><\/div>\n\n\n<p>Puis on utilise la macro <strong>KB Distance 2 pts<\/strong>, et on s&rsquo;aper\u00e7oit &#8211; constate ou illustre &#8211; de \\(K\\) est le milieu des points de contact d&rsquo;une part du cercle inscrit et du cercle exinscrit directement oppos\u00e9, et d&rsquo;autre part des deux autres cercles exinscrits avec la droite \\((BC)\\).<\/p>\n\n\n\n<p><strong>Note d&rsquo;interface<\/strong> : nous avons mentionn\u00e9 plus haut le changement de nom de la variable <strong>dMNxx<\/strong> qui donne la distance de deux points. Mais ici les expressions de type <strong>d(K,hX)<\/strong> ne sont pas des changements de nom des variables, mais des commentaires texte. Ils ne se traitent pas dans l&rsquo;outil \u00ab\u00a0aspect des objets\u00a0\u00bb mais dans l&rsquo;outil \u00ab\u00a0expression\u00a0\u00bb (icone calculatrice). Ne pas oublier de valider par le bouton vert.<\/p>\n\n\n<div class=\"wp-block-image\">\n<figure class=\"aligncenter size-full\"><img decoding=\"async\" width=\"758\" height=\"72\" src=\"http:\/\/curvica974.re\/wp-content\/uploads\/2024\/06\/New_Interface_ExprDist.jpg\" alt=\"\" class=\"wp-image-7709\" srcset=\"https:\/\/curvica974.re\/wp-content\/uploads\/2024\/06\/New_Interface_ExprDist.jpg 758w, https:\/\/curvica974.re\/wp-content\/uploads\/2024\/06\/New_Interface_ExprDist-300x28.jpg 300w\" sizes=\"(max-width: 758px) 100vw, 758px\" \/><\/figure><\/div>\n\n\n<p class=\"has-text-align-center has-small-font-size\"><em>La premi\u00e8re ligne renvoie le calcul effectu\u00e9 par la macro (avec le nom de la variable \u00e0 gauche),<\/em><br><em>la seconde ligne<\/em> <em>permet \u00e0 l&rsquo;utilisateur de r\u00e9diger un commentaire.<\/em><\/p>\n\n\n\n<p>Pour faire cette figure, lancer \u00e0 nouveau <a href=\"https:\/\/www.dgpad.net\/index.php?url=https:\/\/drive.google.com\/file\/d\/1bZTzN68WL83zASAWqnA3WVgVjMrZRL3y\/view?usp=drive_link\" target=\"_blank\" rel=\"noreferrer noopener\">la figure de base avec toutes ses macros KB<\/a>.<\/p>\n\n\n\n<p>On peut aussi ne pas avoir le temps de \u00ab\u00a0jouer avec <strong>KB<\/strong>\u00a0\u00bb et pr\u00e9f\u00e9rer <a href=\"https:\/\/www.dgpad.net\/index.php?url=https:\/\/drive.google.com\/file\/d\/1JJBGA_8NyoZ_zSiUwoiUUbjNy-Y3LlOh\/view?usp=drive_link\" data-type=\"URL\" data-id=\"https:\/\/www.dgpad.net\/index.php?url=http:\/\/curvica974.re\/FigSite\/Articles\/KB_Exinscrits_PropNum.dgp\">ouvrir la figure finalis\u00e9e<\/a>.<\/p>\n\n\n\n<p><strong>\u00c9l\u00e9ments de preuve<\/strong> <strong>de cette propri\u00e9t\u00e9<\/strong><\/p>\n\n\n\n<p>Dans un futur menu Bachmann, on montrera cette propri\u00e9t\u00e9 dans un cadre absolu. En attendant, on peut voir le principe de cette preuve, dans le cadre euclidien, o\u00f9 la propri\u00e9t\u00e9 est assez imm\u00e9diate. <\/p>\n\n\n<div class=\"wp-block-image\">\n<figure class=\"alignright size-full\"><img decoding=\"async\" width=\"450\" height=\"426\" src=\"http:\/\/curvica974.re\/wp-content\/uploads\/2022\/03\/Intro_EU_milieuK.jpg\" alt=\"\" class=\"wp-image-3361\" srcset=\"https:\/\/curvica974.re\/wp-content\/uploads\/2022\/03\/Intro_EU_milieuK.jpg 450w, https:\/\/curvica974.re\/wp-content\/uploads\/2022\/03\/Intro_EU_milieuK-300x284.jpg 300w\" sizes=\"(max-width: 450px) 100vw, 450px\" \/><\/figure><\/div>\n\n\n<p>Dans le contexte euclidien, la preuve que \\(K\\) est milieu des contacts du cercle inscrit et du cercle exinscrit oppos\u00e9 est une cons\u00e9quence de<br>\u2022  la cocyclicit\u00e9 des points \\(I, C, M, B\\), sur le cercle de diam\u00e8tre\\([IM]\\).<br>\u2022 l&rsquo;intersection \\(U\\) de la bissectrice \\((AI)\\) avec le cercle circonscrit \u00e0 \\(ABC\\) &#8211; par des arguments d&rsquo;angle &#8211; est sur la m\u00e9diatrice de \\(B\\) et \\(C\\).<br>\u2022 Le centre du cercle passant par \\(I, C, M, B\\) \u00e9tant \u00e0 la fois sur la bissectrice \\((AI)\\) et sur la m\u00e9diatrice de \\([BC]\\), c&rsquo;est donc le point \\(U\\).<br>\u2022 Et donc par projection, \\(K\\) est \u00e0 la fois milieu de \\(B\\) et \\(C\\) et de \\(h_I\\) et \\(h_M\\).  <\/p>\n\n\n\n<p>Cette premi\u00e8re propri\u00e9t\u00e9 \u00e9tant acquise &#8211; c&rsquo;est ce qui est le plus d\u00e9licat \u00e0 montrer de mani\u00e8re absolue, hors cocyclicit\u00e9 &#8211; le reste est assez imm\u00e9diat, m\u00eame dans un contexte g\u00e9n\u00e9ral puisque l&rsquo;on n&rsquo;utilise que des sym\u00e9tries.<\/p>\n\n\n\n<p>Voyons l&rsquo;argument g\u00e9n\u00e9ral, en reprenant la figure dans <strong>KB<\/strong>.<\/p>\n\n\n\n<p><br><\/p>\n\n\n<div class=\"wp-block-image\">\n<figure class=\"aligncenter size-full\"><img decoding=\"async\" width=\"620\" height=\"604\" src=\"http:\/\/curvica974.re\/wp-content\/uploads\/2022\/03\/KB_Exinscrit_Tour.jpg\" alt=\"\" class=\"wp-image-3364\" srcset=\"https:\/\/curvica974.re\/wp-content\/uploads\/2022\/03\/KB_Exinscrit_Tour.jpg 620w, https:\/\/curvica974.re\/wp-content\/uploads\/2022\/03\/KB_Exinscrit_Tour-300x292.jpg 300w\" sizes=\"(max-width: 620px) 100vw, 620px\" \/><\/figure><\/div>\n\n\n<p>On nomme \\(R\\) le milieu de \\(A\\) et \\(C\\), et \\(S\\) celui de \\(A\\) et \\(C\\). On a la m\u00eame propri\u00e9t\u00e9 des contacts sur ces deux c\u00f4t\u00e9s. Partons du point de contact \\(h_P\\) du cercle de centre \\(P\\) sur \\((BC)\\). Son sym\u00e9trique par rapport \u00e0 la bissectrice \\((MP)\\) est le contact de ce cercle sur \\((AC)\\), soit le point \\(h_{2P}\\). Son sym\u00e9trique par rapport \u00e0 \\(R\\) est le contact sur cercle inscrit, soit le point \\(h_{2I}\\). Le sym\u00e9trique de ce point par rapport \u00e0 la bissectrice \\((AM)\\) est le point \\(h_{3I}\\). Son sym\u00e9trique par rapport \u00e0 \\(S\\) est le point de contact du cercle de centre \\(N\\), soit le point \\(h_{2N}\\). Enfin le sym\u00e9trique par rapport \u00e0 la bissectrice \\((MN)\\) est le point de contact \\(h_N\\).<\/p>\n\n\n\n<p>On \u00e0 donc \\(h_N = s_{(MN)} \\,o \\, s_S \\, o \\, s_{(AI)} \\, o \\, s_R \\, o \\, s_{(MP)} \\; (h_P)\\).<\/p>\n\n\n\n<p>Dans le cas g\u00e9n\u00e9ral \\(s_{(MN)} \\, o \\, s_S \\, o \\, s_{(AI)} \\, o \\, s_R \\, o \\, s_{(MP)}\\), compos\u00e9e de trois sym\u00e9tries orthogonales &#8211; de droites en faisceaux &#8211; en alternance avec deux sym\u00e9tries centrales \u00e9change \\(B\\) et \\(C\\) et  laisse la droite \\((BC)\\) globalement invariante. Dans le cas euclidien, en prenant le vectorialis\u00e9 des applications, la sym\u00e9trie centrale est exclue, donc la compos\u00e9e est la sym\u00e9trie orthogonale d&rsquo;axe la m\u00e9diatrice de \\([BC]\\). Ce qui ach\u00e8ve la preuve euclidienne.<\/p>\n\n\n\n<p>La preuve absolue  consiste \u00e0 montrer ce r\u00e9sultat par les propri\u00e9t\u00e9s des droites en pinceau. Elle est propos\u00e9e <a href=\"http:\/\/curvica974.re\/?p=6410\" data-type=\"URL\" data-id=\"http:\/\/curvica974.re\/?p=6410\" target=\"_blank\" rel=\"noreferrer noopener\">dans cet article<\/a> publi\u00e9 depuis.<\/p>\n","protected":false},"excerpt":{"rendered":"<p>Cet article est une pr\u00e9sentation rapide des macros du mod\u00e8le de g\u00e9om\u00e9trie hyperbolique du mod\u00e8le de Klein-Beltrami (KB) comme il a \u00e9t\u00e9 pr\u00e9sent\u00e9 dans cette page. C&rsquo;est aussi l&rsquo;occasion de pr\u00e9senter un r\u00e9sultat m\u00e9trique &#8211; absolu &#8211; sur les cycles exinscrits d&rsquo;un triangle. Cet ensemble de macro est utilis\u00e9 pour [&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":[27,22,25],"tags":[],"jetpack_sharing_enabled":true,"jetpack_featured_media_url":"","_links":{"self":[{"href":"https:\/\/curvica974.re\/index.php?rest_route=\/wp\/v2\/posts\/3339"}],"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=3339"}],"version-history":[{"count":38,"href":"https:\/\/curvica974.re\/index.php?rest_route=\/wp\/v2\/posts\/3339\/revisions"}],"predecessor-version":[{"id":8522,"href":"https:\/\/curvica974.re\/index.php?rest_route=\/wp\/v2\/posts\/3339\/revisions\/8522"}],"wp:attachment":[{"href":"https:\/\/curvica974.re\/index.php?rest_route=%2Fwp%2Fv2%2Fmedia&parent=3339"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/curvica974.re\/index.php?rest_route=%2Fwp%2Fv2%2Fcategories&post=3339"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/curvica974.re\/index.php?rest_route=%2Fwp%2Fv2%2Ftags&post=3339"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}