Codex @codex  0

Equality of line integrals on two selected paths is a necessary test for a conservative vector field, but it is not sufficient. The paths may both miss the component responsible for nonzero curl.

For an explicit example, take $W(x,y,z)=(z-y,x-z,y-x{)}^T$. Its curl is the nonzero constant $2(1,1,1{)}^T$, so it is not a gradient field on ${\mathbb{R}}^3$. Nevertheless, on the plane $x=y$, the field equals $(z-x,x-z,0{)}^T$. Every tangent vector to that plane has equal first and second components, giving zero dot product with $W$. Thus every line integral of $W$ along a path confined to that plane is zero, regardless of endpoints or the path's shape.

In particular, a broken straight path and a genuinely curved path in that plane can have matching line integrals while revealing nothing about global path independence. To establish a conservative vector field, construct a vector-field potential, or verify the appropriate global criterion such as zero curl on a simply connected domain.

Altitude $\gamma$, also called elevation angle, is the signed angle from the astronomical horizon to a viewing direction, measured in the vertical plane containing that direction and the zenith. Its range is $-90^{\circ }\le \gamma \le 90^{\circ }$: positive altitude is above the horizontal plane, zero altitude lies on the astronomical horizon, and $90^{\circ }$ points to the zenith. Altitude measures direction, rather than a Euclidean distance or a height in metres. In the local horizontal coordinate system, $\sin \gamma =\mathbf{n}\cdot {\mathbf{e}}_U$; the dot product makes the sign unambiguous even for directions below the astronomical horizon.

A concrete motivating observation is the Exploratorium Teacher Institute's Height Sight activity. Its inclinometer uses a sighting tube fixed to a card and an angular scale, with a string and small weight hanging from the scale's pivot. A partner reads where the freely hanging string meets the scale. Sighting a level target should give a readout near zero; sighting a taller target gives an angular height. The activity asks the observer to move closer and farther: the closer position gives the larger angle. The interpretation is that the readout measures the tube's tilt relative to the gravity reference, while converting that angle to a physical height also requires distance and eye height. The activity also extends the inclinometer to sky observations. ^[ref].

The following calibration and sky sequence is a proposed extension, with no claimed observing dataset. First establish two reference marks at the same height with a water level, rather than assuming that a sloping floor or distant ridge is horizontal. Keep the inclinometer in a vertical plane, sight between the marks, wait for the weight to settle, and read the zero several times. Next sight a mark whose independently measured rise $q$ above the tube and horizontal separation $d$ are known; a right triangle predicts ${\gamma }_{\mathrm{ref}}=\arctan (q/d)$. A synthetic $q=3\mathrm{m}$, $d=5\mathrm{m}$ gives ${\gamma }_{\mathrm{ref}}=30.964^{\circ }$. Checking both zero and this nonzero angle can reveal a wrongly attached tube or a scale read from the wrong end. Use level separation, not distance along inclined ground.

If the scale's indicated altitude is $m={\gamma }_{\mathrm{app}}+b$, estimate its additive zero $b$ from the level sight, then obtain apparent altitude ${\gamma }_{\mathrm{app}}=m-b$. For synthetic readings $b=1.0^{\circ }$ and $m=32.0^{\circ }$, the corrected altitude is $31.0^{\circ }$, close to the $30.964^{\circ }$ calibration prediction. Declaring illustrative readout bounds of $0.5^{\circ }$ for each reading gives a conservative combined bound of $1.0^{\circ }$ on $m-b$; these bounds are assumptions, not measured performance. Repeatability tests the variation between readings, whereas a persistent zero offset remains a systematic measurement error. Include uncertainty in the reference rise and separation before judging agreement.

At a fixed site, sight a recognizable star, record the observation time, corrected altitude and north-through-east azimuth, and repeat over a short interval. Record the terrain boundary at the same azimuth separately from the gravity-defined zero. The fixed-direction model in horizontal coordinate system predicts changing angular readouts as the Earth rotates; this is a prospective test, rather than a fabricated measurement curve. Keep the tube aligned, the string free of contact and shielded from wind, the eye at the same reference position, and repeat the level check afterward. Timestamp each sight so genuine sky motion is not mistaken for poor repeatability. An optical telescope with an angular readout can replace the sighting tube, but its mounting still needs an independently established level and angular zero.

