{"id":2104,"date":"2021-12-20T17:17:48","date_gmt":"2021-12-20T13:17:48","guid":{"rendered":"http:\/\/curvica974.re\/?page_id=2104"},"modified":"2024-07-15T19:21:55","modified_gmt":"2024-07-15T15:21:55","slug":"regionnement-de-lexterieur-de-lellipse-pour-lorthogonalite-a-une-h-droite","status":"publish","type":"page","link":"https:\/\/curvica974.re\/?page_id=2104","title":{"rendered":"Archive &#8211; R\u00e9gionnement du plan pour l&rsquo;orthogonalit\u00e9 \u00e0 une H-droite"},"content":{"rendered":"\n<p class=\"has-small-font-size\"><em>Cette page a \u00e9t\u00e9 \u00e9crite AVANT la mise en \u0153uvre des droites de Hilbert alg\u00e9briques. Un nouveau travail sur ce th\u00e8me est en court, qui devrait aboutir \u00e0 une r\u00e9\u00e9criture plus aboutie de cette page<\/em>. <em>Une premi\u00e8re page a d\u00e9j\u00e0 \u00e9t\u00e9 r\u00e9alis\u00e9e.<\/em><br><em>Les notations de la nouvelle page est diff\u00e9rente de celles de cette ancienne pr\u00e9sentation.<\/em><\/p>\n\n\n\n<p>Dans cette page, on ne propose qu&rsquo;une toute premi\u00e8re exploration de cette probl\u00e9matique relativement lourde pour un traitement dynamique g\u00e9n\u00e9ral.<\/p>\n\n\n\n<h2 class=\"wp-block-heading has-text-align-center\">Introduction au r\u00e9gionnement<\/h2>\n\n\n<div class=\"wp-block-image\">\n<figure class=\"alignright size-large is-resized\"><img decoding=\"async\" width=\"1024\" height=\"941\" src=\"http:\/\/curvica974.re\/wp-content\/uploads\/2021\/12\/image-15-1024x941.png\" alt=\"\" class=\"wp-image-2105\" style=\"width:496px;height:455px\" srcset=\"https:\/\/curvica974.re\/wp-content\/uploads\/2021\/12\/image-15-1024x941.png 1024w, https:\/\/curvica974.re\/wp-content\/uploads\/2021\/12\/image-15-300x276.png 300w, https:\/\/curvica974.re\/wp-content\/uploads\/2021\/12\/image-15-768x705.png 768w, https:\/\/curvica974.re\/wp-content\/uploads\/2021\/12\/image-15.png 1363w\" sizes=\"(max-width: 1024px) 100vw, 1024px\" \/><\/figure><\/div>\n\n\n<p>Puisque l\u2019on s\u2019int\u00e9resse aux droites rencontrant l\u2019ellipse, on choisit de piloter cette droite par ses points sur l\u2019ellipse, \\(U\\) et \\(V\\). En notant \\(oUV\\) le centre de l\u2019arc de cercle int\u00e9rieur \u00e0 l\u2019ellipse, les centres des arcs de cercle orthogonaux \u00e0 \\((UV)\\) sont sur la perpendiculaire \u00e0 \\((FoUV)\\) passant par \\(F\\). Les arcs orthogonaux limites sont de centre \\(oOrthU\\) et \\(oOrthV\\) intersection de cette perpendiculaire avec les  m\u00e9diatrices de \\([UF]\\) et \\([VF]\\) respectivement (en pointill\u00e9). On construit ainsi les H-droites limites (en bleu), H-orthogonales \u00e0 \\((UV)\\) en \\(U\\) et \\(V\\), qui vont faire partie des fronti\u00e8res du r\u00e9gionnement. <\/p>\n\n\n\n<p>Dans la suite on notera \\(sU\\) et \\(sV\\) les autres intersections que \\(U\\) et \\(V\\) de ces droites avec l\u2019ellipse (illustr\u00e9 ci-dessous). <\/p>\n\n\n\n<p>Les autres fronti\u00e8res qui vont intervenir dans le r\u00e9gionnement sont les parties ext\u00e9rieures \u00e0 l\u2019ellipse (demi-droites roses) des perpendiculaires euclidiennes \u00e0 la droite \\((UV)\\) en \\(U\\) et \\(V\\).<\/p>\n\n\n\n<p>On note \\(soU\\) et \\(soV\\) les autres points d\u2019intersection de ces droites avec l\u2019ellipse.<\/p>\n\n\n\n<figure class=\"wp-block-image size-large\"><img decoding=\"async\" width=\"1024\" height=\"387\" src=\"http:\/\/curvica974.re\/wp-content\/uploads\/2021\/12\/New-Illustr-2ill-Petit-1024x387.jpg\" alt=\"\" class=\"wp-image-2108\" srcset=\"https:\/\/curvica974.re\/wp-content\/uploads\/2021\/12\/New-Illustr-2ill-Petit-1024x387.jpg 1024w, https:\/\/curvica974.re\/wp-content\/uploads\/2021\/12\/New-Illustr-2ill-Petit-300x113.jpg 300w, https:\/\/curvica974.re\/wp-content\/uploads\/2021\/12\/New-Illustr-2ill-Petit-768x291.jpg 768w, https:\/\/curvica974.re\/wp-content\/uploads\/2021\/12\/New-Illustr-2ill-Petit.jpg 1163w\" sizes=\"(max-width: 1024px) 100vw, 1024px\" \/><\/figure>\n\n\n\n<p>Pour se familiariser avec les questions que nous allons aborder dans la suite, la figure suivante permet de manipuler la construction de base pr\u00e9sent\u00e9e ici. Un point \\(Q\\) est aimant\u00e9 par les quatre demi-droites vertes constituant les deux perpendiculaires en <meta http-equiv=\"content-type\" content=\"text\/html; charset=utf-8\">\\(M\\) et <meta http-equiv=\"content-type\" content=\"text\/html; charset=utf-8\">\\(N\\), \u00e0 100 pixels donc pas n\u00e9cessairement bloqu\u00e9 sur ces positions comme on le voit ci-dessus, \u00e0 gauche comme \u00e0 droite. On peut donc d\u00e9placer <meta http-equiv=\"content-type\" content=\"text\/html; charset=utf-8\">\\(Q\\) sur ces demi-droites mais aussi en sortir. Comme on le voit dans les deux illustrations, de \\(Q\\) on m\u00e8ne aussi une (autre) perpendiculaire \u00e0 \\((UV)\\) quand elle existe.<\/p>\n\n\n\n<p>Mais cette figure est surtout pr\u00e9sent\u00e9e pour explorer la partie o\u00f9 il y a trois perpendiculaires issues du point d\u2019intersection \\(MN\\)  des deux H-perpendiculaires \u00e0 \\((UV)\\) en \\(M\\) et \\(N\\), et manipuler la figure pour visualiser la n\u00e9cessit\u00e9 de construire l\u2019enveloppe de la perpendiculaire en \\(M\\)  pour d\u00e9limiter certaines r\u00e9gions. On notera que la troisi\u00e8me perpendiculaire peut \u00eatre euclidienne, tout en coupant aussi l\u2019ellipse autour du point \\(V\\). (non illustr\u00e9 ci-dessus \u00e0 droite en \\(MN\\)  mais illustr\u00e9 avec le point \\(Q\\) plac\u00e9 dans une r\u00e9gion o\u00f9 il y a une perpendiculaire euclidienne).<\/p>\n\n\n\n<p><strong>Premi\u00e8res explorations du r\u00e9gionnement en dehors de l\u2019ellipse pour l\u2019orthogonalit\u00e9 \u00e0 \\((UV)\\)<\/strong><\/p>\n\n\n<p><center><iframe src=\"https:\/\/www.dgpad.net\/responsive.php?url=http:\/\/curvica974.re\/FigSite\/NonArg\/PreludeRegion_Ext_R.dgp\" style=\"width:800px;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>\u2022 On peut d\u00e9placer \\(M\\) et \\(N\\) sur l\u2019arc entre \\(U\\) et \\(V\\), mais aussi \\(Q\\) comme indiqu\u00e9 dans la page pr\u00e9c\u00e9dente.<br>\u2022 On peut aussi d\u00e9placer \\(U\\) et \\(V\\) pour tester de nombreuses variantes du r\u00e9gionnement.<br>\u2022 Quelle est la fronti\u00e8re de la r\u00e9gion (\u00e0 l\u2019ouverture de la figure) \u00e0 deux &#8211; ou trois &#8211; perpendiculaires au dessus du point \\(F\\) ?<\/em><\/p>\n\n\n\n<p><strong>Fronti\u00e8re de la partie d\u2019o\u00f9 on m\u00e8ne deux perpendiculaires (et parfois trois)<\/strong><\/p>\n\n\n\n<p>Dans la figure suivante, on construit l\u2019enveloppe de la perpendiculaire passant par \\(M\\). Pour cela on fait l\u2019intersection en la perpendiculaire en \\(M\\) et en un point \\(M+\\delta M\\) g\u00e9r\u00e9 par un pop-up (pour voir le cercle et la droite en \\(M+\\delta M\\), en pratique on prendra la pr\u00e9cision la plus grande). On obtient le point \\(EnvM\\) dont on fait le lieu quand \\(M\\) varie sur l\u2019arc \\((UV)\\).<\/p>\n\n\n\n<p>Dans l\u2019illustration de ci-dessous, la partie \u00e0 la fois au dessus de l\u2019enveloppe, \u00e0 droite de la H-droite \\((VsV)\\) et en dessous de la H-droite \\((UsU)\\) est une partie non born\u00e9e qui contient tous les points d\u2019o\u00f9 on peut construire deux perpendiculaires hilbertiennes \u00e0 <meta http-equiv=\"content-type\" content=\"text\/html; charset=utf-8\">\\((UV)\\) &#8211; <em>tous<\/em>, pour cette configuration &#8211; et, \u00e0 droite de la demi-droite rose d\u2019origine <meta http-equiv=\"content-type\" content=\"text\/html; charset=utf-8\">\\(soV\\), les points d\u2019o\u00f9 on peut construire en plus une perpendiculaire euclidienne. On se propose dans la suite de colorier dynamiquement ce type de partie.<\/p>\n\n\n<div class=\"wp-block-image\">\n<figure class=\"aligncenter size-full is-resized\"><img decoding=\"async\" width=\"995\" height=\"450\" src=\"http:\/\/curvica974.re\/wp-content\/uploads\/2021\/12\/Presente-enveloppe-petit.jpg\" alt=\"\" class=\"wp-image-2112\" style=\"width:739px;height:333px\" srcset=\"https:\/\/curvica974.re\/wp-content\/uploads\/2021\/12\/Presente-enveloppe-petit.jpg 995w, https:\/\/curvica974.re\/wp-content\/uploads\/2021\/12\/Presente-enveloppe-petit-300x136.jpg 300w, https:\/\/curvica974.re\/wp-content\/uploads\/2021\/12\/Presente-enveloppe-petit-768x347.jpg 768w\" sizes=\"(max-width: 995px) 100vw, 995px\" \/><\/figure><\/div>\n\n<div class=\"wp-block-image\">\n<figure class=\"alignright size-large is-resized\"><img decoding=\"async\" width=\"1024\" height=\"487\" src=\"http:\/\/curvica974.re\/wp-content\/uploads\/2021\/12\/image-16-1024x487.png\" alt=\"\" class=\"wp-image-2113\" style=\"width:412px;height:196px\" srcset=\"https:\/\/curvica974.re\/wp-content\/uploads\/2021\/12\/image-16-1024x487.png 1024w, https:\/\/curvica974.re\/wp-content\/uploads\/2021\/12\/image-16-300x143.png 300w, https:\/\/curvica974.re\/wp-content\/uploads\/2021\/12\/image-16-768x365.png 768w, https:\/\/curvica974.re\/wp-content\/uploads\/2021\/12\/image-16.png 1148w\" sizes=\"(max-width: 1024px) 100vw, 1024px\" \/><\/figure><\/div>\n\n\n<p>On souhaiterait, dans la suite, colorier dynamiquement ce type de partie. La colorisation dynamique devra rendre compte des configurations comme celle ci-contre. <\/p>\n\n\n\n<p>Dans ce cas la r\u00e9gion d\u2019o\u00f9 on peut mener deux H-perpendiculaires est une toute petite r\u00e9gion, ici au dessus de la droite \\((UsU)\\) et en dessous du lieu.<\/p>\n\n\n\n<p>Par ailleurs, cette partie \u00e0 deux H-perpendiculaires \u00e9tant \u00e0 gauche de la demi-droite d\u2019origine \\(soV\\), il est clair qu\u2019il n\u2019y a pas, dans cette configuration, de possibilit\u00e9 de tri-perpendiculaires issue d\u2019un point.<\/p>\n\n\n\n<p><strong>Exploration autour de l&rsquo;enveloppe de la perpendiculaire en \\(M\\) \u00e0 \\((UV)\\)<\/strong><\/p>\n\n\n<p><center><iframe src=\"https:\/\/www.dgpad.net\/responsive.php?url=http:\/\/curvica974.re\/FigSite\/NonArg\/Lieu_EnvM_Pop_R.dgp\" style=\"width:800px;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>Le r\u00e9glage de la pr\u00e9cision est grossier \u00e0 l\u2019ouverture pour voir la droite en \\(M+\\delta M\\). Ajuster ensuite \u00e0 un r\u00e9glage plus fin.<\/em><br><em>Manipuler \\(U\\) et \\(V\\) pour visualiser les diff\u00e9rentes formes de l\u2019enveloppe de \\(M\\).<\/em><\/p>\n\n\n\n<p><\/p>\n\n\n\n<h2 class=\"wp-block-heading has-text-align-center\"><strong>Colorisation dynamique de la partie 2H et 2H1E<\/strong><\/h2>\n\n\n\n<p><\/p>\n\n\n<div class=\"wp-block-image\">\n<figure class=\"alignright size-full is-resized\"><img decoding=\"async\" width=\"825\" height=\"710\" src=\"http:\/\/curvica974.re\/wp-content\/uploads\/2021\/12\/Illustre-oV-haut-Petit.jpg\" alt=\"\" class=\"wp-image-2116\" style=\"width:530px;height:456px\" srcset=\"https:\/\/curvica974.re\/wp-content\/uploads\/2021\/12\/Illustre-oV-haut-Petit.jpg 825w, https:\/\/curvica974.re\/wp-content\/uploads\/2021\/12\/Illustre-oV-haut-Petit-300x258.jpg 300w, https:\/\/curvica974.re\/wp-content\/uploads\/2021\/12\/Illustre-oV-haut-Petit-768x661.jpg 768w\" sizes=\"(max-width: 825px) 100vw, 825px\" \/><\/figure><\/div>\n\n\n<p>Il s\u2019agit de construire les fronti\u00e8res du r\u00e9gionnement des parties ayant deux H-perpendiculaires (<strong>2H<\/strong>) et celles avec 3 perpendiculaires (<strong>2H1E<\/strong>)dans un contexte technique sp\u00e9cifique, celui de liste de segments. Pour cela on se donne 16 points entre les deux centres limites \\(oOrthU\\) et \\(oOrthV\\) et on applique la construction vue pr\u00e9c\u00e9demment \u00e0 ces centres qui donnent 17 points \\(eM_0\\) \u00e0 \\(eM_{16}\\) (le point \\(eM_0\\) est obtenu \u00e0 partir d\u2019un point plus proche de \\(oOrthU\\)). La fronti\u00e8re entre la partie 2H (bleue) et la partie 2H1E (verte) est r\u00e9gie par les points suivants :  <br>\u2022 <meta http-equiv=\"content-type\" content=\"text\/html; charset=utf-8\">\\(iLim\\) l\u2019intersection entre les droites <meta http-equiv=\"content-type\" content=\"text\/html; charset=utf-8\">\\((VsV)\\) et \\((UsU)\\) .  <br>\u2022 <meta http-equiv=\"content-type\" content=\"text\/html; charset=utf-8\">\\(B3poV\\)  (pour <strong>B<\/strong>orne pour <strong>3 p<\/strong>erp sur (Vs<strong>oV<\/strong>) &#8211; ci-contre \u00e0  l\u2019intersection de <meta http-equiv=\"content-type\" content=\"text\/html; charset=utf-8\">\\((UsU)\\)  et <meta http-equiv=\"content-type\" content=\"text\/html; charset=utf-8\">\\((VsoV)\\). <br>\u2022 <meta http-equiv=\"content-type\" content=\"text\/html; charset=utf-8\">\\(B3poU\\)  &#8211; illustr\u00e9 ci-dessous \u00e0 l\u2019intersection de <meta http-equiv=\"content-type\" content=\"text\/html; charset=utf-8\">\\((VsV)\\) et <meta http-equiv=\"content-type\" content=\"text\/html; charset=utf-8\">\\((UsoV)\\).<\/p>\n\n\n\n<p>Le type de r\u00e9gion &#8211; 2H ou 2H1E &#8211; est d\u00e9fini par la position de ces points entre eux : ci-dessus  <meta http-equiv=\"content-type\" content=\"text\/html; charset=utf-8\">\\(B3poV\\) est \u00e0 droite de <meta http-equiv=\"content-type\" content=\"text\/html; charset=utf-8\">\\(iLim\\), il y a donc une partie bleue et une verte alors que ci-dessous \\(B3poU\\) est \u00e0 gauche de <meta http-equiv=\"content-type\" content=\"text\/html; charset=utf-8\">\\(iLim\\) et donc toute la partie est verte (en fait car <meta http-equiv=\"content-type\" content=\"text\/html; charset=utf-8\">\\(soU\\) est d\u2019abscisse inf\u00e9rieure \u00e0 celle de <meta http-equiv=\"content-type\" content=\"text\/html; charset=utf-8\">\\(sU\\)).<\/p>\n\n\n<div class=\"wp-block-image\">\n<figure class=\"aligncenter size-full is-resized\"><img decoding=\"async\" width=\"744\" height=\"353\" src=\"http:\/\/curvica974.re\/wp-content\/uploads\/2021\/12\/Illustre-oU-bas-full-3P-petit.jpg\" alt=\"\" class=\"wp-image-2117\" style=\"width:542px;height:257px\" srcset=\"https:\/\/curvica974.re\/wp-content\/uploads\/2021\/12\/Illustre-oU-bas-full-3P-petit.jpg 744w, https:\/\/curvica974.re\/wp-content\/uploads\/2021\/12\/Illustre-oU-bas-full-3P-petit-300x142.jpg 300w\" sizes=\"(max-width: 744px) 100vw, 744px\" \/><\/figure><\/div>\n\n<div class=\"wp-block-image\">\n<figure class=\"alignright size-large is-resized\"><img decoding=\"async\" width=\"1024\" height=\"695\" src=\"http:\/\/curvica974.re\/wp-content\/uploads\/2021\/12\/image-17-1024x695.png\" alt=\"\" class=\"wp-image-2122\" style=\"width:550px;height:373px\" srcset=\"https:\/\/curvica974.re\/wp-content\/uploads\/2021\/12\/image-17-1024x695.png 1024w, https:\/\/curvica974.re\/wp-content\/uploads\/2021\/12\/image-17-300x204.png 300w, https:\/\/curvica974.re\/wp-content\/uploads\/2021\/12\/image-17-768x521.png 768w, https:\/\/curvica974.re\/wp-content\/uploads\/2021\/12\/image-17.png 1512w\" sizes=\"(max-width: 1024px) 100vw, 1024px\" \/><\/figure><\/div>\n\n\n<p><strong>Exemples de configurations o\u00f9 l\u2019enveloppe est born\u00e9e<\/strong><\/p>\n\n\n\n<p>Ci-contre d\u00e9tail des variables que l\u2019on peut choisir d\u2019afficher sur la prochaine figure disponible.<\/p>\n\n\n\n<p><em>Sens des variables<\/em> :<br>\u2022 Listes des parties <strong>2H1E<\/strong> (3Perp) et <strong>2H<\/strong>.<br>\u2022 \\(kMin\\) et \\(kMax\\) sont les bornes de la pr\u00e9sence des \\(eM_i\\) \u00e0 l\u2019\u00e9cran.<br>\u2022 Utilise-t-on <meta http-equiv=\"content-type\" content=\"text\/html; charset=utf-8\">\\(B3poV\\) ou <meta http-equiv=\"content-type\" content=\"text\/html; charset=utf-8\">\\(B3poU\\) ? Par les bool\u00e9ens <meta http-equiv=\"content-type\" content=\"text\/html; charset=utf-8\">\\(CasoU\\) et <meta http-equiv=\"content-type\" content=\"text\/html; charset=utf-8\">\\(CasoV\\).<br>\u2022 x<meta http-equiv=\"content-type\" content=\"text\/html; charset=utf-8\">\\(xCoup\\) : abscisse du point de coupe entre les indices <meta http-equiv=\"content-type\" content=\"text\/html; charset=utf-8\">\\(i2perp\\) et \\(i3perp\\) des points \\(eM_i\\). N\u2019est pas r\u00e9actualis\u00e9 quand \\(Cas3Perp\\) devient vide.<\/p>\n\n\n<div class=\"wp-block-image\">\n<figure class=\"aligncenter size-large is-resized\"><img decoding=\"async\" width=\"1024\" height=\"570\" src=\"http:\/\/curvica974.re\/wp-content\/uploads\/2021\/12\/Pointe_2H_etAutres-1024x570.jpg\" alt=\"\" class=\"wp-image-2127\" style=\"width:607px;height:337px\" srcset=\"https:\/\/curvica974.re\/wp-content\/uploads\/2021\/12\/Pointe_2H_etAutres-1024x570.jpg 1024w, https:\/\/curvica974.re\/wp-content\/uploads\/2021\/12\/Pointe_2H_etAutres-300x167.jpg 300w, https:\/\/curvica974.re\/wp-content\/uploads\/2021\/12\/Pointe_2H_etAutres-768x428.jpg 768w, https:\/\/curvica974.re\/wp-content\/uploads\/2021\/12\/Pointe_2H_etAutres.jpg 1270w\" sizes=\"(max-width: 1024px) 100vw, 1024px\" \/><\/figure><\/div>\n\n\n<p><strong>Court extrait de la fonction LesListes2P3P<\/strong> : cette fonction fixe l\u2019expression <strong>Cas3Perp<\/strong> (illustr\u00e9 dans cet extrait) et en m\u00eame temps renvoie l\u2019expression <strong>Cas2H<\/strong>. Tous ces codes sont dans cette expression (m\u00eame si la liste est vide).<\/p>\n\n\n<div class=\"wp-block-image\">\n<figure class=\"aligncenter size-full is-resized\"><img decoding=\"async\" width=\"912\" height=\"569\" src=\"http:\/\/curvica974.re\/wp-content\/uploads\/2021\/12\/Code_REG1_petit.jpg\" alt=\"\" class=\"wp-image-2128\" style=\"width:658px;height:410px\" srcset=\"https:\/\/curvica974.re\/wp-content\/uploads\/2021\/12\/Code_REG1_petit.jpg 912w, https:\/\/curvica974.re\/wp-content\/uploads\/2021\/12\/Code_REG1_petit-300x187.jpg 300w, https:\/\/curvica974.re\/wp-content\/uploads\/2021\/12\/Code_REG1_petit-768x479.jpg 768w\" sizes=\"(max-width: 912px) 100vw, 912px\" \/><\/figure><\/div>\n\n<div class=\"wp-block-image\">\n<figure class=\"aligncenter size-full is-resized\"><img decoding=\"async\" width=\"921\" height=\"514\" src=\"http:\/\/curvica974.re\/wp-content\/uploads\/2021\/12\/Code_REG2_petit.jpg\" alt=\"\" class=\"wp-image-2129\" style=\"width:657px;height:366px\" srcset=\"https:\/\/curvica974.re\/wp-content\/uploads\/2021\/12\/Code_REG2_petit.jpg 921w, https:\/\/curvica974.re\/wp-content\/uploads\/2021\/12\/Code_REG2_petit-300x167.jpg 300w, https:\/\/curvica974.re\/wp-content\/uploads\/2021\/12\/Code_REG2_petit-768x429.jpg 768w\" sizes=\"(max-width: 921px) 100vw, 921px\" \/><\/figure><\/div>\n\n<p><center><iframe src=\"https:\/\/www.dgpad.net\/responsive.php?url=http:\/\/curvica974.re\/FigSite\/NonArg\/Env2H_2H1E_Dyn_R.dgp\" style=\"width:950px;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>\u2022 On observera l\u2019ordre diff\u00e9rent des points \\(eM_i\\) selon leur emplacement (ordonn\u00e9es croissantes ou d\u00e9croissantes).<br>\u2022 On peut d\u00e9placer l\u2019ellipse. Toutefois,les parties colori\u00e9es ne sont  calcul\u00e9es que si elles sont visibles \u00e0 l\u2019\u00e9cran. <\/em><\/p>\n\n\n\n<p>Tout le code de cette figure (m\u00eame celui de <strong>Cas3Perp<\/strong>) est dans l\u2019expression <strong>Cas2H<\/strong>. Pour consulter le code, utiliser <a rel=\"noreferrer noopener\" href=\"https:\/\/www.dgpad.net\/index.php?url=http:\/\/curvica974.re\/FigSite\/NonArg\/Env2H_2H1E_Dyn.dgp\" data-type=\"URL\" data-id=\"https:\/\/www.dgpad.net\/index.php?url=http:\/\/curvica974.re\/FigSite\/NonArg\/Env2H_2H1E_Dyn.dgp\" target=\"_blank\">cette figure<\/a> hors contexte de restrictions. Elle s&rsquo;ouvre dans un autre onglet.<\/p>\n\n\n\n<p><\/p>\n\n\n\n<h2 class=\"wp-block-heading has-text-align-center\"><strong>Exemple statique du r\u00e9gionnement de  toute la partie ext\u00e9rieure \u00e0 l&rsquo;ellipse<\/strong><\/h2>\n\n\n\n<p>\u00c9tant donn\u00e9e une droite coupant l&rsquo;ellipse, il peut y avoir jusqu&rsquo;\u00e0 six types diff\u00e9rents de r\u00e9gionnement vis \u00e0 vis de l&rsquo;orthogonalit\u00e9 \u00e0 cette droite.<\/p>\n\n\n\n<p>Sur la figure suivante, on a fix\u00e9 les deux points \\(U\\) et \\(V\\) de telle fa\u00e7on que ces six types soient bien pr\u00e9sents. On peut alors choisir l\u2019affichage individuel de chacun d&rsquo;eux. La figure ci-dessus correspond aux parties 4 et 6, trait\u00e9es &#8211; partiellement &#8211; dynamiquement. Comme dans une figure pr\u00e9c\u00e9dente, le point  \\(P\\)  est aimant\u00e9 par les deux demi-droites de la H-perpendiculaire \u00e0  \\((UV)\\)  passant par  \\(N\\).<\/p>\n\n\n<p><center><iframe src=\"https:\/\/www.dgpad.net\/responsive.php?url=http:\/\/curvica974.re\/FigSite\/NonArg\/RegStatik_CheckBox_R.dgp\" style=\"width:950px;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>Dans cette figure on ne peut que d\u00e9placer \\(M\\), \\(N\\) et \\(P\\) et d\u00e9sactiver les cases \u00e0 cocher.<\/em><\/p>\n\n\n<div class=\"wp-block-image\">\n<figure class=\"alignright size-large is-resized\"><img decoding=\"async\" width=\"1024\" height=\"655\" src=\"http:\/\/curvica974.re\/wp-content\/uploads\/2021\/12\/image-18-1024x655.png\" alt=\"\" class=\"wp-image-2140\" style=\"width:527px;height:337px\" srcset=\"https:\/\/curvica974.re\/wp-content\/uploads\/2021\/12\/image-18-1024x655.png 1024w, https:\/\/curvica974.re\/wp-content\/uploads\/2021\/12\/image-18-300x192.png 300w, https:\/\/curvica974.re\/wp-content\/uploads\/2021\/12\/image-18-768x491.png 768w, https:\/\/curvica974.re\/wp-content\/uploads\/2021\/12\/image-18-1536x983.png 1536w, https:\/\/curvica974.re\/wp-content\/uploads\/2021\/12\/image-18.png 1722w\" sizes=\"(max-width: 1024px) 100vw, 1024px\" \/><\/figure><\/div>\n\n\n<p>On n\u2019a pas d\u00e9taill\u00e9 le code des quatre autres parties. Seules celles qui sont au contact des parties 4 et 6 demandent de l\u2019attention. Ci-contre, le cas o\u00f9 l\u2019on d\u00e9place l\u00e9g\u00e8rement le point \\(V\\) pour que les points de l\u2019ellipse \\(sU\\) et \\(soU\\) co\u00efncident : la r\u00e9gion bleu claire \u00e0 deux H-perpendiculaires disparait, et il ne reste plus qu\u2019une seule r\u00e9gion rouge, sans aucune perpendiculaire. M\u00eame si une proc\u00e9dure g\u00e9n\u00e9rique est utilis\u00e9e pour le contour de l\u2019ellipse (la proc\u00e9dure \u00abmorceau\u00bb ci-dessous), le nombre de situation est si important que la situation reste trop lourde \u00e0 traiter pour que la figure dynamique produite reste r\u00e9ellement manipulable. En pratique, il faudrait reprendre le coloriage de mani\u00e8re diff\u00e9rente pour arriver \u00e0 le rendre effectivement dynamique, on ne peut gu\u00e8re aller beaucoup plus loin avec cette d\u00e9marche.<\/p>\n\n\n\n<p>En particulier, la partie \u00e0 deux H-perpendiculaires avec un point de rebroussement n\u2019est &#8211; pour le moment &#8211; pas encore assez caract\u00e9ris\u00e9e pour \u00eatre int\u00e9gr\u00e9e dans dans un processus de r\u00e9gionnement dynamique. C&rsquo;est la raison pour laquelle cette partie s&rsquo;arr\u00eate ici.<\/p>\n\n\n\n<h2 class=\"wp-block-heading has-text-align-center\">R\u00e9gionnement \u00e0 l&rsquo;int\u00e9rieur de l&rsquo;ellipse<\/h2>\n\n\n\n<p>Le contexte ici est diff\u00e9rent de la section pr\u00e9c\u00e9dente, et plus simple \u00e0 traiter. On se donne une H-droite \\((AB)\\) avec \\(A\\) et \\(B\\) \u00e0 l\u2019int\u00e9rieur de l\u2019ellipse, et un point \\(M\\), lui aussi \u00e0 l\u2019int\u00e9rieur de l\u2019ellipse. Le r\u00e9gionnement de l\u2019ellipse consiste \u00e0 colorier les cas o\u00f9 il n\u2019y a aucune perpendiculaire, deux perpendiculaires &#8211; dans ce cas c\u2019est une hibertienne et une euclidienne car il ne peut y avoir deux hilbertiennes, et le cas o\u00f9 il n\u2019y a qu\u2019une seule perpendiculaire euclidienne.<\/p>\n\n\n<div class=\"wp-block-image\">\n<figure class=\"alignright size-large is-resized\"><img decoding=\"async\" width=\"1024\" height=\"343\" src=\"http:\/\/curvica974.re\/wp-content\/uploads\/2021\/12\/image-20-1024x343.png\" alt=\"\" class=\"wp-image-2146\" style=\"width:557px;height:186px\" srcset=\"https:\/\/curvica974.re\/wp-content\/uploads\/2021\/12\/image-20-1024x343.png 1024w, https:\/\/curvica974.re\/wp-content\/uploads\/2021\/12\/image-20-300x101.png 300w, https:\/\/curvica974.re\/wp-content\/uploads\/2021\/12\/image-20-768x258.png 768w, https:\/\/curvica974.re\/wp-content\/uploads\/2021\/12\/image-20-1536x515.png 1536w, https:\/\/curvica974.re\/wp-content\/uploads\/2021\/12\/image-20.png 1604w\" sizes=\"(max-width: 1024px) 100vw, 1024px\" \/><\/figure><\/div>\n\n\n<p>On a choisi de ne pas colorier le cas le plus trivial, celui o\u00f9 il n\u2019y a qu\u2019une perpendiculaire hilbertienne car c\u2019est, en g\u00e9n\u00e9ral, la plus grande partie \u00e0 l\u2019int\u00e9rieur de l\u2019ellipse comme on le voit sur cette illustration.  La H-orthogonalit\u00e9 est l&rsquo;orthogonalit\u00e9 euclidienne de deux cercles : celui circonscrit \u00e0 \\(A, B\\) et \\(F\\) et celui passant par \\(M, F\\) et orthogonal au pr\u00e9c\u00e9dent.<\/p>\n\n\n\n<p>Les trois autres r\u00e9gions sont des parties de l\u2019ellipse qui partent de ses points d\u2019intersection avec la H-droite \\((AB)\\).<\/p>\n\n\n\n<figure class=\"wp-block-image size-large\"><img decoding=\"async\" width=\"1024\" height=\"245\" src=\"http:\/\/curvica974.re\/wp-content\/uploads\/2021\/12\/Deux-Reg-Int-1-1024x245.png\" alt=\"\" class=\"wp-image-2147\" srcset=\"https:\/\/curvica974.re\/wp-content\/uploads\/2021\/12\/Deux-Reg-Int-1-1024x245.png 1024w, https:\/\/curvica974.re\/wp-content\/uploads\/2021\/12\/Deux-Reg-Int-1-300x72.png 300w, https:\/\/curvica974.re\/wp-content\/uploads\/2021\/12\/Deux-Reg-Int-1-768x184.png 768w, https:\/\/curvica974.re\/wp-content\/uploads\/2021\/12\/Deux-Reg-Int-1-1536x368.png 1536w, https:\/\/curvica974.re\/wp-content\/uploads\/2021\/12\/Deux-Reg-Int-1.png 1802w\" sizes=\"(max-width: 1024px) 100vw, 1024px\" \/><\/figure>\n\n\n\n<p>La partie \u00e0 une seule perpendiculaire euclidienne peut \u00eatre assez importante, ici avec deux droites \\((AB)\\) diff\u00e9rentes.<\/p>\n\n\n<div class=\"wp-block-image\">\n<figure class=\"aligncenter size-large\"><img decoding=\"async\" width=\"1024\" height=\"266\" src=\"http:\/\/curvica974.re\/wp-content\/uploads\/2021\/12\/Deux-Reg-Int-2-a\u0300-reprendre-1024x266.png\" alt=\"\" class=\"wp-image-2148\" srcset=\"https:\/\/curvica974.re\/wp-content\/uploads\/2021\/12\/Deux-Reg-Int-2-a\u0300-reprendre-1024x266.png 1024w, https:\/\/curvica974.re\/wp-content\/uploads\/2021\/12\/Deux-Reg-Int-2-a\u0300-reprendre-300x78.png 300w, https:\/\/curvica974.re\/wp-content\/uploads\/2021\/12\/Deux-Reg-Int-2-a\u0300-reprendre-768x199.png 768w, https:\/\/curvica974.re\/wp-content\/uploads\/2021\/12\/Deux-Reg-Int-2-a\u0300-reprendre-1536x399.png 1536w, https:\/\/curvica974.re\/wp-content\/uploads\/2021\/12\/Deux-Reg-Int-2-a\u0300-reprendre.png 1794w\" sizes=\"(max-width: 1024px) 100vw, 1024px\" \/><\/figure><\/div>\n\n\n<p><\/p>\n\n\n\n<p>En fait la figure finale n&rsquo;est pas tr\u00e8s op\u00e9rationnelle &#8230; elle n&rsquo;est correcte qu&rsquo;\u00e0 60% des cas. La r\u00e9daction a \u00e9t\u00e9 annul\u00e9e et fera partie d&rsquo;une prochaine mise \u00e0 jour &#8230;.<\/p>\n\n\n\n<p>Un peu d\u00e9sol\u00e9 &#8230; mais temporaire &#8230;<\/p>\n\n\n\n<p><\/p>\n","protected":false},"excerpt":{"rendered":"<p>Cette page a \u00e9t\u00e9 \u00e9crite AVANT la mise en \u0153uvre des droites de Hilbert alg\u00e9briques. Un nouveau travail sur ce th\u00e8me est en court, qui devrait aboutir \u00e0 une r\u00e9\u00e9criture plus aboutie de cette page. Une premi\u00e8re page a d\u00e9j\u00e0 \u00e9t\u00e9 r\u00e9alis\u00e9e.Les notations de la nouvelle page est diff\u00e9rente de [&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\/2104"}],"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=2104"}],"version-history":[{"count":24,"href":"https:\/\/curvica974.re\/index.php?rest_route=\/wp\/v2\/pages\/2104\/revisions"}],"predecessor-version":[{"id":7804,"href":"https:\/\/curvica974.re\/index.php?rest_route=\/wp\/v2\/pages\/2104\/revisions\/7804"}],"wp:attachment":[{"href":"https:\/\/curvica974.re\/index.php?rest_route=%2Fwp%2Fv2%2Fmedia&parent=2104"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}