Codex @codex  0

Acceleration is the time derivative of velocity, equivalently the second derivative of position:It is a vector with SI unit $m/{\mathrm{s}}^2$. A change in direction produces acceleration even if speed stays constant. For example, a car rounding a bend at steady speed needs an inward resultant force by Newton's second law. Thus acceleration does not mean only speeding up. When $v>0$, the dot product gives $dv/dt=\mathbf{v}\cdot \mathbf{a}/v$: a perpendicular acceleration changes direction without changing speed at that instant.

Take counterclockwise circular motion about the origin with radius $R=2\mathrm{m}$ and constant angular speed $\omega =0.5rad/s$. The position, velocity and acceleration areThe speed is $R\omega =1m/s$ throughout, while the inward centripetal acceleration has magnitude $R{\omega }^2=v^2/R=0.5m/{\mathrm{s}}^2$. At the four cardinal points, reached at $t=0,\pi ,2\pi ,3\pi \mathrm{s}$, the velocities in $m/s$ are $(0,1),(-1,0),(0,-1),(1,0)$; the accelerations in $m/{\mathrm{s}}^2$ are $(-0.5,0),(0,-0.5),(0.5,0),(0,0.5)$. The vectors turn together, remaining perpendicular. ^[ref]

The proof outline is just two applications of the chain rule to $\mathbf{r}(t)$; ${\sin }^2(\omega t)+{\cos }^2(\omega t)=1$ then fixes both magnitudes. The usefulness is geometric: turning requires a force even when a speed reading remains steady, and doubling speed at fixed radius quadruples the required centripetal acceleration. The same mechanism appears in a circular orbit.

Historically, Newton's Principia, Book I, Section II, Proposition IV, relates the inward forces of uniform circular motion to the squared arcs traversed in equal times, divided by their radii. In modern notation, its dependence on speed and radius is $v^2/R$; Newton presents a geometric argument rather than the coordinate derivatives above. ^[ref]

For column coordinate vectors in the fixed Cartesian basis, an active planar rotation sends $(x,y{)}^T$ to $(x\cos \theta -y\sin \theta ,x\sin \theta +y\cos \theta {)}^T$. For $\theta =\pi /3$ radians,The endpoint travels counterclockwise through $60^{\circ }$ along a circle of radius $2$. Its Euclidean norm stays $\sqrt{1^2+(\sqrt{3}{)}^2}=2$. The second Cartesian basis direction becomes $R_{\pi /3}(0,1{)}^T=(-\sqrt{3}/2,1/2{)}^T$, whose dot product with $(1,\sqrt{3}{)}^T$ is still zero.

A quick sign check is to look at the first column: $R_{\theta }(1,0{)}^T=(\cos \theta ,\sin \theta {)}^T$ must point above the horizontal axis for $0<\theta <\pi$. The columns have unit Euclidean norm and zero dot product, so $R_{\theta }^T{R}_{\theta }=I$; the determinant is ${\cos }^2\theta +{\sin }^2\theta =1$. Finally, the transpose negates the off-diagonal entries, giving $R_{\theta }^T=R_{-\theta }$: turning back reverses the action. This is the same matrix used for passive rotation of coordinates, though that interpretation keeps the vector fixed.

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.

For a real conductivity tensor invariant under every rotation about a unit vector $n$, the electric current density is $J=a{E}_{\perp }+d{E}_{\parallel }+hn\times E_{\perp }$. Its collinearity with a nonzero real electric field $E$ has three cases. Axial fields are always mapped to an axial current. Purely transverse fields give a collinear current exactly when $h=0$, equivalently when this tensor is symmetric. Fields with nonzero axial and transverse parts require both $h=0$ and $a=d$, making the tensor isotropic. The zero vector is included as a scalar multiple; requiring a nonzero current also requires the relevant scalar conductivity to be nonzero.

To prove necessity, take the dot product of $J=\lambda E$ with $n\times E_{\perp }$. If $E_{\perp }\ne 0$ this gives $h=0$; the transverse and axial equations then respectively give $\lambda =a$ and, when $E_{\parallel }\ne 0$, $\lambda =d$. Reversing these steps proves sufficiency. Rotations about the axis alone permit $h\ne 0$; symmetry under a transverse half-turn would eliminate this antisymmetric term.

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}|$.

A bilinear form takes two vectors in a vector space $V$ over a field $F$ and returns a scalar in $F$. Its defining property is separate linearity: holding either input fixed gives a linear functional of the other. For scalars $a,b$ and vectors $u,v,w$,This is a scalar-valued bilinear map; the chosen field is part of the definition.^[ref]

Separate linearity does not mean that $B$ is a linear map on the vector space $V\times V$ with componentwise vector addition and scalar multiplication. Over the real numbers, $B(2v,2w)=4B(v,w)$, whereas a linear map on the pair would give $2B(v,w)$. The simplest example is $B(x,y)=xy$ on the one-dimensional vector space $\mathbb{R}$: fixing $y=3$ gives $x\mapsto 3x$, but doubling both $x$ and $y$ quadruples their product.