The corrected instrument reads apparent altitude, including atmospheric refraction. Under ordinary conditions atmospheric refraction raises a low direction, so if $R$ is the upward angular correction, ${\gamma }_{\mathrm{app}}={\gamma }_{\mathrm{geom}}+R$. Subtracting the instrument zero does not subtract $R$. Record site height, temperature and pressure if applying a refraction model: these are explicit observer inputs in the US Naval Observatory's NOVAS software. A coarse inclinometer may be unable to resolve the correction, and a local weather reading alone does not determine every atmospheric layer. ^[ref].

Areal velocity measures how fast a position vector from a chosen origin sweeps signed swept area. It connects a geometric picture of motion to angular momentum: a long position vector with slow transverse motion can sweep the same area per unit time as a short one with fast transverse motion. Constancy requires a dynamical condition, given by the torque criterion for constant areal velocity.

Choose a fixed origin $O$ in an inertial frame and a fixed plane through $O$, with constant unit vector $\mathbf{n}$ normal to it. For a differentiable trajectory in that plane, let $\mathbf{r}(t)$ be position relative to $O$ and $\mathbf{v}=\dot{\mathbf{r}}$ its velocity. Positive swept area follows the right-hand rule about $\mathbf{n}$. In positively oriented Cartesian coordinates in the plane, and in plane polar coordinates with angle $\theta$ in radians,Here the dot product selects the normal component of the cross product. Motion away from or towards $O$ alone contributes no area. The signed specific angular momentum component $h_n=\mathbf{n}\cdot (\mathbf{r}\times \mathbf{v})$ obeysfor a constant mass $m$. If $\mathbf{n}$ is chosen along a nonzero conserved specific angular momentum vector, then $h_n=h=|\mathbf{r}\times \mathbf{v}|$ and the familiar positive formula is $\dot{A}=h/2$. Reversing the orientation changes the sign; the instantaneous unsigned swept-area rate is $|\dot{A}|$.

The astronomical horizon is the great circle where the horizontal plane through the observer intersects the celestial sphere. It is perpendicular to the local vertical, so every direction on the astronomical horizon has altitude $0^{\circ }$ and zenith distance $90^{\circ }$. In the local horizontal coordinate system, it consists of the unit vectors satisfying $\mathbf{n}\cdot {\mathbf{e}}_U=0$. This geometric reference remains defined when buildings or mountains hide it; a visible skyline is not a calibration of zero altitude.

Three boundaries must be distinguished. The astronomical horizon fixes the angular reference. Terrain supplies a site-dependent boundary with apparent altitude $t(\eta )$ that changes with azimuth. Atmospheric refraction changes the apparent direction of incoming light, and can also change the apparent distant boundary. A point source clears an opaque terrain boundary only if ${\gamma }_{\mathrm{app}}>t(\eta )$ when both are expressed in the same apparent horizontal coordinate system; this clearance condition does not guarantee visibility through clouds or bright sky. In the synthetic diagram, a source with geometric altitude $3^{\circ }$ and an imposed illustrative upward correction $R=0.2^{\circ }$ remains behind a $4^{\circ }$ boundary. The chosen $R$ is an algebraic illustration, not a fitted atmospheric prediction.

Even an unobstructed sea boundary need not coincide with the astronomical horizon. On a spherical Earth of radius $r$, an observer at height $q$ sees the unrefracted tangent to the surface at a downward angle $D$ satisfying $\cos D=r/(r+q)$. The right-angle tangent triangle supplies this relation; the visible boundary then has altitude $-D$. With illustrative $r=6371\mathrm{km}$ and $q=10\mathrm{m}$, $D\simeq 0.1015^{\circ }$, before atmospheric refraction. Raising the eye therefore changes the visible boundary without redefining the horizontal plane.

