{"id":178,"date":"2017-09-13T17:53:23","date_gmt":"2017-09-13T20:53:23","guid":{"rendered":"http:\/\/www.professores.uff.br\/ralphteixeira\/?page_id=178"},"modified":"2017-09-13T18:35:21","modified_gmt":"2017-09-13T21:35:21","slug":"cusps-and-the-affine-evolute","status":"publish","type":"page","link":"https:\/\/www.professores.uff.br\/ralphteixeira\/cusps-and-the-affine-evolute\/","title":{"rendered":"Cusps and the Affine Evolute"},"content":{"rendered":"<p><\/BR><\/p>\n<h4><B>Definitions<\/B><\/h4>\n<p>Given a CEA polygon P<sub>1<\/sub>P<sub>2<\/sub>\u2026P<sub>N<\/sub>, we define:<\/p>\n<p>\u00b7\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0 The <strong><em>affine normal<\/em><\/strong> at P<sub>i<\/sub> is the vector n<sub>i<\/sub>=P<sub>i-1<\/sub>+P<sub>i+1<\/sub>-2P<sub>i<\/sub> (which is \u201ctwice the median\u201d of P<sub>i-1<\/sub>P<sub>i<\/sub>P<sub>i+1<\/sub>);<\/p>\n<p>\u00b7\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0 The <strong><em>\u03bb-parallel polygon<\/em><\/strong> has vertices P<sub>i<\/sub>(\u03bb)=P<sub>i<\/sub>+\u03bb.n<sub>i<\/sub>. Its sides are indeed parallel to the sides of the original CEA polygon. As \u03bb varies, the \u03bb-parallel polygons perform an <strong><em>affine evolution<\/em><\/strong> of the original CEA polygon.<\/p>\n<p>\u00b7\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0 When the \u03bb-triangle P<sub>i-1<\/sub>P<sub>i<\/sub>P<sub>i+1<\/sub> has a different orientation than the original P<sub>i-1<\/sub>P<sub>i<\/sub>P<sub>i+1<\/sub>, we say that P<sub>i<\/sub>(\u03bb) is a <strong><em>cusp of the \u03bb-parallel polygon<\/em><\/strong>.<\/p>\n<div id=\"01\" style=\"text-align: center;\">\n<p><img loading=\"lazy\" decoding=\"async\" class=\"alignnone size-medium wp-image-183\" src=\"http:\/\/www.professores.uff.br\/ralphteixeira\/wp-content\/uploads\/sites\/129\/2017\/09\/cusp-of-the-\u03bb-parallel-polygon.-300x245.png\" alt=\"\" width=\"412\" height=\"336\" srcset=\"https:\/\/www.professores.uff.br\/ralphteixeira\/wp-content\/uploads\/sites\/129\/2017\/09\/cusp-of-the-\u03bb-parallel-polygon.-300x245.png 300w, https:\/\/www.professores.uff.br\/ralphteixeira\/wp-content\/uploads\/sites\/129\/2017\/09\/cusp-of-the-\u03bb-parallel-polygon..png 412w\" sizes=\"auto, (max-width: 412px) 100vw, 412px\" \/>\n<\/div>\n<p>&nbsp;<\/p>\n<p style=\"text-align: center;\"><span style=\"color: #437878;\">Affine normals and the 0.6-parallel polygon. No cusps yet\u2026<\/span><\/p>\n<p><\/BR><\/p>\n<p style=\"text-align: left;\">\u00b7\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0 The <strong><em>affine evolute <\/em><\/strong>is a polygonal curve with vertices q<sub>i<\/sub>= P<sub>i<\/sub>(1\/\u03bc<sub>i<\/sub>)=P<sub>i<\/sub>+n<sub>i<\/sub>\/\u03bc<sub>i<\/sub>. More precisely, if \u03bc<sub>i<\/sub>\u03bc<sub>i+1<\/sub>&gt;0, the segment q<sub>i<\/sub>q<sub>i+1<\/sub> is part of the evolute; but, if \u03bc<sub>i<\/sub>\u03bc<sub>i+1<\/sub>&lt;0, the affine evolute includes the portion of the line q<sub>i<\/sub>q<sub>i+1<\/sub><strong><em>outside<\/em><\/strong> the segment q<sub>i<\/sub>q<sub>i+1.<\/sub><\/p>\n<div id=\"02\" style=\"text-align: center;\">\n<img loading=\"lazy\" decoding=\"async\" class=\"size-medium wp-image-186 aligncenter\" src=\"http:\/\/www.professores.uff.br\/ralphteixeira\/wp-content\/uploads\/sites\/129\/2017\/09\/Affine-evolute-300x286.png\" alt=\"\" width=\"400\" height=\"382\" srcset=\"https:\/\/www.professores.uff.br\/ralphteixeira\/wp-content\/uploads\/sites\/129\/2017\/09\/Affine-evolute-300x286.png 300w, https:\/\/www.professores.uff.br\/ralphteixeira\/wp-content\/uploads\/sites\/129\/2017\/09\/Affine-evolute-768x733.png 768w, https:\/\/www.professores.uff.br\/ralphteixeira\/wp-content\/uploads\/sites\/129\/2017\/09\/Affine-evolute-1024x977.png 1024w, https:\/\/www.professores.uff.br\/ralphteixeira\/wp-content\/uploads\/sites\/129\/2017\/09\/Affine-evolute.png 1250w\" sizes=\"auto, (max-width: 400px) 100vw, 400px\" \/><\/p>\n<p><span style=\"color: #4e8080;\">Affine evolute. Since \u03bc<sub>6<\/sub>&lt;0, \u201csides\u201d q<sub>5<\/sub>q<sub>6 <\/sub>and q<sub>6<\/sub>q<sub>7<\/sub> go through \u201cimproper points at infinity\u201d.<\/span><\/div>\n<p>&nbsp;<\/p>\n<h4 style=\"text-align: left;\"><B>Cusps and the Affine Evolute<\/B><\/h4>\n<p style=\"text-align: left;\">In the <a href=\"http:\/\/www.geogebra.org\/\">Geogebra<\/a> Applet below, you can construct your own CEA octagon (moving P<sub>1<\/sub>-P<sub>6<\/sub>) and play with the \u03bb-parallel polygons (dragging \u03bb \u2013 if your mouse hand is tired, just press the \u201cplay\u201d button on the lower left corner and we will move \u03bb around for you J). Whenever a vertex turns into a cusp, we mark it red.<\/p>\n<p style=\"text-align: left;\">Sorry, the GeoGebra Applet could not be started. Please make sure that Java 1.4.2 (or later) is installed and active in your browser (<a href=\"http:\/\/java.sun.com\/getjava\">Click here to install Java now<\/a>)<\/p>\n<p><\/BR><\/p>\n<h4 style=\"text-align: left;\"><B>Things to note:<\/B><\/h4>\n<p style=\"text-align: left;\">\u00b7\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0 In a CEAP, P<sub>i<\/sub>(1\/\u03bc<sub>i<\/sub>)= P<sub>i+1<\/sub>(1\/\u03bc<sub>i<\/sub>), so the vertices q<sub>i<\/sub> correspond to \u201cshocks\u201d of the Affine Evolution.<\/p>\n<p style=\"text-align: left;\">\u00b7\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0 In fact, the affine evolute turns out to be exactly the set of all cusps!<\/p>\n<p style=\"text-align: left;\">\u00b7\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0 The affine evolute reduces to a single point if, and only if, the original polygon is regular (modulo an affine transformation).<\/p>\n<p style=\"text-align: left;\">\u00b7\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0 When a curvature associated to an edge of the original polygon is negative, that edge becomes red. For example, in the original position, P<sub>6<\/sub>P<sub>7<\/sub> is red because length(P<sub>5<\/sub>P<sub>8<\/sub>) &gt; 3 .length(P<sub>6<\/sub>P<sub>7<\/sub>) and thus \u03bc<sub>6<\/sub>&lt;0. Note how P<sub>6<\/sub>(\u03bb) determines two disconnected branches of the Affine Evolute (and so does P<sub>7<\/sub>(\u03bb)).<\/p>\n<p><\/BR><\/p>\n<h4 style=\"text-align: left;\"><B>Reference<\/B><\/h4>\n<p style=\"text-align: left;\">[2] M. Craizer, R. Teixeira and M. Horta, \u201cAffine properties of convex equal-area polygons\u201d; Discrete &amp; Computational Geometry, October 2012, Volume 48, Issue 3, pp 580-595.<\/p>\n<\/div>\n<\/div>\n","protected":false},"excerpt":{"rendered":"<p>Definitions Given a CEA polygon P1P2\u2026PN, we define: \u00b7\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0 The affine normal at Pi is the vector ni=Pi-1+Pi+1-2Pi (which is \u201ctwice the median\u201d of Pi-1PiPi+1); \u00b7\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0 The \u03bb-parallel polygon has vertices Pi(\u03bb)=Pi+\u03bb.ni. Its sides are indeed parallel to the sides of the original CEA polygon. As \u03bb varies, the \u03bb-parallel polygons perform an affine evolution [&hellip;]<\/p>\n","protected":false},"author":46,"featured_media":0,"parent":0,"menu_order":0,"comment_status":"closed","ping_status":"closed","template":"","meta":{"_exactmetrics_skip_tracking":false,"_exactmetrics_sitenote_active":false,"_exactmetrics_sitenote_note":"","_exactmetrics_sitenote_category":0,"footnotes":""},"categories":[],"tags":[],"class_list":["post-178","page","type-page","status-publish","hentry"],"_links":{"self":[{"href":"https:\/\/www.professores.uff.br\/ralphteixeira\/wp-json\/wp\/v2\/pages\/178","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/www.professores.uff.br\/ralphteixeira\/wp-json\/wp\/v2\/pages"}],"about":[{"href":"https:\/\/www.professores.uff.br\/ralphteixeira\/wp-json\/wp\/v2\/types\/page"}],"author":[{"embeddable":true,"href":"https:\/\/www.professores.uff.br\/ralphteixeira\/wp-json\/wp\/v2\/users\/46"}],"replies":[{"embeddable":true,"href":"https:\/\/www.professores.uff.br\/ralphteixeira\/wp-json\/wp\/v2\/comments?post=178"}],"version-history":[{"count":16,"href":"https:\/\/www.professores.uff.br\/ralphteixeira\/wp-json\/wp\/v2\/pages\/178\/revisions"}],"predecessor-version":[{"id":209,"href":"https:\/\/www.professores.uff.br\/ralphteixeira\/wp-json\/wp\/v2\/pages\/178\/revisions\/209"}],"wp:attachment":[{"href":"https:\/\/www.professores.uff.br\/ralphteixeira\/wp-json\/wp\/v2\/media?parent=178"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/www.professores.uff.br\/ralphteixeira\/wp-json\/wp\/v2\/categories?post=178"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/www.professores.uff.br\/ralphteixeira\/wp-json\/wp\/v2\/tags?post=178"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}