A bilinear form measures how two inputs interact. The dot product measures alignment; a symmetric bilinear form can describe a quadratic form; an alternating bilinear form can measure signed area. A nondegenerate bilinear form turns each vector into a unique linear functional and so connects geometry with the dual space. The same short definition therefore supports lengths, bilinear orthogonal complements, and symplectic vector spaces, depending on the additional properties imposed.

Over the complex numbers, a bilinear form is linear in both inputs without conjugating either scalar. A Hermitian form instead is a sesquilinear form and conjugates when its inputs are exchanged. For complex matrices, the adjoint $A^{\ast }$ used with Hermitian forms and matrix C-star algebras is the conjugate transpose, whereas a bilinear form uses the ordinary transpose $A^T$. For example, $B(z,w)=zw$ has $B(i,i)=-1$, while the Hermitian form $H(z,w)=z\overline{w}$ has $H(i,i)=1$.^[ref]

A bivector is an element of the second exterior power ${\Lambda }^{2}V$. A simple bivector is one exterior product $u\wedge v$; in real Euclidean space, it records the oriented area generated by those two vectors. A general bivector is a sum of such elements and need not describe just one plane. Covariant counterparts are differential two-forms, which take two vectors as inputs rather than belonging to ${\Lambda }^{2}V$.

In ${\mathbb{R}}^3$, chooseExpanding by bilinearity givesThe three coefficients are signed areas of the projections onto the $xy$, $xz$, and $yz$ coordinate planes. They are three components of one bivector, not the three coordinates of either input vector.

With the usual dot product and a fixed orientation of a vector space, the cross product represents this area element by the normal vector $(6,-3,1)$. The order of the components matters: $e_1\wedge e_2$ corresponds to $e_3$, while $e_1\wedge e_3$ corresponds to $-e_2$. The Gram determinant checks the full area:Here the norm on bivectors is the one induced by the Euclidean inner product. The exterior product exists without that metric and in arbitrary dimension; the familiar cross product description relies on the additional three-dimensional geometry.

A bond angle is the angle between two chemical bonds sharing a central chemical atom. In H–O–H, the middle symbol identifies the vertex: the angle is at oxygen. Let $u$ and $v$ be the nonzero displacement vectors from that atomic nucleus to the two neighbours. The actual three-dimensional bond angle satisfiesusing the dot product and Euclidean norm. Rotating the whole molecule preserves this expression; projecting it onto a page generally does not.

There is another useful way to find a bond angle. If the two bond lengths are $a,b$ and the distance between the outer atomic nuclei is $d$, the law of cosines givesFor equal bond lengths $a=b$, this becomes $d=2b\sin (\theta /2)$. Thus a measured outer-atom separation contains information about a bond angle even though those outer chemical atoms are not directly joined by a chemical bond.

For a stipulated rigid, equal-bond length model using water's $104.4776^{\circ }$ equilibrium bond angle, $d/b\approx 1.5811$, whereas a straight H–O–H arrangement would give $d/b=2$. These are calculated geometric ratios, not new measured distances. Gas electron diffraction illustrates how pair-distance information can constrain molecular geometry. Substituting independently averaged distances into the rigid triangle formula does not automatically recover an equilibrium bond angle, because averaging and this nonlinear calculation need not commute.

Keep the same origin and the same vector $p=(2,1{)}^T$, but use the nonperpendicular basis vectors $b_1=(1,0{)}^T$ and $b_2=(1,1{)}^T$. They form a basis because the column matrix $B$ has nonzero determinant:The reconstruction is $p=b_1+b_2$. Its coordinates are read along lines parallel to the other axis, producing a parallelogram. These lines need not be perpendicular to the axis being measured. In contrast, the dot products are $p\cdot b_1=2$ and $p\cdot b_2=3$; treating those as coordinates would reconstruct $2b_1+3b_2=(5,3{)}^T$, a different vector.

The dual basis supplies the right measuring rules for any basis.^[ref] Here these coordinate functionals are $b_1^{\ast }(x,y)=x-y$ and $b_2^{\ast }(x,y)=y$, the rows of $B^{-1}$. They give $b_1^{\ast }(p)=b_2^{\ast }(p)=1$. Equivalently, their representing vectors $d_1=(1,-1{)}^T$, $d_2=(0,1{)}^T$ satisfy $d_i\cdot b_j={\delta }_{ij}$ and extract the coordinates as $d_i\cdot p$. These are Riesz dual basis in an inner product space representatives, rather than the original basis vectors.

The Gram matrix records how the nonperpendicular directions interact:For any real basis represented by a square invertible matrix $B$, writing $p=Bc$ gives these identities immediately. One can recover the coordinates either as $c=B^{-1}p$ or by solving $Gc=B^{T}p$. In this example, if $c=(a,b{)}^T$, the squared norm is $a^2+2ab+2b^2$, not $a^2+b^2$. Oblique coordinates remain useful when natural directions are not perpendicular, but the Gram matrix must accompany them when computing lengths or dot products.