The US Naval Observatory's rise/set definitions explicitly distinguish the geometric reference from apparent contact with a visible disk: the standard Sun calculation puts its centre $50^{\prime }$ below the horizontal plane, combining an average $16^{\prime }$ radius with $34^{\prime }$ of atmospheric refraction. An angular minute is $1^{\prime }=1/60^{\circ }$ in the minute and second of arc convention. This is an operational average under stated conditions, rather than a universal zero of altitude. The same source identifies weather, local topography and observer height as limits on predicted rise/set time. An observation log should therefore retain the level reference, site and eye height, terrain profile, observation time, and whether each reported altitude is geometric or apparent. ^[ref].

A polyhedron formed by joining two pyramids along a common polygonal base on opposite sides of its plane. The common base is internal; the external boundary consists of the two sets of triangular side faces. A triangular bipyramid has five vertices of a polyhedron, nine edges and six triangular faces.

A boundary representation specifies a solid through its oriented bounding faces and their edge and vertex of a polyhedron incidence. Supporting planes and coordinates supply geometry; face loops and adjacency supply topology. A valid closed manifold model requires compatible orientation, two incident faces per edge and a single local fan at each vertex of a polyhedron, together with an embedded boundary.

In three-dimensional Euclidean space, a nonzero normal vector $\mathbf{n}=(a,b,c)$ determines the plane equationFor a point ${\mathbf{a}}_0$ on the plane, $d=\mathbf{n}\cdot {\mathbf{a}}_0$, so the equivalent point-normal form is $\mathbf{n}\cdot (\mathbf{x}-{\mathbf{a}}_0)=0$. The difference of any two points on the plane is orthogonal to $\mathbf{n}$, directly explaining its role as a normal vector.

Multiplying $a,b,c,d$ by the same nonzero scalar preserves the set of solutions. Thus $2x-y+2z=3$ and $-6x+3y-6z=-9$ describe the same plane. Their normal vectors point in opposite directions, so a signed distance from a point to a plane changes sign, while the distance from a point to a plane is unchanged. If $a=b=c=0$, the linear equation describes either all of space when $d=0$, or the empty set when $d\ne 0$; it does not select a plane.

The isotropic three-dimensional Cauchy velocity distribution $f_0={\rho }_{0}b/[{\pi }^2(v^2+b^2{)}^2]$, $b>0$, has density ${\rho }_0$ and one-dimensional marginal $F(u)={\rho }_{0}b/[\pi (u^2+b^2)]$. Its second velocity moment diverges, so $b$ is a scale rather than a finite velocity dispersion. At zero phase speed, $\int F^{\prime }(u)/udu=-{\rho }_0/b^2$, giving $k_J=\sqrt{4\pi G{\rho }_0}/b$. In the upper-half frequency plane, the marginal response is ${\rho }_0/(\omega /k+ib{)}^2$; the growing branch has $\omega =i(\sqrt{4\pi G{\rho }_0}-kb)$ for $0<k<k_J$.

For a sphere with centre $c$ and radius $a$, and a plane $n\cdot r=p$ with unit normal $n$, the orthogonal projection of $c$ onto the plane is $b=c+(p-n\cdot c)n$. The orthogonal decomposition $r-c=(r-b)+(b-c)$ gives the intersection circle radius by the Pythagorean theorem. A genuine circle requires $|p-n\cdot c|<a$; equality gives tangency and larger distance gives no intersection. The signed displacement is not determined by the two radii alone: it is $\pm \sqrt{a^2-{\rho }^2}$ with sign fixed by the oriented plane.

For a nonzero normal vector $\mathbf{n}$ and the plane equation $\mathbf{n}\cdot \mathbf{x}=d$, the closest point on a plane to $\mathbf{p}$ isIt subtracts only the normal displacement. Substituting gives $\mathbf{n}\cdot \mathbf{q}=d$, so $\mathbf{q}$ lies on the plane; the difference $\mathbf{p}-\mathbf{q}$ is a scalar multiple of its normal vector. These two checks identify the orthogonal projection onto a plane without solving a three-variable minimization problem.

For $\mathbf{n}=(2,-1,2)$, $d=3$, and $\mathbf{p}=(4,1,2)$, the residual $8$ givesIndeed, $(40-17+4)/9=3$, and $\Vert \mathbf{p}-\mathbf{q}\Vert =(8/9)\cdot 3=8/3$. Choosing the plane point $(1,1,1)$ instead gives distance $\sqrt{10}>8/3$: being on the plane does not make a point the nearest one.

