{"id":136,"date":"2021-10-15T15:20:40","date_gmt":"2021-10-15T11:20:40","guid":{"rendered":"http:\/\/curvica974.re\/?page_id=136"},"modified":"2025-12-17T18:57:41","modified_gmt":"2025-12-17T14:57:41","slug":"modele-de-hilbert-orthogonalite","status":"publish","type":"page","link":"https:\/\/curvica974.re\/?page_id=136","title":{"rendered":"Mod\u00e8le de Hilbert &#8211; Orthogonalit\u00e9"},"content":{"rendered":"<div class=\"wp-block-image\">\n<figure class=\"alignright size-large is-resized\"><img decoding=\"async\" width=\"1024\" height=\"604\" src=\"http:\/\/curvica974.re\/wp-content\/uploads\/2021\/12\/image-3-1024x604.png\" alt=\"\" class=\"wp-image-2063\" style=\"width:424px;height:250px\" srcset=\"https:\/\/curvica974.re\/wp-content\/uploads\/2021\/12\/image-3-1024x604.png 1024w, https:\/\/curvica974.re\/wp-content\/uploads\/2021\/12\/image-3-300x177.png 300w, https:\/\/curvica974.re\/wp-content\/uploads\/2021\/12\/image-3-768x453.png 768w, https:\/\/curvica974.re\/wp-content\/uploads\/2021\/12\/image-3.png 1440w\" sizes=\"(max-width: 1024px) 100vw, 1024px\" \/><\/figure><\/div>\n\n\n<p>En dehors des points de l\u2019ellipse, dont l\u2019\u00e9tude sera abord\u00e9e dans une page d\u00e9di\u00e9e, le mod\u00e8le non argu\u00e9sien de Hilbert est conforme. On peut rencontrer, a priori, deux types d\u2019orthogonalit\u00e9 : le cas ordinaire euclidien, \u00e0 l\u2019ext\u00e9rieur de l\u2019ellipse, et le cas d\u2019arcs de cercle orthogonaux, \u00e0 l\u2019int\u00e9rieur de l\u2019ellipse.<br>Il se peut alors, que, d\u2019un point \\(M\\) du plan, on puisse m\u00eame mener deux perpendiculaires \u00e0 une droite \\((AB)\\) donn\u00e9e comme ci-contre, une euclidienne et l\u2019autre, que l\u2019on dira hilbertienne, ou encore H-perpendiculaire.<\/p>\n\n\n\n<p>Pour une droite euclidienne \\(d\\) (c\u2019est-\u00e0-dire une H-droite qui ne coupe pas l\u2019ellipse), de tout point du plan il existe toujours une et une seule perpendiculaire \u00e0 cette droite, c\u2019est la H-droite dont le support euclidien est la perpendiculaire \u00e0 \\(d\\). On s\u2019int\u00e9resse donc essentiellement dans la suite aux H-droites rencontrant l\u2019ellipse. On imagine assez facilement qu\u2019il puisse exister, dans certains cas \u00e0 pr\u00e9ciser, des r\u00e9gions du plan depuis lesquels on ne peut pas mener de perpendiculaire \u00e0 une droite donn\u00e9e.<\/p>\n\n\n<div class=\"wp-block-image\">\n<figure class=\"alignright size-large is-resized\"><img decoding=\"async\" width=\"1024\" height=\"606\" src=\"http:\/\/curvica974.re\/wp-content\/uploads\/2021\/12\/image-4-1024x606.png\" alt=\"\" class=\"wp-image-2065\" style=\"width:406px;height:240px\" srcset=\"https:\/\/curvica974.re\/wp-content\/uploads\/2021\/12\/image-4-1024x606.png 1024w, https:\/\/curvica974.re\/wp-content\/uploads\/2021\/12\/image-4-300x178.png 300w, https:\/\/curvica974.re\/wp-content\/uploads\/2021\/12\/image-4-768x454.png 768w, https:\/\/curvica974.re\/wp-content\/uploads\/2021\/12\/image-4.png 1210w\" sizes=\"(max-width: 1024px) 100vw, 1024px\" \/><\/figure><\/div>\n\n\n<p>Quand nous avons \u00e9tudi\u00e9 les rectangles \u00e0 l\u2019int\u00e9rieur de l\u2019ellipse, nous avons vu que si un quadrilat\u00e8re a trois angles droits, il en a quatre, mais que les H-droites support ne sont g\u00e9n\u00e9ralement pas parall\u00e8les. Il en r\u00e9sulte qu\u2019\u00e9tant donn\u00e9 une droite coupant l\u2019ellipse, il est facile de construire deux H-perpendiculaires \u00e0 cette droite, s\u00e9cantes entre elles. Et, dans certains cas, si ce point d\u2019intersection peut \u00eatre assez loin de l\u2019ellipse, on peut rencontrer la situation ci-contre, o\u00f9, par un point, il passe non pas deux, mais trois perpendiculaires \u00e0 une droite donn\u00e9e, deux hilbertiennes et une euclidienne.<\/p>\n\n\n\n<p>Ci-contre, du point \\(A\\) il existe trois perpendiculaires \u00e0 la droite \\((BC)\\).<\/p>\n\n\n\n<p>L&rsquo;orthogonalit\u00e9 est donc un th\u00e8me tr\u00e8s riche, et ce premier r\u00e9sultat, m\u00eame s&rsquo;il est \u00e9l\u00e9mentaire, est une sp\u00e9cificit\u00e9 du mod\u00e8le de Hilbert. Par d\u00e9finition m\u00eame du mod\u00e8le, il n&rsquo;y aura jamais trois perpendiculaires \u00e0 une droite dans le mod\u00e8le de Moulton. Ainsi les g\u00e9om\u00e9tries non argu\u00e9siennes dans ces deux mod\u00e8les ne sont pas identiques. Et ceci est sans rapport avec la d\u00e9finition de la congruence des angles dans le cas d&rsquo;un sommet sur l&rsquo;ellipse.<\/p>\n\n\n\n<p><strong>Manipulation d&rsquo;une premi\u00e8re perpendiculaire dynamique<\/strong><\/p>\n\n\n\n<p>On se donne une droite \\((AB)\\) et un point \\(I\\). On construit alors les perpendiculaires \u00e9ventuelles \u00e0 \\((AB)\\) issues de \\(I\\). La construction de ces perpendiculaires est pr\u00e9cis\u00e9e dans la derni\u00e8re section de <a rel=\"noreferrer noopener\" href=\"http:\/\/curvica974.re\/?p=7083\" data-type=\"URL\" data-id=\"http:\/\/curvica974.re\/?p=7083\" target=\"_blank\">cet article<\/a> consacr\u00e9 aux constructions alg\u00e9briques des droites de Moulton.<\/p>\n\n\n<p><center><iframe src=\"https:\/\/www.dgpad.net\/responsive.php?url=https:\/\/drive.google.com\/file\/d\/1mZL8s1yhvIbhke3nNN96KFf3oul3HekS\/view?usp=drive_link\" style=\"width:800px;height:530px;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 agir sur \\(A, B\\) et \\(I\\). Observer que dans certaines parties du plan,<\/em><br><em>il n&rsquo;y a pas de perpendiculaires autres que l&rsquo;euclidienne, et parfois pas du tout. <\/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\/1DVpXln5urKJfsqDEcBN-kMr3H6hFJxmJ\/view?usp=drive_link\" data-type=\"URL\" data-id=\"https:\/\/www.dgpad.net\/index.php?url=http:\/\/curvica974.re\/FigSite\/NonArg\/HilbertAlgebrique\/PerpHilbertFinal.dgp\" target=\"_blank\" rel=\"noreferrer noopener\">ouvrir cette figure<\/a> (plus grande) dans un nouvel onglet<\/p>\n\n\n\n<p>On notera qu&rsquo;\u00e0 l&rsquo;ouverture de la figure, il y a trois perpendiculaires  issues de \\(I\\) \u00e0 la droite \\((AB)\\). Cela signifie qu&rsquo;un des triangles de sommets \\(I\\) et deux des trois pieds des perpendiculaires a deux angles droits et m\u00eame trois orthocentres align\u00e9s : les trois pieds des hauteurs, c&rsquo;est donc <strong>un premier triangle tri-orthocentrique<\/strong>, m\u00eame s&rsquo;il est tr\u00e8s particulier.<\/p>\n\n\n\n<p><strong>Illustration d&rsquo;une situation tr\u00e8s particuli\u00e8re<\/strong><\/p>\n\n\n\n<p>Dans la figure suivante, seulement en mode animation, non modifiable, une droite admet, pour quelques points \\(K\\), \u00e0 la fois trois perpendiculaires hilbertiennes mais aussi une perpendiculaire euclidienne. Ainsi, pour quelques droites et une r\u00e9gion tr\u00e8s limit\u00e9e des points <strong>on peut mener jusqu&rsquo;\u00e0 quatre perpendiculaires \u00e0 une droite<\/strong>.<\/p>\n\n\n<p><center><iframe src=\"https:\/\/www.dgpad.net\/responsive.php?url=https:\/\/drive.google.com\/file\/d\/1s93qehc8ybWXip51KqYnx4Eoapcjsobq\/view?usp=drive_link\" style=\"width:770px;height:650px;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>Figure animation &#8211; exceptionnellement non manipulable<\/em><br><em>On peut voir le d\u00e9placement de \\(Ctr\\) (et de la droite rouge), mais \u00e0 peine celui de \\(K\\)<\/em><\/p>\n\n\n\n<p>On notera que les triangles \\(KhK_ihK_j\\), pour \\(i \\neq j\\) ou les triangles \\(KhK_iHe\\) <strong>sont tous quadri-orthocentriques<\/strong> d&rsquo;orthocentres les 4 pieds des hauteurs &#8230; m\u00eame si c&rsquo;est un cas tr\u00e8s particulier puisque les orthocentres sont align\u00e9s.<\/p>\n\n\n\n<p>Pr\u00e9f\u00e9rer <a href=\"https:\/\/www.dgpad.net\/index.php?url=https:\/\/drive.google.com\/file\/d\/1Rav9F35EULwEsUlvdp9ESdqo_jZLzmF_\/view?usp=drive_link\" data-type=\"URL\" data-id=\"https:\/\/www.dgpad.net\/index.php?url=http:\/\/curvica974.re\/FigSite\/NonArg\/HilbertAlgebrique\/TR_3Perp_Hilbert.dgp\" target=\"_blank\" rel=\"noreferrer noopener\">ouvrir cette figure<\/a> dans un nouvel onglet<\/p>\n\n\n\n<h2 class=\"wp-block-heading has-text-align-center\"><strong>Les hauteurs d&rsquo;un triangle<\/strong><\/h2>\n\n\n\n<p>Puisqu&rsquo;il peut y avoir, en g\u00e9n\u00e9ral, deux hauteurs (rarement trois et plus encore quatre) issues d&rsquo;un point, on a, possiblement jusqu&rsquo;\u00e0 six hauteurs dans un triangle (rarement 7 mais possible comme on le verra ci-dessous). Avec ces 6 hauteurs, on va trouver, assez facilement, des triangles orthocentriques de diff\u00e9rents type, ou m\u00eame, moins facilement, des triangles bi-orthocentriques.<\/p>\n\n\n\n<p>Dans la figure suivante, \u00e0 l&rsquo;ouverture le triangle a 6 hauteurs dans une configuration tr\u00e8s proche d&rsquo;un triangle bi-orthocentrique.<\/p>\n\n\n<p><center><iframe src=\"https:\/\/www.dgpad.net\/responsive.php?url=https:\/\/drive.google.com\/file\/d\/1oacSIgGTjAZeJIf9lTnjMRYFUuNBZOxu\/view?usp=drive_link\" style=\"width:880px;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>Explorer les hauteurs d&rsquo;un triangle en d\u00e9pla\u00e7ant les trois sommets.<br>On rappelle que les hauteurs sont concourantes quand les trois sommets et l&rsquo;intersection sont toutes dans l&rsquo;ellipse.<\/em><br><em>On revient \u00e0 la condition initiale en rechargeant la figure avec l&rsquo;icone de l&rsquo;iframe (parfois il faut le faire 2 fois)<\/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\/1ZfAzBHamOydD-O5aAWhyyp0KIFV3VHWo\/view?usp=drive_link\" data-type=\"URL\" data-id=\"https:\/\/www.dgpad.net\/index.php?url=http:\/\/curvica974.re\/FigSite\/NonArg\/HilbertAlgebrique\/TR_BiOrtho_1H_1hybride.dgp\" target=\"_blank\" rel=\"noreferrer noopener\">ouvrir cette figure <\/a>(configuration plus grande) dans un nouvel onglet<\/p>\n\n\n\n<h2 class=\"wp-block-heading has-text-align-center\">Un premier triangle orthocentrique ayant 7 hauteurs<\/h2>\n\n\n\n<p>Juste pour le fun, comme sous produit des programmes pr\u00e9sent\u00e9s dans les pages suivantes, il est facile d&rsquo;obtenir cette figure d&rsquo;un triangle ayant 7 hauteurs dont trois concourantes.<\/p>\n\n\n\n<p>Les deux hauteurs hilbertiennes issues de \\(A\\) et \\(B\\) se coupent en \\(hABhh\\). Celle issue de \\(A\\) et la hauteur issue de \\(C\\) se coupent en \\(hAChe\\). Un programme permet de d\u00e9placer tr\u00e8s l\u00e9g\u00e8rement le point \\(C\\) afin de rendre nulle (au sens indiqu\u00e9 ci-dessous) la distance entre les deux points.<\/p>\n\n\n<div class=\"wp-block-image\">\n<figure class=\"aligncenter size-full\"><img decoding=\"async\" width=\"976\" height=\"538\" src=\"http:\/\/curvica974.re\/wp-content\/uploads\/2024\/04\/TR_7h_Ortho_AVANT_ProgC.jpg\" alt=\"\" class=\"wp-image-7552\" srcset=\"https:\/\/curvica974.re\/wp-content\/uploads\/2024\/04\/TR_7h_Ortho_AVANT_ProgC.jpg 976w, https:\/\/curvica974.re\/wp-content\/uploads\/2024\/04\/TR_7h_Ortho_AVANT_ProgC-300x165.jpg 300w, https:\/\/curvica974.re\/wp-content\/uploads\/2024\/04\/TR_7h_Ortho_AVANT_ProgC-768x423.jpg 768w\" sizes=\"(max-width: 976px) 100vw, 976px\" \/><\/figure><\/div>\n\n\n<p class=\"has-text-align-center has-small-font-size\"><em>Il suffit de cocher la case pour que le triangle devienne orthocentrique (attention, ici ce n&rsquo;est qu&rsquo;une copie d&rsquo;\u00e9cran)<\/em><\/p>\n\n\n\n<p>Lancer <a href=\"https:\/\/www.dgpad.net\/index.php?url=https:\/\/drive.google.com\/file\/d\/1wXFy8O3lhdoSLbvbJHmg6k2D3oxfKNEq\/view?usp=drive_link\" data-type=\"URL\" data-id=\"https:\/\/www.dgpad.net\/index.php?url=http:\/\/curvica974.re\/FigSite\/NonArg\/HilbertAlgebrique\/Un_Ortho_7_hauteurs.dgp\" target=\"_blank\" rel=\"noreferrer noopener\">cette figure<\/a> dans un nouvel onglet.<\/p>\n\n\n<div class=\"wp-block-image\">\n<figure class=\"aligncenter size-full\"><img decoding=\"async\" width=\"977\" height=\"548\" src=\"http:\/\/curvica974.re\/wp-content\/uploads\/2024\/04\/TR_7h_Ortho_APRES_ProgC.jpg\" alt=\"\" class=\"wp-image-7553\" srcset=\"https:\/\/curvica974.re\/wp-content\/uploads\/2024\/04\/TR_7h_Ortho_APRES_ProgC.jpg 977w, https:\/\/curvica974.re\/wp-content\/uploads\/2024\/04\/TR_7h_Ortho_APRES_ProgC-300x168.jpg 300w, https:\/\/curvica974.re\/wp-content\/uploads\/2024\/04\/TR_7h_Ortho_APRES_ProgC-768x431.jpg 768w\" sizes=\"(max-width: 977px) 100vw, 977px\" \/><\/figure><\/div>\n\n\n<p class=\"has-text-align-center has-small-font-size\"><em>Montrons quand m\u00eame le triangle orthocentrique obtenu &#8230;<\/em><\/p>\n\n\n\n<h2 class=\"wp-block-heading has-text-align-center\"><strong>Le cas de hauteurs parall\u00e8les<\/strong><\/h2>\n\n\n\n<p>Cette g\u00e9om\u00e9trie nous r\u00e9serve quelques autres surprises. Voici une figure comportant plusieurs configurations de triangles dont deux hauteurs sont parall\u00e8les.<\/p>\n\n\n\n<p><strong>Principe de ce type de figures<\/strong>. <\/p>\n\n\n\n<p>On aura compris, <a rel=\"noreferrer noopener\" href=\"http:\/\/curvica974.re\/?p=7083\" data-type=\"URL\" data-id=\"http:\/\/curvica974.re\/?p=7083\" target=\"_blank\">en voyant les coefficients alg\u00e9briques<\/a> en jeu qu&rsquo;il n&rsquo;est pas question de chercher alg\u00e9briquement ni le parall\u00e9lisme de deux hauteurs ni le concours formel de trois hauteurs. Par contre on peut trouver des solutions, \u00e0 la pr\u00e9cision de l&rsquo;ordinateur (en pratique \u00e0 \\(10^{-13}\\), la pr\u00e9cision du JavaScript, et donc largement au del\u00e0 du millioni\u00e8me de pixel), des constructions o\u00f9 il y a concours des hauteurs (comme on l&rsquo;a d\u00e9j\u00e0 fait pour les m\u00e9dianes), ou, comme ici, le parall\u00e9lisme de deux hauteurs. Pour cela on se rapproche \u00ab\u00a0\u00e0 la main\u00a0\u00bb d&rsquo;une solution, et on modifie la position d&rsquo;un sommet du triangle par it\u00e9rations successives jusqu&rsquo;\u00e0 la pr\u00e9cision maximale. En voici une premi\u00e8re illustration<\/p>\n\n\n<p><center><iframe src=\"https:\/\/www.dgpad.net\/responsive.php?url=https:\/\/drive.google.com\/file\/d\/17gxN9LfM-Shf5kfBTKAEHOV4Z6RzuOvR\/view?usp=drive_link\" style=\"width:1100px;height:620px;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>Choisir une configuration, activer le programme pour voir l&rsquo;effet, puis le d\u00e9sactiver avant de changer de configuration. <\/em><br><em>Dans le mode<\/em> \\(Libre\\)<em>, on peut d\u00e9placer l\u00e9g\u00e8rement un des points \\(B\\) ou \\(C\\)<\/em> <em>avec le programme activ\u00e9<\/em><br><em>(en rel\u00e2chant pour le programme aille \u00e0 son terme) &#8230; a priori, cela fonctionne.<\/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\/18-ULu5iiH9-jVXE1_xgxsjQ7YXUzETWm\/view?usp=drive_link\" data-type=\"URL\" data-id=\"https:\/\/www.dgpad.net\/index.php?url=http:\/\/curvica974.re\/FigSite\/NonArg\/HilbertAlgebrique\/Hauteurs_Paralleles_6config.dgp\" target=\"_blank\" rel=\"noreferrer noopener\">ouvrir cette figure<\/a> (plus grande) dans un nouvel onglet.<\/p>\n\n\n\n<p>Dans les pages suivantes on va s&rsquo;int\u00e9resser \u00e0 l&rsquo;exploration de triangles orthocentriques de la m\u00eame fa\u00e7on, avec des programmes qui finalisent le concours des hauteurs, et, dans un second temps, on abordera le r\u00e9gionnement du plan en fonction du nombre de perpendiculaires pour une droite donn\u00e9e.<\/p>\n","protected":false},"excerpt":{"rendered":"<p>En dehors des points de l\u2019ellipse, dont l\u2019\u00e9tude sera abord\u00e9e dans une page d\u00e9di\u00e9e, le mod\u00e8le non argu\u00e9sien de Hilbert est conforme. On peut rencontrer, a priori, deux types d\u2019orthogonalit\u00e9 : le cas ordinaire euclidien, \u00e0 l\u2019ext\u00e9rieur de l\u2019ellipse, et le cas d\u2019arcs de cercle orthogonaux, \u00e0 l\u2019int\u00e9rieur de l\u2019ellipse.Il [&hellip;]<\/p>\n","protected":false},"author":1,"featured_media":0,"parent":0,"menu_order":0,"comment_status":"closed","ping_status":"closed","template":"page-templates\/template-fullwidth.php","meta":{"footnotes":""},"jetpack_sharing_enabled":true,"_links":{"self":[{"href":"https:\/\/curvica974.re\/index.php?rest_route=\/wp\/v2\/pages\/136"}],"collection":[{"href":"https:\/\/curvica974.re\/index.php?rest_route=\/wp\/v2\/pages"}],"about":[{"href":"https:\/\/curvica974.re\/index.php?rest_route=\/wp\/v2\/types\/page"}],"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=136"}],"version-history":[{"count":38,"href":"https:\/\/curvica974.re\/index.php?rest_route=\/wp\/v2\/pages\/136\/revisions"}],"predecessor-version":[{"id":8281,"href":"https:\/\/curvica974.re\/index.php?rest_route=\/wp\/v2\/pages\/136\/revisions\/8281"}],"wp:attachment":[{"href":"https:\/\/curvica974.re\/index.php?rest_route=%2Fwp%2Fv2%2Fmedia&parent=136"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}