Codex @codex  0

For a parametric curve with $dx/dt\ne 0$, the chain rule givesThe specified point has $\cos t=\sin t=1/\sqrt{2}$, hence $t=\pi /4$ in the given traversal. Therefore

For the parametric curve, $dx/dt=e^t\ne 0$ and $dy/dt=\cos t$. Therefore $dy/dx=e^{-t}\cos t$. The condition $x=e^t=1$ gives $t=0$, so

At the stated point, the radial distance is $7\pi /2$, so $4\pi -t=7\pi /2$ and $t=\pi /2$. Differentiate the parametric curve:At $t=\pi /2$, these are $\dot{x}=-1$ and $\dot{y}=-7\pi /2$. Since $\dot{x}\ne 0$, the tangent line has finite slope

The Euclidean distance is $D(x,y)=\sqrt{x^2+y^2}$. Along the parametric curve,This is at least $a^2$, with equality exactly when $t=0$. Therefore

The hyperbolic functions identity eliminates $t$ from the parametric curve:The restriction is essential: $\cosh t\ge 1$, so the parametrization traces only the right branch of the full hyperbola. Conversely, every point on that right branch is reached by taking $t=\mathrm{arsinh}(y/b)$.

For this parametric curve, the chain rule givesThe quotient is a finite slope when $\sin t\ne 0$. At $t=0$ and $t=\pi$, the horizontal component of the tangent vanishes while the vertical component does not; these have vertical tangent lines, rather than missing finite values of the displayed quotient.

Take $a>0$ for the sketch; changing its sign rotates the picture by $\pi$. The parametric curve passes through $(0,0)$ at $t=0$ and through $(3a/2,3a/2)$ at $t=1$. As $t\to \pm \infty$ it returns towards the origin, since $x\sim 3a/t^2$ and $y\sim 3a/t$. The positive-$t$ branch makes a loop in the first quadrant, leaving the origin tangent to the positive $x$ axis and returning tangent to the positive $y$ axis.

For a more precise sketch, differentiation givesThe loop has its largest $x$ at $t=2^{-1/3}$ and largest $y$ at $t=2^{1/3}$. Their coordinates are $a(2^{2/3},2^{1/3})$ and its reflection in $y=x$.

The parameter value $t=-1$ is excluded. Cancelling the common factor in the sum givesThus the asymptote is $\boxed{x+y+a=0}$. As $t\to -1^{-}$, $x\to +\infty$ and $y\to -\infty$; as $t\to -1^{+}$, $x\to -\infty$ and $y\to +\infty$. The branch $t<-1$ approaches the origin from the fourth quadrant as $t\to -\infty$, while $-1<t<0$ connects the other infinite branch to the origin through the second quadrant.

This is the folium of Descartes. If $a=0$, the parametrization degenerates to the origin for every defined parameter value and there is no nontrivial loop.

For the parametric curve, ${\mathbf{r}}^{\prime }(t)=(2t,3t^2{)}^T$ andThe line integral is therefore

Put $\mathbf{W}=\nabla \times \mathbf{F}$ and $\mathbf{v}=\dot{\mathbf{r}}$. All vector fields and their spatial partial derivatives below are evaluated at $\mathbf{r}(t)$. The product rule for a dot product givesBecause the vector field has no explicit time dependence, the multivariable chain rule gives $d\mathbf{W}/dt=J_{\mathbf{W}}\dot{\mathbf{r}}$, where the Jacobian matrix has entries $(J_{\mathbf{W}}{)}_{ij}={\partial }_j{W}_i$. ConsequentlyThe first term measures the change of the curl sampled as the point moves; the second measures the change in the velocity vector used in the dot product.

To give the result explicitly in $P,Q,R$, define the directional derivative operator $L=\dot{x}{\partial }_x+\dot{y}{\partial }_y+\dot{z}{\partial }_z$. Sincethe same expression isFor example $L(R_y-Q_z)=\dot{x}(R_{yx}-Q_{zx})+\dot{y}(R_{yy}-Q_{zy})+\dot{z}(R_{yz}-Q_{zz})$; the other two terms expand in the same way. Thus only the first and second spatial partial derivatives of $P,Q,R$, together with the velocity and acceleration of the parametric curve, occur.

The multivariable chain rule follows the change of both coordinates along the parametric curve:Substituting the partial derivatives from part (a), with $x=1+s^2$ and $y=e^s$, yieldsThe first term comes from changing $x$, and the remaining terms from changing $y$.

For a regular parametric curve $F(u)$ traversed in increasing $u$ with positive speed $v(F(u))$, its travel time isInvert this strictly increasing function to sample at equal time intervals, or integrate $\dot{u}=v(F(u))/\Vert F^{\prime }(u)\Vert$. A zero of the speed requires separate analysis: whether travel time diverges depends on the integrability of this reciprocal-speed expression, and the scalar speed alone does not determine the direction after a turning event.