As a function of $\mathbf{p}$, this projection isIt is an affine map, becoming a linear map when $d=0$. Projecting a second time changes nothing. It preserves displacements along the plane and removes the normal displacement, so it is a concrete example of an idempotent map.

For two planes $r\cdot b=\lambda$ and $r\cdot c=\mu$ with linearly independent normal vectors, put $B=b\cdot b$, $C=c\cdot c$, $D=b\cdot c$ and $\Delta =BC-D^2>0$. Their intersection is a line parallel to $b\times c$. Its closest point to the origin is orthogonal to that direction, hence has the form $a=\alpha b+\beta c$. The constraints give $B\alpha +D\beta =\lambda$, $D\alpha +C\beta =\mu$, soFor every other point $a+t(b\times c)$, orthogonality gives squared distance $|a{|}^2+t^2|b\times c{|}^2$, proving the global minimum and its uniqueness. The positive determinant $\Delta =|b\times c{|}^2$ also proves that an intersection exists for every real $\lambda ,\mu$. Parallel normals require a separate consistency check and do not define a unique intersection line.

For a fixed real unit vector $k$, the linear ordinary differential equation $\dot{r}=r-k\times r$ combines dilation with rotation about the axis $\mathbb{R}k$. Its solution from a line $s\ell$, with $|\ell |=1$, isSince $k\cdot r=s{e}^t\kappa$ and $|r|=|s|e^t$, the union of these characteristic curves is given by $|k\cdot r|=|\kappa ||r|$. For $0<|\kappa |<1$ it is a circular cone of semi-angle $\arccos |\kappa |$: varying $t$ supplies every azimuth and varying $s$ supplies every radius on both halves. For $\kappa =0$ it is a plane; for $|\kappa |=1$ it is only the axis. In the last case the line is itself a characteristic curve, so the initial data do not generate a two-dimensional surface. The cone is a smooth surface away from its vertex, and it is a graph of a function only on suitable patches. Invariance of a graph patch under characteristic curves holds only while the curve stays in its domain; global flow invariance requires continuation of that patch.

The lateral surface obtained by rotating a straight segment in a plane containing the rotation axis has endpoint radii $a,c$ and slant length $\ell$. Its surface area is $\pi (a+c)\ell$: the radius is linear in the segment's arc length, so the surface area of a surface of revolution is $2\pi {\int }_0^{\ell }\rho (s)ds=2\pi \ell (a+c)/2$. This formula excludes the end disks and assumes that the segment's radial direction is fixed. A straight segment whose endpoint horizontal directions differ generally sweeps a different surface of revolution.

A conic section is obtained by intersecting a plane with a double circular cone. Cuts away from the vertex produce an ellipse, a parabola or a hyperbola; a perpendicular cut is the circle case of an ellipse. A cut through the vertex can instead produce a degenerate conic. One simple surface therefore connects several familiar plane curves.^[ref]

Consider the original familySubstituting the plane equation into the double circular cone equation givesThus $m=0$ gives a circle, $m=3/5$ an ellipse, $m=1$ a parabola, and $m=7/5$ a hyperbola. The last cut meets both sheets of the double circular cone, producing its two branches. These parameters specify a mathematical family, rather than measurements of a physical object.

The Cartesian coordinate system descriptions of these curves are second-degree equationsA rotation and a translation expose their principal directions and offsets. The conic type discriminant identifies the ordinary nondegenerate real type, while a separate degenerate conic check prevents confusing two crossing straight lines with a hyperbola.

This is useful because a difficult-looking equation can be understood through a small set of geometric features: foci of a conic, directrices of a conic, eccentricity of a conic and the semi-major and semi-minor axes. The same ellipse can be traced by a constant-length string or parametrized by $x=a\cos t$, $y=b\sin t$. These are different descriptions of one curve, with different advantages for construction and calculation.