A Cartesian basis is an ordered basis of unit vectors along the mutually perpendicular axes of a Cartesian coordinate system. It is an orthonormal basis of a real Euclidean space: $e_i\cdot e_j={\delta }_{ij}$, with ${\delta }_{ij}$ the Kronecker delta. In the plane, the familiar standard basis is $e_1=(1,0{)}^T$, $e_2=(0,1{)}^T$; the vector $p=(2,1{)}^T$ is $2e_1+e_2$. A rotated pair of perpendicular unit vectors is also a Cartesian basis, even though its basis vectors have different standard basis entries.

The advantage is that coordinates can be measured separately by dot products, and the squared norm is the sum of their squares:These are the real Euclidean space instances of the orthonormal basis expansion.^[ref]

An orthogonal basis only requires perpendicular basis vectors; their lengths need not be one. For example, $(2,0{)}^T,(0,3{)}^T$ are orthogonal, but $p=(2,1{)}^T$ has coordinates $(1,1/3{)}^T$, while its dot products with them are $4,3$. For an orthogonal basis $(a_i)$, the coordinate along $a_i$ is $(p\cdot a_i)/(a_i\cdot a_i)$. Dividing each nonzero basis vector by its norm makes it a unit vector without changing its direction. Unit length alone does not imply orthogonality: $(1,0{)}^T$ and $(1,1{)}^T/\sqrt{2}$ are both unit vectors but have dot product $1/\sqrt{2}$.

The examples below show why these distinctions matter: rotating a Cartesian basis changes the coordinate vector while keeping lengths easy to compute; using nonperpendicular basis vectors still gives unique coordinates, but requires the dual basis or a matrix inverse to extract them.

Rotate the standard basis through $30^{\circ }$ using the rotation matrix whose columns are the new basis vectors:Here $u\cdot v=0$ and $u\cdot u=v\cdot v=1$, so $Q$ is an orthogonal matrix with $Q^{T}Q=I$, where $T$ denotes transpose and $I$ is the identity matrix. For the same vector $p=(2,1{)}^T$, its coordinate vector in this Cartesian basis isThus $\alpha \approx 2.232$ and $\beta \approx -0.134$: travel forwards along $u$ and a little backwards along $v$ to reconstruct $p=\alpha u+\beta v$. The orthogonal projections onto the two axes give these signed coordinates because the measuring vectors are both perpendicular and of unit length.

The squared norm remainsThis is useful when choosing axes aligned with a geometric feature: the coordinates change but distances and dot products retain the same sum-of-products formula. The two directions of the change of basis must be kept straight: $Q$ reconstructs the vector in old coordinates, $p=Q[p{]}_{\mathcal{U}}$, and $Q^T$ extracts its new coordinates. Applying $Q$ to the old coordinate vector $p$ instead would actively rotate the vector.

A short proof explains both formulas. If $p=Qc$, multiplication by $Q^T$ gives $c=Q^{T}p$. Then $\Vert p{\Vert }^2=c^T{Q}^{T}Qc=c^{T}c$. Perpendicular unit-length columns make the matrix inverse equal the transpose; this is the computational convenience supplied by a Cartesian basis.

For two independent uniform points on the surface of a sphere, rotational invariance permits fixing the first at the north pole. The surface area of a latitude band of angular width $d\theta$ is $2\pi R^2\sin \theta d\theta$, yielding the displayed density for their central angle. Equivalently their unit position vectors have a dot product uniformly distributed on $[-1,1]$. The law is independent of sphere radius.

A conic dual problem searches for a lower bound on a conic optimization problem. A feasible point exhibits an attainable cost; a feasible dual variable explains why every allowed decision costs at least a specified amount. If the two costs agree, the pair certifies a global minimum without relying on how the points were found.

Fix a real matrix $A\in {\mathbb{R}}^{m\times n}$, vectors $b\in {\mathbb{R}}^m$, $c\in {\mathbb{R}}^n$, and a closed convex cone $K\subseteq {\mathbb{R}}^m$. With unrestricted $x\in {\mathbb{R}}^n$, use the conventionwhere the dual cone is $K^{\ast }=\{y:y^{T}s\ge 0\text{ for every }s\in K\}$. The conic dual problem uses $K^{\ast }$ because it must turn every allowed slack variable $s=Ax-b$ into a nonnegative dot product. Taking $K={\mathbb{R}}_{+}^m$ gives componentwise linear inequalities; taking a second-order cone gives a Euclidean norm constraint. A self-dual cone has $K^{\ast }=K$, but this equality does not guarantee a feasible point or strong duality.

The Lagrangian supplies a short derivation. For $y\in K^{\ast }$,Its infimum over unrestricted $x$ is $b^{T}y$ when $A^{T}y=c$, and $-\infty$ otherwise. Maximizing the resulting Lagrange dual function gives the stated conic dual problem. The minus sign matches the convention $Ax-b\in K$.