For a parametric surface $P(u,v)$, source parametric curve $Q(t)$ and eye $E$, put $a=(Q-P)/\Vert Q-P\Vert$ and $b=(E-P)/\Vert E-P\Vert$. The visible reflection locus satisfies $(a+b)\cdot P_u=(a+b)\cdot P_v=0$, with the source and eye on the reflecting side. Rank two of the resulting Jacobian matrix gives a locally one-dimensional locus in $(u,v,t)$ by the implicit function theorem.

// Target: analysis.bigb

Fix the standard orientation of a vector space on the plane. For an oriented regular curve in that plane, let $T=(T_x,T_y)$ be its unit tangent vector and let $N_L=(-T_y,T_x)$ be its left unit normal, obtained by an anticlockwise rotation through $\pi /2$. Its signed curvature $k$, also commonly written ${\kappa }_s$, is defined byHere $s$ increases with the chosen traversal and $\det$ is the determinant. Positive signed curvature means turning left; negative signed curvature means turning right. The left unit normal exists even when $k=0$; when $k<0$ it points opposite to the principal normal vector. See Ghomi's university lecture notes, section 1.10.

For an arbitrary regular parametric curve $r(t)=(x(t),y(t))$ traversed with increasing $t$, the signed curvature isFor the anticlockwise circle $r(t)=(R\cos t,R\sin t)$, the numerator is $R^2$ and the denominator is $R^3$, so $k=1/R$. For the clockwise traversal $q(t)=(R\cos t,-R\sin t)$, the numerator is $-R^2$, so $k=-1/R$, while unsigned curvature is $1/R$ in both cases. On this circle $N_L$ points inward for anticlockwise traversal and outward for clockwise traversal. For any simple closed regular curve traversed anticlockwise, $N_L$ is the inward unit normal, but signed curvature can still be negative along nonconvex portions.

To see why the formula uses the cube of the speed, write $r^{\prime }=vT$ and $r^{\prime \prime }=v^{\prime }T+v^2(dT/ds)$. The term parallel to $T$ contributes zero to the determinant, giving $\det (r^{\prime },r^{\prime \prime })=v^3\det (T,dT/ds)=v^{3}k$. Under a reparametrization $q(u)=r(\varphi (u))$ with ${\varphi }^{\prime }\ne 0$, the numerator gains a factor $({\varphi }^{\prime }{)}^3$ and the denominator gains $|{\varphi }^{\prime }{|}^3$. Thus orientation-preserving reparametrization preserves signed curvature, while reversing traversal changes its sign at corresponding points. Unsigned curvature is preserved in either case.

Locally write the unit tangent vector as $T=(\cos \theta ,\sin \theta )$. Differentiating with respect to arc length gives $k=d\theta /ds$: signed curvature records the direction as well as the amount of turning. Its integral therefore measures net turning, as in the turning tangent theorem; the integral of $|k|$ is total curvature and counts both left and right turns positively.

At a point $T$ on a circle with centre $O$, the tangent line is perpendicular to the radius $OT$. For example, differentiating $|\mathbf{r}(s)-O{|}^2=R^2$ along a parametric curve on the circle gives $(\mathbf{r}-O)\cdot {\mathbf{r}}^{\prime }=0$, showing that the radial vector and tangent direction are orthogonal vectors. Conversely, the perpendicular straight line through $T$ has only that point in common with the circle: for a nonzero displacement $v$ along it, $|T+v-O{|}^2=R^2+|v{|}^2>R^2$.

A tangent vector at a point $p$ of a smooth manifold without boundary records an instantaneous velocity through $p$. Its base point is part of the data; measuring its length additionally requires a Riemannian metric. Intrinsically, a smooth curve $\gamma$ with $\gamma (0)=p$ defines its tangent vector by how every local smooth function changes along it:This is a derivation at a point. Two smooth curves through $p$ represent the same tangent vector if these derivatives agree for every such smooth function; equivalently, their coordinate velocity vectors agree in one manifold chart. The chain rule makes that agreement independent of the chosen manifold chart. ^[ref]

For an embedded submanifold of Euclidean space, the intrinsic tangent vector is represented by the ordinary derivative ${\gamma }^{\prime }(0)$, with its base point $p$ retained. A drawn arrow starting at $p$ represents that tangent vector; its endpoint $p+{\gamma }^{\prime }(0)$ need not lie on the embedded submanifold. Nor is a tangent vector required to be a unit tangent vector: a stationary smooth curve gives the zero vector, which belongs to the tangent space but has no direction to normalize.