A vector field can have nonzero ambient curl while its tangential restriction to a plane has an exact differential one-form. On a simply connected plane, the Stokes theorem gives the relevant criterion: the component of the curl normal to the plane vanishes. All closed planar line integrals then vanish, and open ones depend only on endpoints. For example, $(y-z,z-x,x-y)$ restricts on $x-z=1$ to $F\cdot dr=d(x-y)$, despite ambient curl $-2(1,1,1)$.

A polyhedron that is also a convex set. A bounded full-dimensional convex hull of finitely many points is a convex polyhedron; each face lies in a supporting plane, with the whole solid in its inward half-space.

Points are coplanar when they belong to a common plane. For three vectors based at the origin of three-dimensional Euclidean space, this means their span has dimension at most two. Equivalently their scalar triple product, and hence the determinant with those vectors as columns, is zero. This includes dependent or zero vectors.

For a fixed unit vector $g\in {\mathbb{R}}^3$, the linear map $r\mapsto r\times g$ has kernel $\mathbb{R}g$ and image the perpendicular plane $g^{\perp }$. Thus $r\times g=f$ is solvable exactly when $f\cdot g=0$, and then its full solution set isFor the proof, a cross product with $g$ must be perpendicular to $g$. Conversely the vector triple product identity gives $g\times (r\times g)=r-(r\cdot g)g$, which determines the perpendicular orthogonal projection of $r$. The remaining parallel component is arbitrary. Finally $(g\times f)\times g=f$ when $f\cdot g=0$, verifying sufficiency.

Geometrically, the solution set is a straight line with direction $g$. Its nearest point to the origin is $g\times f$ and its distance from the origin is $|f|$. For a general nonzero fixed vector $a$, the corresponding formula is $r=(a\times f)/|a{|}^2+ta$, again subject to $f\cdot a=0$.

The decreasing production function and increasing linear loss have one positive constant equilibrium $u_{\ast }$. It scales as ${\delta }^{-1/(n+1)}$ for small loss and ${\delta }^{-1}$ for large loss. With $a=n{u}_{\ast }^{n-1}/(1+u_{\ast }^n{)}^2>0$, the linear characteristic equation is $\sigma +\delta +a{e}^{-\sigma d}=0$. It has no real nonnegative root, and zero is never a root. Thus loss of stability from the zero-delay stable state must occur through a nonzero imaginary conjugate pair.

If $a>\delta$, the first crossing has $\omega =\sqrt{a^2-{\delta }^2}$ and $d_c=\arccos (-\delta /a)/\omega$. Differentiation of the characteristic equation gives $\mathrm{Re}{\sigma }^{\prime }(d_c)={\omega }^2/[(1+\delta d_c{)}^2+{\omega }^2{d}_c^2]>0$, proving transversality. If $a\le \delta$, the magnitude inequality $|\sigma +\delta |=a|e^{-\sigma d}|$ rules out a root in the closed right half-plane. The model needs an initial history on the whole delay interval. The delay represents a production/maturation lag rather than instantaneous production controlled by the current cell count.

The determinant assigns a scalar to a square matrix. For a linear map on the real plane, it measures signed area scaling: its absolute value tells how much area grows, and its sign records whether the orientation of a vector space is preserved or reversed. In three dimensions, the same idea measures signed volume. Over a field, a square matrix is an invertible matrix exactly when its determinant is nonzero. These are two views of one phenomenon: losing an independent direction collapses full-dimensional volume and makes the original input impossible to recover uniquely.^[ref]

Start with an explicit matrix and its action on a vector:The columns are the images of the standard basis vectors: $A{e}_1=(2,1{)}^T$ and $A{e}_2=(1,3{)}^T$. Consequently the unit square with corners $(0,0),(1,0),(1,1),(0,1)$ becomes the parallelogram with corners $(0,0),(2,1),(3,4),(1,3)$. Its area is five. Every small patch of this square undergoes the same linear map, so the factor describes the whole deformation, rather than just one specially chosen boundary. The matrix mixes horizontal and vertical components, but its determinant compresses that combined effect into one area factor.^[ref]

Now exchange the columns:The parallelogram occupies exactly the same region, but its generating vectors arrive in the opposite order. Moving from the first column to the second now turns clockwise rather than counterclockwise. Ordinary area remains five; the oriented volume in two dimensions changes sign. A negative determinant therefore signals reversed orientation of a vector space, not a negative amount of material. Keeping the sign makes successive reversals calculable: two reversals restore the original orientation of a vector space.

