{"id":1799,"date":"2021-12-14T16:36:23","date_gmt":"2021-12-14T12:36:23","guid":{"rendered":"http:\/\/curvica974.re\/?page_id=1799"},"modified":"2024-03-22T13:24:53","modified_gmt":"2024-03-22T09:24:53","slug":"droite-de-hilbert-cas-2-les-droites-ab-avec-a-et-b-interieurs-a-lellipse","status":"publish","type":"page","link":"https:\/\/curvica974.re\/?page_id=1799","title":{"rendered":"Droites de Hilbert &#8211; Cas 2 &#8211; les droites (AB) avec A et B int\u00e9rieurs \u00e0 l\u2019ellipse"},"content":{"rendered":"\n<p>Retour \u00e0 la page de <a href=\"http:\/\/curvica974.re\/?page_id=2014\" data-type=\"URL\" data-id=\"http:\/\/curvica974.re\/?page_id=2014\" target=\"_blank\" rel=\"noreferrer noopener\">d\u00e9finition g\u00e9n\u00e9rale des droites<\/a> du mod\u00e8le de Hilbert<\/p>\n\n\n\n<p>Dans cette page, les points d\u00e9finissant les droites et les sommets des triangles sont tous \u00e0 l\u2019int\u00e9rieur de l\u2019ellipse de Hilbert. C\u2019est l\u2019occasion \u00e0 la fois d\u2019aller plus en d\u00e9tail sur les constructions dynamiques et d\u2019explorer quelques premi\u00e8res propri\u00e9t\u00e9s non argu\u00e9siennes de ce mod\u00e8le.<\/p>\n\n\n\n<p><strong>La construction dynamique des droites des cas 1 et 2.<\/strong><\/p>\n\n\n\n<p><br>Si l\u2019approche g\u00e9om\u00e9trique de la construction est \u00e9l\u00e9mentaire &#8211; ici le cercle circonscrit \u00e0 \\(A, B\\) et \\(F\\) coupe l\u2019ellipse en deux points \\(P_{ii}\\) et \\(Q_{ii}\\) &#8211; rendre cette construction dynamique demande un traitement particulier. En effet, si le cercle dynamique &#8211; \\(QuadF\\) dans le code ci-dessous &#8211; coupe l\u2019ellipse fixe \\(Hell\\) seulement en deux points, dynamiquement, ces deux points ne sont pas toujours les m\u00eames, ils d\u00e9pendent, entre autres, de l\u2019orientation du cercle. En fait c&rsquo;est une cons\u00e9quence de l&rsquo;incompatibilit\u00e9 entre la continuit\u00e9 des intersections et le d\u00e9terminisme des figures comme cela a d\u00e9j\u00e0 \u00e9t\u00e9 pr\u00e9sent\u00e9 <a href=\"http:\/\/curvica974.re\/?page_id=1198\" data-type=\"URL\" data-id=\"http:\/\/curvica974.re\/?page_id=1198\" target=\"_blank\" rel=\"noreferrer noopener\">ici<\/a>.<\/p>\n\n\n<div class=\"wp-block-image\">\n<figure class=\"aligncenter size-large\"><img decoding=\"async\" width=\"1024\" height=\"223\" src=\"http:\/\/curvica974.re\/wp-content\/uploads\/2021\/12\/Pii1-Pii2-Petit-1024x223.jpg\" alt=\"\" class=\"wp-image-1845\" srcset=\"https:\/\/curvica974.re\/wp-content\/uploads\/2021\/12\/Pii1-Pii2-Petit-1024x223.jpg 1024w, https:\/\/curvica974.re\/wp-content\/uploads\/2021\/12\/Pii1-Pii2-Petit-300x65.jpg 300w, https:\/\/curvica974.re\/wp-content\/uploads\/2021\/12\/Pii1-Pii2-Petit-768x167.jpg 768w, https:\/\/curvica974.re\/wp-content\/uploads\/2021\/12\/Pii1-Pii2-Petit.jpg 1304w\" sizes=\"(max-width: 1024px) 100vw, 1024px\" \/><\/figure><\/div>\n\n\n<p>On commence par d\u00e9clarer les 4 points d\u2019intersection entre les deux coniques \\(Hell\\) et \\(QuadF\\). Les logiciels de g\u00e9om\u00e9trie dynamique contemporains permettent d&rsquo;avoir acc\u00e8s aux intersections tels qu&rsquo;elles sont cod\u00e9es en interne dans le logiciel. <\/p>\n\n\n<div class=\"wp-block-image\">\n<figure class=\"alignright size-full\"><img decoding=\"async\" width=\"419\" height=\"109\" src=\"http:\/\/curvica974.re\/wp-content\/uploads\/2021\/12\/Code_PiiQii-petit.jpg\" alt=\"\" class=\"wp-image-1844\" srcset=\"https:\/\/curvica974.re\/wp-content\/uploads\/2021\/12\/Code_PiiQii-petit.jpg 419w, https:\/\/curvica974.re\/wp-content\/uploads\/2021\/12\/Code_PiiQii-petit-300x78.jpg 300w\" sizes=\"(max-width: 419px) 100vw, 419px\" \/><\/figure><\/div>\n\n\n<p>En pratique, il s\u2019agit de choisir entre deux paires d&rsquo;intersection (ce qui est plus simple). Le tout est ensuite plac\u00e9 dans une macro, et devient transparent \u00e0 l\u2019utilisation (les noms propos\u00e9s ici sont diff\u00e9rents de la figure car ils sont dans une macro plus g\u00e9n\u00e9rique).<\/p>\n\n\n\n<p><strong>Manipulation dynamique de cette construction<\/strong><\/p>\n\n\n\n<p>La figure suivante reprend dynamiquement l&rsquo;illustration ci-dessus : on a volontairement construit une seule partie e la construction pour voir le probl\u00e8me.<\/p>\n\n\n<p><center><iframe src=\"https:\/\/www.dgpad.net\/responsive.php?url=http:\/\/curvica974.re\/FigSite\/NonArg\/DroitesCas1et2SansCorrection_R.dgp\" style=\"width:1000px;height:450px;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>En faisant glisser \\(A\\) pour que la H-droite passe au dessus \\(F\\), observer ce qu\u2019il se passe, puis poursuivre \\(A\\) vers le haut en restant dans l\u2019ellipse, on voit la H-droite se reconstruire : la gestion interne des noms des intersections est plus complexe que la simple orientation du cercle.<\/em><\/p>\n\n\n\n<h2 class=\"wp-block-heading has-text-align-center\">Somme des angles d&rsquo;un triangle int\u00e9rieur \u00e0 l&rsquo;ellipse et cons\u00e9quences<\/h2>\n\n\n\n<p>Dans sa d\u00e9finition des angles, Hilbert pr\u00e9cise qu\u2019en dehors des points tr\u00e8s sp\u00e9cifiques de l\u2019ellipse, la d\u00e9finition des angles est celle usuelle. Dans le cas de trois points \u00e0 l\u2019int\u00e9rieur de l\u2019ellipse, la somme des angles est constante et \u00e9gale \u00e0 180\u00b0. La propri\u00e9t\u00e9 n\u2019est bien entendu pas li\u00e9e \u00e0 ce que les points soient int\u00e9rieurs \u00e0 l\u2019ellipse, mais bien au fait que les trois cercles d\u00e9finissant les c\u00f4t\u00e9s des triangles soient concourants en \\(F\\). La H-longueur des segments est la longueur euclidienne des objets utilis\u00e9s. On peut donc s\u2019int\u00e9resser \u00e0 la longueur des c\u00f4t\u00e9s d\u2019un triangle ayant ses trois angles \u00e9gaux. Ci-dessous, \u00e0 gauche, on se donne deux sommets \\(B\\) et \\(C\\) et on construit \\(A\\) tel que les angles en \\(B\\) et \\(C\\) soient de 60\u00b0. On mesure les longueurs des c\u00f4t\u00e9s. On voit alors que le triangle n\u2019est pas \u00e9quilat\u00e9ral (m\u00eame longueur).<\/p>\n\n\n<div class=\"wp-block-image\">\n<figure class=\"aligncenter size-large\"><img decoding=\"async\" width=\"1024\" height=\"311\" src=\"http:\/\/curvica974.re\/wp-content\/uploads\/2021\/12\/Angle180_et_TR-petit-1024x311.jpg\" alt=\"\" class=\"wp-image-1850\" srcset=\"https:\/\/curvica974.re\/wp-content\/uploads\/2021\/12\/Angle180_et_TR-petit-1024x311.jpg 1024w, https:\/\/curvica974.re\/wp-content\/uploads\/2021\/12\/Angle180_et_TR-petit-300x91.jpg 300w, https:\/\/curvica974.re\/wp-content\/uploads\/2021\/12\/Angle180_et_TR-petit-768x233.jpg 768w, https:\/\/curvica974.re\/wp-content\/uploads\/2021\/12\/Angle180_et_TR-petit.jpg 1530w\" sizes=\"(max-width: 1024px) 100vw, 1024px\" \/><\/figure><\/div>\n\n\n<p>On peut manipuler ces deux figures dans d&rsquo;autres onglets (se mettre en mode consultation, aucun outil s\u00e9lectionn\u00e9) et bien entendu conserver les points \u00e0 l&rsquo;int\u00e9rieur de l&rsquo;ellipse: <br>\u2022 <a rel=\"noreferrer noopener\" href=\"https:\/\/www.dgpad.net\/index.php?url=http:\/\/curvica974.re\/FigSite\/NonArg\/Angles_TR_dans_HEll.dgp\" data-type=\"URL\" data-id=\"https:\/\/www.dgpad.net\/index.php?url=http:\/\/curvica974.re\/FigSite\/NonArg\/Angles_TR_dans_HEll.dgp\" target=\"_blank\">H-triangle dans l&rsquo;ellipse<\/a> comme illustr\u00e9 \u00e0 gauche et <br>\u2022 H-triangle int\u00e9rieur \u00e0 l&rsquo;ellipse <a rel=\"noreferrer noopener\" href=\"https:\/\/www.dgpad.net\/index.php?url=http:\/\/curvica974.re\/FigSite\/NonArg\/Angles_TR_Hell_60deg.dgp\" data-type=\"URL\" data-id=\"https:\/\/www.dgpad.net\/index.php?url=http:\/\/curvica974.re\/FigSite\/NonArg\/Angles_TR_Hell_60deg.dgp\" target=\"_blank\">dont les trois angles mesurent 60\u00b0<\/a> (illustration de droite).<\/p>\n\n\n\n<p><strong>El\u00e9ments de preuve pour \u00ab\u00a0somme des angles \u00e9gale \u00e0 deux droits\u00a0\u00bb<\/strong><\/p>\n\n\n\n<p>On travaille sur une figure g\u00e9n\u00e9rique (hors du rapport \u00e0 l\u2019int\u00e9rieur de l\u2019ellipse), en conservant seulement que les trois points \\(A, B, C\\) sont du m\u00eame c\u00f4t\u00e9 (\u00e0 gauche) du point \\(F\\). Commen\u00e7ons par observer les \u00e9galit\u00e9s d&rsquo;angles d\u00e9gag\u00e9es dans cette galerie (6 illustrations) :<\/p>\n\n\n\n\n\n\n<p>Si, dans ces illustrations, on a l&rsquo;\u00e9galit\u00e9 \\(\\angle I_{ac}FI_{bc} + \\angle I_{bc}FI_{ab} = \\angle I_{ac}FI_{ab}\\), dans le cas g\u00e9n\u00e9ral, selon quel est le segment \\([I_{xy}F]\\) entre les deux autres, il est clair que c\u2019est le plus grand des trois angles en \\(F\\) qui est \u00e9gal \u00e0 la somme des deux autres &#8230; et donc selon lequel des centres des trois cercles est d&rsquo;ordonn\u00e9es entre les deux autres.<\/p>\n\n\n\n<p>Or c\u2019est aussi pour le plus grand de ces trois angles (entre \\(\\angle I_{bc}BI_{ab} , \\angle I_{ac}AI_{ab} , \\angle I_{ac}CI_{bc}\\) ) qu\u2019il faut prendre le suppl\u00e9mentaire pour obtenir l\u2019angle de \\(ABC\\) en le sommet consid\u00e9r\u00e9.<\/p>\n\n\n\n<p>La somme (des mesures) des angles est alors : \\(180 + \\angle I_{bc}BI_{ab} + \\angle I_{ac}AI_{ab} + \\angle I_{ac}CI_{bc} &#8211; 2 \\times max(\\angle I_{bc}BI_{ab} , \\angle I_{ac}AI_{ab} , \\angle I_{ac}CI_{bc})\\), soit d&rsquo;apr\u00e8s ce qui pr\u00e9c\u00e8de : 180\u00b0.<\/p>\n\n\n\n<p><strong>Une cons\u00e9quence imm\u00e9diate mais significative<\/strong><\/p>\n\n\n\n<p>On se donne trois points \\(A, B, C\\) et tel que l\u2019angle en \\(B\\) soit droit. Puis on construit \\(D\\) tel que \\(ABCD\\) ait ses trois angles en \\(A\\) et \\(C\\) droits. On a vu qu\u2019alors l\u2019angle en \\(D\\) est droit. On a donc un quadrangle rectangle : un quadrilat\u00e8re dont les quatre angles sont droits. <\/p>\n\n\n\n<p>Sur l\u2019illustration de gauche, on fait apparaitre plusieurs r\u00e9sultats. Tout d&rsquo;abord, une v\u00e9rification \u00ab\u00a0logicielle\u00a0\u00bb que l\u2019angle en \\(D\\) est droit (c&rsquo;est le logiciel qui construit la marque \u00ab\u00a0du droit\u00a0\u00bb). Ensuite on voit les alignements des centres euclidiens des cercles supports. \\(IorthBC\\) est le centre du cercle passant par \\(A\\) et \\(F\\), orthogonal \u00e0 \\((BC)\\). De m\u00eame \\(IorthAB\\) est le centre du cercle orthogonal \u00e0   \\((AB)\\)passant par  \\(A\\) et \\(F\\).<\/p>\n\n\n\n<figure class=\"wp-block-image size-large\"><img decoding=\"async\" width=\"1024\" height=\"385\" src=\"http:\/\/curvica974.re\/wp-content\/uploads\/2021\/12\/Consequence-Rect-int-Helle-Petit-1024x385.jpg\" alt=\"\" class=\"wp-image-1873\" srcset=\"https:\/\/curvica974.re\/wp-content\/uploads\/2021\/12\/Consequence-Rect-int-Helle-Petit-1024x385.jpg 1024w, https:\/\/curvica974.re\/wp-content\/uploads\/2021\/12\/Consequence-Rect-int-Helle-Petit-300x113.jpg 300w, https:\/\/curvica974.re\/wp-content\/uploads\/2021\/12\/Consequence-Rect-int-Helle-Petit-768x289.jpg 768w, https:\/\/curvica974.re\/wp-content\/uploads\/2021\/12\/Consequence-Rect-int-Helle-Petit.jpg 1109w\" sizes=\"(max-width: 1024px) 100vw, 1024px\" \/><\/figure>\n\n\n\n<p>Sur l&rsquo;illustration de droite, non seulement on illustre que les H-droites support des c\u00f4t\u00e9s oppos\u00e9s d&rsquo;un rectangle ne sont pas parall\u00e8les. Mais surtout, il en r\u00e9sulte que l&rsquo;on construit ainsi deux points \\(M\\) et \\(N\\) desquels on peut mener deux perpendiculaires, non seulement \u00e0 une droite, mais m\u00eame \u00e0 deux droites non parall\u00e8les : de \\(M\\) on m\u00e8ne deux perpendiculaires \u00e0 \\((NB)\\) mais aussi \u00e0  \\((NA)\\) &#8230; et ce sont les m\u00eames. De m\u00eame en inversant les r\u00f4les de \\(M\\) et \\(N\\).<\/p>\n\n\n\n<p>Il en r\u00e9sulte par exemple que le triangle \\(MAN\\) est rectangle en \\(A\\) mais poss\u00e8de une autre hauteur issue de \\(M\\) et une autre issue de \\(N\\). On verra dans les pages sur l&rsquo;orthogonalit\u00e9 comment modifier la figure pour que \\(C\\) soit un second orthocentre de \\(MAN\\).<\/p>\n\n\n\n<p><strong>Manipulation de la figure associ\u00e9<\/strong><\/p>\n\n\n<p><center><iframe src=\"https:\/\/www.dgpad.net\/responsive.php?url=http:\/\/curvica974.re\/FigSite\/NonArg\/Consequence_QD_intHell_R.dgp\" style=\"width:1000px;height:520px;border-style:solid;border-width:1px;box-shadow: 6px 6px 3px #888888;\"><\/iframe><\/center><\/p>\n\n\n\n<h2 class=\"wp-block-heading has-text-align-center\">Quelques propri\u00e9t\u00e9s de la g\u00e9om\u00e9trie \u00e0 l&rsquo;int\u00e9rieur de l&rsquo;ellipse<\/h2>\n\n\n\n<p>Dans ce paragraphe, nous allons voir quelques propri\u00e9t\u00e9s imm\u00e9diates d&rsquo;un triangle int\u00e9rieur \u00e0 l&rsquo;ellipse. Ce sont essentiellement des cons\u00e9quences de l&rsquo;inversion.<\/p>\n\n\n\n<p><strong>Hauteurs et intersection des m\u00e9dianes d&rsquo;un H-triangle int\u00e9rieur \u00e0 l&rsquo;ellipse<\/strong><\/p>\n\n\n\n<p>Les hauteurs sont les traces des cercles orthogonaux aux cercles supports des c\u00f4t\u00e9s du triangle. Les milieux des c\u00f4t\u00e9s du H-triangle sont les milieux usuels des arcs de cercle, ce qui permet de construire les m\u00e9dianes. Comme la figure est non li\u00e9e \u00e0 l\u2019ellipse, on la construit dans un cadre g\u00e9n\u00e9ral, en conservant \u00e0 l\u2019esprit que le sens de ce qui est fait doit \u00eatre recontextualis\u00e9 \u00e0 la g\u00e9om\u00e9trie \u00e9tudi\u00e9e, celle o\u00f9 les trois sommets et les objets consid\u00e9r\u00e9s sont int\u00e9rieurs \u00e0 l\u2019ellipse.<\/p>\n\n\n<div class=\"wp-block-image\">\n<figure class=\"aligncenter size-large\"><img decoding=\"async\" width=\"1024\" height=\"354\" src=\"http:\/\/curvica974.re\/wp-content\/uploads\/2021\/12\/Prelude-Hauteurs-1024x354.png\" alt=\"\" class=\"wp-image-1878\" srcset=\"https:\/\/curvica974.re\/wp-content\/uploads\/2021\/12\/Prelude-Hauteurs-1024x354.png 1024w, https:\/\/curvica974.re\/wp-content\/uploads\/2021\/12\/Prelude-Hauteurs-300x104.png 300w, https:\/\/curvica974.re\/wp-content\/uploads\/2021\/12\/Prelude-Hauteurs-768x266.png 768w, https:\/\/curvica974.re\/wp-content\/uploads\/2021\/12\/Prelude-Hauteurs-1536x531.png 1536w, https:\/\/curvica974.re\/wp-content\/uploads\/2021\/12\/Prelude-Hauteurs.png 1642w\" sizes=\"(max-width: 1024px) 100vw, 1024px\" \/><\/figure><\/div>\n\n\n<p class=\"has-small-font-size\"><strong><em>\u00e0 gauche<\/em><\/strong><em> : trois cercles passant par \\(F\\) d\u00e9finissent le H-triangle \\(ABC\\).<\/em><br><em><strong>au centre<\/strong> : chacun des cercles passant par un sommet (et par \\(F\\) pour \u00eatre une H-droite) et orthogonal au cercle support du c\u00f4t\u00e9 oppos\u00e9 est le support de la H-hauteur issue de ce sommet.<br><strong>\u00e0 droite<\/strong> : ces trois cercles orthogonaux sont concourants en un point \\(H\\) qui est le sym\u00e9trique de \\(F\\) par rapport \u00e0 la droite des centres des hauteurs du H-triangle \\(ABC\\).<\/em><\/p>\n\n\n\n<p>Ce qui donne au sein de l&rsquo;ellipse :<\/p>\n\n\n\n<figure class=\"wp-block-image size-large\"><img decoding=\"async\" width=\"1024\" height=\"251\" src=\"http:\/\/curvica974.re\/wp-content\/uploads\/2021\/12\/Hauteurs-dans-Hell-1-1024x251.jpg\" alt=\"\" class=\"wp-image-1882\" srcset=\"https:\/\/curvica974.re\/wp-content\/uploads\/2021\/12\/Hauteurs-dans-Hell-1-1024x251.jpg 1024w, https:\/\/curvica974.re\/wp-content\/uploads\/2021\/12\/Hauteurs-dans-Hell-1-300x74.jpg 300w, https:\/\/curvica974.re\/wp-content\/uploads\/2021\/12\/Hauteurs-dans-Hell-1-768x188.jpg 768w, https:\/\/curvica974.re\/wp-content\/uploads\/2021\/12\/Hauteurs-dans-Hell-1.jpg 1530w\" sizes=\"(max-width: 1024px) 100vw, 1024px\" \/><\/figure>\n\n\n\n<p class=\"has-small-font-size\"><em><strong>\u00e0 gauche<\/strong> : quand \\(H\\) est \u00e0 l&rsquo;ext\u00e9rieur, il n&rsquo;est pas sur les H-hauteurs<br><strong>\u00e0 droite<\/strong> : quand \\(H\\) est \u00e0 l&rsquo;int\u00e9rieur de l&rsquo;ellipse, il est sur toutes les hauteurs, c&rsquo;est bien l&rsquo;orthocentre du triangle \\(ABC\\).<\/em><\/p>\n\n\n\n<figure class=\"wp-block-image size-full\"><img decoding=\"async\" width=\"907\" height=\"323\" src=\"http:\/\/curvica974.re\/wp-content\/uploads\/2021\/12\/Pre\u0301lude-Medianes-Petit.jpg\" alt=\"\" class=\"wp-image-1883\" srcset=\"https:\/\/curvica974.re\/wp-content\/uploads\/2021\/12\/Pre\u0301lude-Medianes-Petit.jpg 907w, https:\/\/curvica974.re\/wp-content\/uploads\/2021\/12\/Pre\u0301lude-Medianes-Petit-300x107.jpg 300w, https:\/\/curvica974.re\/wp-content\/uploads\/2021\/12\/Pre\u0301lude-Medianes-Petit-768x273.jpg 768w\" sizes=\"(max-width: 907px) 100vw, 907px\" \/><\/figure>\n\n\n\n<p class=\"has-small-font-size\"><strong><em>\u00e0 gauche<\/em><\/strong><em> : les milieux des c\u00f4t\u00e9s du H-triangle \\(ABC\\).<\/em><br><em><strong>au centre<\/strong> : les H-m\u00e9dianes sont concourantes &#8230;<br><strong>\u00e0 droite<\/strong> : &#8230; en le sym\u00e9trique de \\(F\\)<\/em> <em>par rapport \u00e0 la droite euclidienne de centres des H-m\u00e9dianes<\/em>.<\/p>\n\n\n\n<p><strong>Manipulations sur ces deux figures g\u00e9n\u00e9riques<\/strong> &#8230;<\/p>\n\n\n<p><center><iframe src=\"https:\/\/www.dgpad.net\/responsive.php?url=http:\/\/curvica974.re\/FigSite\/NonArg\/HG_pourABC_Checkbox_R.dgp\" style=\"width:940px;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 les points \\(A, B, C\\)<\/em> <em>et<\/em> <em><em>\\(F\\)<\/em><\/em>.<\/p>\n\n\n\n<p class=\"has-text-align-left\"><strong><br>&#8230; et dans la version \u00ab\u00a0Mod\u00e8le de Hilbert\u00a0\u00bb, dans l&rsquo;ellipse<\/strong><\/p>\n\n\n<p><center><iframe src=\"https:\/\/www.dgpad.net\/responsive.php?url=http:\/\/curvica974.re\/FigSite\/NonArg\/GetH_dansHell_R.dgp\" style=\"width:900px;height:450px;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>Les H-hauteurs vertes, les H-m\u00e9dianes marrons de<\/em> <em><em>\\(ABC\\)<\/em> int\u00e9rieur \u00e0 l\u2019ellipse. Penser \u00e0 faire sortir H de l&rsquo;ellipse.<\/em><\/p>\n\n\n\n<p><strong>Preuve du r\u00e9sultat sur les hauteurs<\/strong><\/p>\n\n\n<div class=\"wp-block-image\">\n<figure class=\"alignright size-full is-resized\"><img decoding=\"async\" src=\"http:\/\/curvica974.re\/wp-content\/uploads\/2021\/12\/Preuve-Hauteur-Inv-Petit.jpg\" alt=\"\" class=\"wp-image-1894\" width=\"458\" height=\"366\" srcset=\"https:\/\/curvica974.re\/wp-content\/uploads\/2021\/12\/Preuve-Hauteur-Inv-Petit.jpg 727w, https:\/\/curvica974.re\/wp-content\/uploads\/2021\/12\/Preuve-Hauteur-Inv-Petit-300x240.jpg 300w\" sizes=\"(max-width: 458px) 100vw, 458px\" \/><\/figure><\/div>\n\n\n<p>C\u2019est une simple cons\u00e9quence des propri\u00e9t\u00e9s de l\u2019inversion. On sait que l\u2019inverse d\u2019un cercle passant par le centre de l\u2019inversion est une droite et que l\u2019inversion transforme un angle en son oppos\u00e9 et donc les cercles orthogonaux en droites orthogonales. Comme l\u2019inversion est involutive (elle est bijective et est sa propre r\u00e9ciproque), l\u2019existence de l\u2019orthocentre d\u2019un triangle euclidien assure celle du mod\u00e8le des H-hauteurs des H-triangles (quand il est \u00e0 l\u2019int\u00e9rieur de l\u2019ellipse de Hilbert).Dans l\u2019illustration ci-contre, on a pris un cercle centr\u00e9 en \\(F\\) et assez grand pour englober les trois cercles c\u00f4t\u00e9s du triangle \\(ABC\\) (ce n\u2019est pas n\u00e9cessaire c\u2019est juste une question d\u2019esth\u00e9tique). L\u2019int\u00e9rieur du cercle a \u00e9t\u00e9 colori\u00e9e pour un meilleur rep\u00e8re.<\/p>\n\n\n\n<p><a href=\"https:\/\/www.dgpad.net\/index.php?url=http:\/\/curvica974.re\/FigSite\/NonArg\/Preuve_Hauteur_Inverse.dgp\" data-type=\"URL\" data-id=\"https:\/\/www.dgpad.net\/index.php?url=http:\/\/curvica974.re\/FigSite\/NonArg\/Preuve_Hauteur_Inverse.dgp\" target=\"_blank\" rel=\"noreferrer noopener\">Dans la figure associ\u00e9e<\/a> (s&rsquo;ouvre dans un nouvel onglet)  on peut modifier la taille du cercle d&rsquo;inversion simplement en tirant dessus. On a ajout\u00e9 des points \\(M, N, P\\) sur les cercles H-hauteurs, avec leurs inverses. On peut ainsi parcourir les trois inverses des hauteurs avec ces points. Le triangle euclidien des inverses a pour orthocentre le point \\(invH\\). Son image par l&rsquo;inversion est donc un point appartenant aux trois cercles H-hauteurs, not\u00e9 \\(H=inv(invH)\\). L\u2019existence de \\(H\\) comme intersection des H-hauteurs de \\(ABC\\) assure aussi que les trois centres \\(ohA, ohB, ohC\\)de ces cercles, qui passent par \\(H\\) et \\(F\\) sont sur la m\u00e9diatrice de ces deux points et donc align\u00e9s.<\/p>\n\n\n\n<p><strong>Preuve du r\u00e9sultat sur les m\u00e9dianes<\/strong><\/p>\n\n\n<div class=\"wp-block-image\">\n<figure class=\"aligncenter size-large\"><img decoding=\"async\" width=\"1024\" height=\"696\" src=\"http:\/\/curvica974.re\/wp-content\/uploads\/2021\/12\/Capture-de\u0301cran-2021-12-17-a\u0300-13.59.18-1024x696.png\" alt=\"\" class=\"wp-image-1898\" srcset=\"https:\/\/curvica974.re\/wp-content\/uploads\/2021\/12\/Capture-de\u0301cran-2021-12-17-a\u0300-13.59.18-1024x696.png 1024w, https:\/\/curvica974.re\/wp-content\/uploads\/2021\/12\/Capture-de\u0301cran-2021-12-17-a\u0300-13.59.18-300x204.png 300w, https:\/\/curvica974.re\/wp-content\/uploads\/2021\/12\/Capture-de\u0301cran-2021-12-17-a\u0300-13.59.18-768x522.png 768w, https:\/\/curvica974.re\/wp-content\/uploads\/2021\/12\/Capture-de\u0301cran-2021-12-17-a\u0300-13.59.18-1536x1043.png 1536w, https:\/\/curvica974.re\/wp-content\/uploads\/2021\/12\/Capture-de\u0301cran-2021-12-17-a\u0300-13.59.18.png 1796w\" sizes=\"(max-width: 1024px) 100vw, 1024px\" \/><\/figure><\/div>\n\n<div class=\"wp-block-image\">\n<figure class=\"aligncenter size-large\"><img decoding=\"async\" width=\"1024\" height=\"673\" src=\"http:\/\/curvica974.re\/wp-content\/uploads\/2021\/12\/Capture-de\u0301cran-2021-12-17-a\u0300-14.04.01-1024x673.png\" alt=\"\" class=\"wp-image-1901\" srcset=\"https:\/\/curvica974.re\/wp-content\/uploads\/2021\/12\/Capture-de\u0301cran-2021-12-17-a\u0300-14.04.01-1024x673.png 1024w, https:\/\/curvica974.re\/wp-content\/uploads\/2021\/12\/Capture-de\u0301cran-2021-12-17-a\u0300-14.04.01-300x197.png 300w, https:\/\/curvica974.re\/wp-content\/uploads\/2021\/12\/Capture-de\u0301cran-2021-12-17-a\u0300-14.04.01-768x505.png 768w, https:\/\/curvica974.re\/wp-content\/uploads\/2021\/12\/Capture-de\u0301cran-2021-12-17-a\u0300-14.04.01-1536x1010.png 1536w, https:\/\/curvica974.re\/wp-content\/uploads\/2021\/12\/Capture-de\u0301cran-2021-12-17-a\u0300-14.04.01.png 1828w\" sizes=\"(max-width: 1024px) 100vw, 1024px\" \/><\/figure><\/div>\n\n\n<p><a href=\"https:\/\/www.dgpad.net\/index.php?url=http:\/\/curvica974.re\/FigSite\/NonArg\/Preuve_Medianes_Inverse.dgp\" data-type=\"URL\" data-id=\"https:\/\/www.dgpad.net\/index.php?url=http:\/\/curvica974.re\/FigSite\/NonArg\/Preuve_Medianes_Inverse.dgp\" target=\"_blank\" rel=\"noreferrer noopener\">Ouvrir et manipuler la figure associ\u00e9e<\/a> dans un autre onglet<\/p>\n\n\n\n<p><strong>Utilisation de l&rsquo;orthocentre pour un autre r\u00e9sultat sp\u00e9cifiquement non-argu\u00e9sien<\/strong><\/p>\n\n\n\n<p>Nous allons utiliser l\u2019existence du H-orthocentre d\u2019un triangle int\u00e9rieur \u00e0 l\u2019ellipse pour construire deux droites parall\u00e8les ayant deux perpendiculaires diff\u00e9rentes issues d\u2019un m\u00eame point, ce qui est une situation diff\u00e9rente de celle pr\u00e9c\u00e9dente construite \u00e0 partir d&rsquo;un rectangle ou on construisait des perpendiculaires communes \u00e0 deux droites non parall\u00e8les.<\/p>\n\n\n\n<p>On part donc d&rsquo;un triangle int\u00e9rieur \u00e0 l\u2019ellipse avec ses trois hauteurs et son orthocentre int\u00e9rieur \u00e0 l&rsquo;ellipse. On se donne un point \\(M\\) sur la hauteur issue de \\(B\\) , ext\u00e9rieur \u00e0 l\u2019ellipse de fa\u00e7on \u00e0 ce que le H-triangle \\(MNP\\) que l\u2019on va construire soit un triangle euclidien. De \\(M\\) on m\u00e8ne la H-parall\u00e8le \u00e0 \\((AB)\\). Pour cela on utilise les supports euclidiens des droites. Elle coupe la H-hauteur issue de \\(A\\) en \\(N\\). La H-parall\u00e8le \u00e0 \\((BC)\\) issue de \\(M\\) coupe la H-parall\u00e8le \u00e0 \\((AC)\\) issue de \\(N\\) en \\(P\\). A priori \\(P\\) n&rsquo;est pas sur la H-hauteur issue de \\(C\\). C&rsquo;est<em> l&rsquo;illustration de gauche<\/em> le triangle \\(ABC\\) a ses c\u00f4t\u00e9s parall\u00e8les \u00e0 ceux du triangle \\(MNP\\) par construction m\u00eame de \\(MNP\\).<\/p>\n\n\n\n<figure class=\"wp-block-image size-large\"><img decoding=\"async\" width=\"1024\" height=\"361\" src=\"http:\/\/curvica974.re\/wp-content\/uploads\/2021\/12\/Hauteur-consequence-Parall-Petit-1024x361.jpg\" alt=\"\" class=\"wp-image-1905\" srcset=\"https:\/\/curvica974.re\/wp-content\/uploads\/2021\/12\/Hauteur-consequence-Parall-Petit-1024x361.jpg 1024w, https:\/\/curvica974.re\/wp-content\/uploads\/2021\/12\/Hauteur-consequence-Parall-Petit-300x106.jpg 300w, https:\/\/curvica974.re\/wp-content\/uploads\/2021\/12\/Hauteur-consequence-Parall-Petit-768x271.jpg 768w, https:\/\/curvica974.re\/wp-content\/uploads\/2021\/12\/Hauteur-consequence-Parall-Petit.jpg 1125w\" sizes=\"(max-width: 1024px) 100vw, 1024px\" \/><\/figure>\n\n\n\n<p>On trace ensuite les trois H-hauteurs de \\(MNP\\). La configuration est telle que les pieds des H-hauteurs sont les m\u00eame que dans le cas euclidien, donc on peut tracer ces droites avec les macros du \u00abcas 1\u00bb. En pratique, on se place dans une configuration o\u00f9 le H-orthocentre de \\(MNP\\) existe car c\u2019est aussi l\u2019orthocentre euclidien de \\(MNP\\) euclidien. (<em>illustration de droite<\/em>)<\/p>\n\n\n\n<p>Du point \\(M\\) on a donc men\u00e9<br>\u2022 (en vert fonc\u00e9) la perpendiculaire \u00e0 \\((AC)\\) issue de \\(M\\).<br>\u2022 (en vert clair) la perpendiculaire \u00e0 \\((NP)\/\/(AC)\\) issue de \\(M\\).<br><strong>De \\(M\\) on a donc men\u00e9 deux perpendiculaires diff\u00e9rentes \u00e0 deux droites parall\u00e8les.<\/strong> Idem pour \\(N\\).<\/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=http:\/\/curvica974.re\/FigSite\/NonArg\/Consequence_hauteurs_parall_R.dgp\" style=\"width:900px;height:450px;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>Il faut activer les deux cases \u00e0 cocher pour voir la propri\u00e9t\u00e9 d\u00e9crite. On peut d\u00e9placer \\(A, B, C\\)  en gardant \\(H\\) dans l&rsquo;ellipse. <\/em><br><em>Cependant, la figure n&rsquo;est pas tr\u00e8s stable : r\u00e9alis\u00e9e avec des macros transitoires, tous les cas ne sont pas trait\u00e9s.<\/em><\/p>\n\n\n\n<p><a rel=\"noreferrer noopener\" href=\"https:\/\/www.dgpad.net\/index.php?url=http:\/\/curvica974.re\/FigSite\/NonArg\/Consequence_hauteurs_paralleles.dgp\" data-type=\"URL\" data-id=\"https:\/\/www.dgpad.net\/index.php?url=http:\/\/curvica974.re\/FigSite\/NonArg\/Consequence_hauteurs_paralleles.dgp\" target=\"_blank\">Ouvrir la figure<\/a> (plein \u00e9cran, non restreinte) dans un autre onglet.<\/p>\n\n\n\n<p>On ferait de m\u00eame avec les bissectrices int\u00e9rieures ou ext\u00e9rieures pour un triangle  int\u00e9rieur \u00e0 l&rsquo;ellipse, avec des  arguments proches de ceux sur les hauteurs. Mais comme il y a une subtilit\u00e9 technique entre les bissectrices int\u00e9rieures et ext\u00e9rieures, ce point est report\u00e9 \u00e0 un post de blog.<\/p>\n\n\n\n<p><\/p>\n\n\n\n<p class=\"has-text-align-center\"><a href=\"http:\/\/curvica974.re\/?page_id=134\" data-type=\"URL\" data-id=\"http:\/\/curvica974.re\/?page_id=134\">Droites cas 1<\/a>   |   <a href=\"http:\/\/curvica974.re\/?page_id=1799\" data-type=\"URL\" data-id=\"http:\/\/curvica974.re\/?page_id=1799\">Droites cas 2<\/a>   |   <a href=\"http:\/\/curvica974.re\/?page_id=1910\" data-type=\"URL\" data-id=\"http:\/\/curvica974.re\/?page_id=1910\">Droites cas 3<\/a><\/p>\n\n\n\n<p><strong>Compl\u00e9ment<\/strong><\/p>\n\n\n\n<p>Page de <a href=\"http:\/\/curvica974.re\/?p=3850\" data-type=\"URL\" data-id=\"http:\/\/curvica974.re\/?p=3850\" target=\"_blank\" rel=\"noreferrer noopener\">pr\u00e9sentation<\/a> des macros permettant de r\u00e9aliser des figures dans les cas 1 et 2.<\/p>\n","protected":false},"excerpt":{"rendered":"<p>Retour \u00e0 la page de d\u00e9finition g\u00e9n\u00e9rale des droites du mod\u00e8le de Hilbert Dans cette page, les points d\u00e9finissant les droites et les sommets des triangles sont tous \u00e0 l\u2019int\u00e9rieur de l\u2019ellipse de Hilbert. C\u2019est l\u2019occasion \u00e0 la fois d\u2019aller plus en d\u00e9tail sur les constructions dynamiques et d\u2019explorer quelques [&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\/1799"}],"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=1799"}],"version-history":[{"count":29,"href":"https:\/\/curvica974.re\/index.php?rest_route=\/wp\/v2\/pages\/1799\/revisions"}],"predecessor-version":[{"id":7163,"href":"https:\/\/curvica974.re\/index.php?rest_route=\/wp\/v2\/pages\/1799\/revisions\/7163"}],"wp:attachment":[{"href":"https:\/\/curvica974.re\/index.php?rest_route=%2Fwp%2Fv2%2Fmedia&parent=1799"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}