Away from the vertex, use the defining function . Its gradient is normal to the smooth part of the double circular cone, andon the surface. Hence the field is tangent at every regular point of the cone. At the origin the cone has no unique tangent plane, but , which belongs to its tangent cone. An equivalent argument, valid also at the vertex, uses the integral curves of a vector field: has solution , and these dilations preserve . This is an example of radial dilation tangency to homogeneous zero sets.
Articles by others on the same topic
There are currently no matching articles.