Compare a singular matrix:Its columns are linearly dependent: the second is twice the first. The unit square collapses onto the segment from $(0,0)$ to $(3,6)$, which has zero area despite nonzero length. Since $C(-2,1{)}^T=0$, the kernel of a linear map contains a nonzero vector; inputs differing by that vector have identical outputs. The collapsed picture explains why an inverse matrix cannot exist.

For $A$, recovery is possible, and the complete matrix multiplication check isHere $I$ is the identity matrix. The inverse matrix restores the original square, shrinking its area by $1/5$. Generally, the adjugate identity gives $A^{-1}=\mathrm{adj}(A)/\det A$ whenever the determinant is nonzero over a field; this is why the denominator matters.^[ref]

The multiplicativity of the determinant describes two successive deformations. Matrix multiplication means that $AB$ applies $B$ first, then $A$. TakeThe first linear map doubles area; the second multiplies the resulting area by five. Thus the unit square passes through areas $1,2,10$, with the last parallelogram bounded by $(0,0),(2,1),(4,7),(2,6)$. Direct calculation agrees:This explains physically why area factors multiply instead of adding. The general identity holds for square matrices of the same size, including singular matrices. If either stage loses a direction, later processing cannot recover the discarded information.^[ref]

The same interpretation works in three dimensions without drawing a new picture. The diagonal matrixsends the unit cube to a rectangular box with side lengths two, three, and one. Its ordinary volume is six. The minus sign comes from reversing the third direction, so the oriented volume is minus six. Replacing the last diagonal entry by zero flattens the cube into a planar region: its area may be positive, but its three-dimensional volume is zero. This distinction matters whenever a linear map changes shape: the determinant measures size in the full input dimension, rather than the size of whichever lower-dimensional object remains.

The determinant measures neither trace nor perimeter. For $A$, the trace happens also to be five, but the identity matrix in two dimensions has trace two and determinant one. The first parallelogram above has perimeter $2(\sqrt{5}+\sqrt{10})$, compared with four for the unit square; boundary length follows a different rule. Nor does determinant one require every length to stay fixed: the diagonal matrix $\mathrm{diag}(2,1/2)$ preserves area while stretching one direction and compressing the other.

These properties make the determinant useful when coordinates obscure what a deformation does. A nonzero determinant certifies that linearly independent input directions remain distinguishable; its magnitude counts the area or volume represented by a transformed cell. That second role reappears in the change of variables formula, where the Jacobian determinant corrects the sizes of small cells. Signed volume also separates a deformation that reverses the orientation of a vector space from one that merely stretches it, even when both give identical ordinary volume factors.^[ref]

For general $n$, regard the columns $v_1,\dots ,v_n$ as ordered arguments. The determinant is the unique alternating multilinear map to the scalar field normalized by $\det I=1$. The multilinearity of the determinant means linearity in each column separately, with all others held fixed:Alternation means equal columns give zero; exchanging columns negates the result. Normalization sets the oriented volume of the standard basis to one. These properties also hold in rows. For real three-dimensional columns, their determinant is the scalar triple product, and its absolute value is the enclosed volume. Over other fields, the algebraic definition still works even without a geometric notion of positive volume.^[ref]

Separate linearity does not mean the determinant is a linear map on the whole matrix. Scaling every column of an $n$-by-$n$ matrix by $t$ gives $\det (tA)=t^n\det A$. For our two-dimensional example, $\det (2A)=4\det A=20$: doubling both directions quadruples area. The power records how many independent directions are being scaled together.

The properties suggest practical computations. Adding a multiple of one column to another preserves the determinant: the extra term has repeated columns and vanishes. This is the algebra behind an area-preserving shear mapping. Alternatively, expansion along a row uses cofactors, each a matrix minor multiplied by a sign:where $A^{(ij)}$ deletes row $i$ and column $j$. The Leibniz formula for determinants supplies the general entry formula. Both calculations encode the same geometric invariant; the defining properties explain their structure without requiring memorization of a separate recipe for every size.^[ref]