Recall the previous attempt to find the conditioning number of a helix (see post "The conditioning number of a helix, part 1," 2016-10-31). Here we complete the approach and although exact solutions are hard to find, we give close approximations.
The setting was a helix C of radius r and stretch c, so given as the zero locus of x−rcos(z/c) and y−rsin(z/c), and we wanted to find where the normal plane at a point p∈C intersects C again. It may intersect C several times, but we are only interested in the shortest distances. Without loss of generality, assume that p=(r,0,0). The normal plane at p is then given by
0=det[x−rcos(pz/c)y−rsin(pz/c)z−pz10rsin(pz/c)/c01−rcos(pz/c)/c]=det[x−ryz10001−r/c]=rcy+z.Since the cylinder on which the helix C lies is x2+y2=r2, the curve C′ representing the intersection of the plane with the cylinder is given by the zero locus of ±r√x2−r2+cz. This allows us to find the intersection with the helix. However, since C is parametrized with z the free variable and C′ with x free, its is easier to switch to cylindrical coordinates
(r=√x2+y2,θ=arctan(y/x),z=z).Doing so gives a nice description of C and C′ as below.C:(rcos(z/c),rsin(z/c),z)=(r,θ,θc)C′:(x,−√r2−x2,r√r2−x2/c)=(r.θ,r2sin(θ)/c)The switch in coordinates is represented by the diagram below, where we have only used the top half of C′. Finding C∩C′ is equivalent to solving c2r2=sin(θ)θ for θ, a task that can not be solved exactly. Instead we take the tangent lines to C′ on the unrolled cylinder at its base, and see where those intersect the line θc. Inspecting the areas of the tangent lines closer and calculating the euclidean distances in R3 from p to a and b, which is, I can't believe I'm saying this, a great exercise for the reader, we get the distances to be
d(p,a)=√2r2(1+cos(πc2r2−c2))+(πcr2r2−c2)2,d(p,b)=√2r2(1−cos(2πc2r2+c2))+(2πcr2r2+c2)2.Truthfully, the diagrams are tricky to draw in TikZ and I don't want to simply have a scan of some rough work. More importantly, d(p,a)=d(p,b) implies c=r/√3, meaning that when the stretch c is larger than r/√3, the normal planes certainly do not intersect the helix again.
The setting was a helix C of radius r and stretch c, so given as the zero locus of x−rcos(z/c) and y−rsin(z/c), and we wanted to find where the normal plane at a point p∈C intersects C again. It may intersect C several times, but we are only interested in the shortest distances. Without loss of generality, assume that p=(r,0,0). The normal plane at p is then given by
0=det[x−rcos(pz/c)y−rsin(pz/c)z−pz10rsin(pz/c)/c01−rcos(pz/c)/c]=det[x−ryz10001−r/c]=rcy+z.Since the cylinder on which the helix C lies is x2+y2=r2, the curve C′ representing the intersection of the plane with the cylinder is given by the zero locus of ±r√x2−r2+cz. This allows us to find the intersection with the helix. However, since C is parametrized with z the free variable and C′ with x free, its is easier to switch to cylindrical coordinates
(r=√x2+y2,θ=arctan(y/x),z=z).Doing so gives a nice description of C and C′ as below.C:(rcos(z/c),rsin(z/c),z)=(r,θ,θc)C′:(x,−√r2−x2,r√r2−x2/c)=(r.θ,r2sin(θ)/c)The switch in coordinates is represented by the diagram below, where we have only used the top half of C′. Finding C∩C′ is equivalent to solving c2r2=sin(θ)θ for θ, a task that can not be solved exactly. Instead we take the tangent lines to C′ on the unrolled cylinder at its base, and see where those intersect the line θc. Inspecting the areas of the tangent lines closer and calculating the euclidean distances in R3 from p to a and b, which is, I can't believe I'm saying this, a great exercise for the reader, we get the distances to be
d(p,a)=√2r2(1+cos(πc2r2−c2))+(πcr2r2−c2)2,d(p,b)=√2r2(1−cos(2πc2r2+c2))+(2πcr2r2+c2)2.Truthfully, the diagrams are tricky to draw in TikZ and I don't want to simply have a scan of some rough work. More importantly, d(p,a)=d(p,b) implies c=r/√3, meaning that when the stretch c is larger than r/√3, the normal planes certainly do not intersect the helix again.
No comments:
Post a Comment