Here are explicit calculations. In ${\mathbb{R}}^2$, $\gamma (t)=(t,t^2)$ and $\eta (t)=(t,2t^2)$ have different routes but the same tangent vector $(1,0)$ at $(0,0)$. For $f(x,y)=3x+y$, both give $v(f)=3$. For a circle of radius $R$, $c(t)=(R\cos (\omega t),R\sin (\omega t))$ has tangent vector $(0,R\omega )$ at $(R,0)$: changing $\omega$ changes the speed or reverses travel without changing the circle.

A reparametrization $\beta (s)=\gamma (h(s))$ with $h(0)=0$ gives, by the chain rule, ${\beta }^{\prime }(0)=h^{\prime }(0){\gamma }^{\prime }(0)$. A regular change of curve parameter has $h^{\prime }(0)\ne 0$. The singular choice $h(s)=s^3$ instead givesBoth describe the same parabola, whose tangent line at the origin is still the horizontal axis. The zero velocity diagnoses this singular change of curve parameter, whose inverse is not differentiable at zero; it does not show that the geometric tangent line is absent. The regular curve $\gamma$ supplies its nonzero direction.

The diagram is an analytical illustration of these exact parametric curves, with equal parameter increments marked on each route. It separates geometry from traversal: the tangent line depends on the route, while a velocity vector also depends on how the curve parameter advances.

For nonzero coprime integers $p,q$, the torus knot $T_{p,q}$ lies on a standard unknotted torus in the three-sphere and winds $p$ times meridionally and $q$ times longitudinally. Here a meridian of a solid torus goes around the small cross-section of the doughnut, while the longitudinal direction goes around its central hole. The integers count signed turns, so changing one sign gives the mirror of a link of the torus knot. In this article $p$ is always the meridional count and $q$ the longitudinal count.

An explicit parametric curve in three-dimensional Euclidean space iswhere $R>r>0$. Its cylindrical radius $\rho =\sqrt{x^2+y^2}$ satisfies $(\rho -R{)}^2+z^2=r^2$, the equation of the supporting torus. Its meridional angle is $pt$ and its longitudinal angle is $qt$: this checks the convention directly rather than relying on the picture. Its squared speed isIf two parameter values give the same point, their difference $\delta$ satisfies $p\delta ,q\delta \in 2\pi \mathbb{Z}$. Bézout's identity for the coprime integers $p,q$ then gives $\delta \in 2\pi \mathbb{Z}$. Thus the loop closes and is an injective function on the parameter circle, with nonzero derivative; it is a smooth embedding.

For example, $R=2$, $r=0.7$, $p=2$, $q=3$ produces a trefoil knot. During one circuit the meridional angle changes by $4\pi$ and the longitudinal angle by $6\pi$. The supporting torus is a guide for construction, not a constraint on later ambient isotopies: the knot may move off it. This family makes arithmetic visible as geometry: the coprime integers determine whether a single traversal visits the whole loop without repetition.

The coprime integers hypothesis matters. If the greatest common divisor is $d=\gcd (|p|,|q|)>1$, the same parametric curve retraces a single component $d$ times; it does not automatically draw $d$ different components. The corresponding torus link is instead the full set of points on the torus whose angles satisfy $q\varphi -p\theta \in 2\pi \mathbb{Z}$, with meridional angle $\varphi$ and longitudinal angle $\theta$. It has $d$ disjoint components, each with winding counts $(p/d,q/d)$. For instance, the torus link $T_{2,2}$ consists of two parallel $(1,1)$ loops and is a Hopf link, whereas substituting $(2,2)$ into ${\gamma }_{p,q}$ simply traces one of those loops twice.

For an oriented parametric curve $\mathbf{r}(t)$ and scalar field $V$, define the componentwise line integralIts value is a vector and reversing orientation changes its sign. It differs from the scalar arc length integral ${\int }_{C}Vds=\int V(\mathbf{r}(t))|{\mathbf{r}}^{\prime }(t)|dt$, which is independent of orientation. A request to integrate a scalar field along a curve should specify which differential is intended.

For the counterclockwise circle $\mathbf{r}(\varphi )=(R\cos \varphi ,R\sin \varphi ,z_0)$, suppose the restricted field has Fourier series $V(\varphi )=A_0+{\sum }_{n\ge 1}(A_n\cos n\varphi +B_n\sin n\varphi )$. Orthogonality givesThe oriented vector integral selects the first angular harmonics, whereas the scalar arc-length integral selects the mean.

For $-\pi \le t\le \pi$, this parametric curve closes with a corner on a unit circular cylinder. Its speed is $\cosh t$, so its arc length is $2\sinh \pi$. The cylindrical surface between the curve and $z=0$ has the same surface area, because unrolling gives the integral ${\int }_{-\pi }^{\pi }\cosh tdt$.