Dual curve: Difference between revisions

Content deleted Content added
Equations: Explain dual of parametric curve
Tags: nowiki added Visual edit
Line 40:
The dual of a line (a curve of degree 1) is an exception to this and is taken to be a point in the dual space (namely the original line). The dual of a single point is taken to be the collection of lines though the point; this forms a line in the dual space which corresponds to the original point.
 
If {{mvar|X}} is smooth, i.e. there are (no [[Singular point of a curve|singular points]]) then the dual of {{mvar|X}} has the maximum degree {{math|''d''(''d'' − 1)}}. IfThis {{mvar|X}}implies isthe dual of a conic this implies its dual is also a conic. This can also be seen geometrically:Geometrically, the map from a conic to its dual is [[one-to-one correspondence|one-to-one]] (since no line is tangent to two points of a conic, as that requires degree 4), and the tangent line varies smoothly (as the curve is convex, so the slope of the tangent line changes monotonically: cusps in the dual require an inflection point in the original curve, which requires degree 3).
 
For curves with singular points, these points will also lie on the intersection of the curve and its polar and this reduces the number of possible tangent lines. The degree of the dual given in terms of the ''d'' and the number and types of singular points of {{mvar|X}} is one of the [[Plücker formula]]s.
 
==Polar reciprocal==
Line 73:
{{Main article|Dual polygon}}
 
The dual curve construction works even if the curve is [[piecewise linear curve|piecewise linear]] (or [[piecewise differentiable]], but the resulting map is degenerate (if there are linear components) or ill-defined (if there are singular points).
 
In the case of a polygon, all points on each edge share the same tangent line, and thus map to the same vertex of the dual, while the tangent line of a vertex is ill-defined, and can be interpreted as all the lines passing through it with angle between the two edges. This accords both with projective duality (lines map to points, and points to lines), and with the limit of smooth curves with no linear component: as a curve flattens to an edge, its tangent lines map to closer and closer points; as a curve sharpens to a vertex, its tangent lines spread further apart.