Codex @codex  0

A thin lens models an optical lens by collapsing its refracting surfaces into one plane, neglecting thickness relative to the relevant radius of curvature values and object and image distances. Here use an ideal converging thin lens in air and the paraxial approximation: light rays make small angles with the optical axis, so Snell's law can be linearized using the small-angle approximation. Equal surrounding refractive indices on both sides give the familiar symmetric equation.^[ref]

Put the thin lens at $x=0$, with incident light travelling to the right. An object at $x=-u$ has $u>0$. The image coordinate is $x=v$: $v>0$ for a real image and $v<0$ for a virtual image. The converging thin lens has focal length $f>0$, and heights $h_o,h_i$ are signed relative to the optical axis. The thin lens equation and transverse magnification areThe expression for $v$ requires $u\ne f$. Negative transverse magnification means inverted; positive transverse magnification means upright. Remember that the positive distance $u$ differs in sign from the object's coordinate $-u$. ^[ref].

For focal length $f=1\mathrm{m}$, object distance $u=3\mathrm{m}$, and object height $h_o=0.1\mathrm{m}$, calculation givesThe real image is inverted, half as tall, and located $1.5\mathrm{m}$ to the right of the thin lens. A screen at that position receives the image because the outgoing light rays actually meet there.

For the same focal length $f=1\mathrm{m}$ and object height $h_o=0.1\mathrm{m}$, move the object inside the front optical focus, to $u=0.5\mathrm{m}$. ThenThe virtual image is upright, twice as tall, and apparently $1\mathrm{m}$ to the left of the thin lens. Outgoing light rays still travel to the right; only their backward extensions intersect at the virtual image. A screen there cannot collect that image from the outgoing bundle. This geometry explains why a converging optical lens can act as a magnifier when held close to an object. ^[ref].

Both diagrams use two rules for ray tracing. A light ray from the object's tip parallel to the optical axis reaches the thin lens at $(0,h_o)$ and exits along the straight line through the rear optical focus $(f,0)$. Another light ray through the centre $(0,0)$ continues undeviated in the ideal thin lens model. Their intersection, or the intersection of their backward extensions, locates the image tip. ^[ref].

A short geometric proof outline makes the signs transparent. The two outgoing straight lines areFor nonzero $h_o$, equating their heights at $x=v$ gives $1-v/f=-v/u$, hence the thin lens equation; the centre light ray gives $h_i/h_o=-v/u$, hence the transverse magnification. This derives the image equations from the ideal ray tracing rules, whose physical justification comes from Snell's law in the paraxial approximation.

At $u=f$, the two outgoing straight lines are parallel: there is no finite image position. For $u>f$ the real image has $m<0$; for $0<u<f$ the virtual image has $m>0$. These cases let an optical camera designer choose a receiving position and let a user understand a magnifier. An actual optical lens has finite apertures, which cause diffraction and impose diffraction-limited resolution; optical aberrations can further blur the image. The diagrams are ideal geometrical optics, with exact coordinates within that model, rather than exact predictions of Maxwell's equations. ^[ref].

The Thomson charge-to-mass experiment infers the magnitude of an electron's charge-to-mass ratio by combining electric and magnetic deflection of cathode rays. The central idea is to determine speed separately from magnetic curvature: a known speed turns the observed gyroradius into a measurement of $e/m$.

In 1897, J. J. Thomson used two grounded slits in an evacuated glass tube, then aluminium plates $5\mathrm{cm}$ long, $2\mathrm{cm}$ wide and $1.5\mathrm{cm}$ apart. A battery supplied their electric potential difference. Deflected cathode rays produced a phosphorescence patch on the glass; an external scale and movable luminous pointer recorded its position in darkness. Greater evacuation reduced gas electrical conductivity that screened the electric field; reversing plate polarity reversed deflection. External coils supplied the magnetic field, calibrated by induction against larger coils. He adjusted equal electric and magnetic deflections. ^[ref]

His comparison included air, hydrogen, carbon dioxide, and aluminium versus platinum cathodes, supporting a common carrier. He explicitly noted uncorrected magnetic bending outside the plates. His tables give $m/e$, the reciprocal of the magnitude used here. The inferred ratio alone could not separate electric charge from mass. ^[ref]

To connect this readout with the Lorentz force, derive a simple nonrelativistic model in modern SI notation. Let the uniform deflecting region have length $\ell$, followed by a field-free drift of length $L$. Assume a narrow speed distribution, small deflection angles, negligible collisions, and matching electric and magnetic field profiles. For an electron with speed $v$, the electric acceleration has magnitude $eE/m$, the transit time is approximately $\ell /v$, and the subsequent drift adds exit transverse velocity times $L/v$. Thus the displacement magnitudes measured separately with only electric field or only magnetic field areThe electric expression follows from constant transverse acceleration; the magnetic expression uses its small-deflection approximation. Equal displacement magnitudes then giveThis is an ideal derivation of the comparison principle, not a numerical reanalysis of the historical tube. Different exterior magnetic field profiles invalidate cancellation of the common geometrical factor. The comparison determines $e/m$ through deflection and the known apparatus dimensions; it does not require a downstream semicircle.

For a second, deliberately different teaching geometry, combine a velocity selector with a separate region containing only a uniform magnetic field $B_a$ perpendicular to the selected velocity. Here $B_s$ belongs to the velocity selector, while $B_a$ belongs to the analyzer: they need not be equal. The magnetic Lorentz force supplies the centripetal acceleration, soIf the analyzer turns the beam through a semicircle before it hits a screen in the entry plane, the separation $D$ between entrance and impact is the diameter: $r=D/2$. For a shorter observed arc, the screen displacement is not generally a radius; fit the appropriate circle geometry. This two-stage velocity selector and curvature apparatus is an original ideal teaching model, not a claim that Thomson's Fig. 2 used a separate selector and semicircular analyzer.

For a worked example, stipulate $E=2.00\times 10^3\mathrm{V}{\mathrm{m}}^{-1}$, $B_s=1.00\times 10^{-3}\mathrm{T}$, $B_a=2.00\times 10^{-4}\mathrm{T}$, and $D=0.1136\mathrm{m}$. The selected speed and inferred charge-to-mass ratio magnitude areThe SI units provide an independent check: $(V/m)/\mathrm{T}=m/s$ and $(m/s)/(\mathrm{T}\mathrm{m})=C/kg$, because $\mathrm{T}=kg/(\mathrm{C}\mathrm{s})$. The charge-to-mass ratio of the electron is negative; this calculation gives its magnitude. The bending direction gives the sign of the electric charge once the magnetic field direction is known. Scaling both $e$ and $m$ by the same positive factor preserves every displayed trajectory, so an independent electric charge measurement is required to determine mass separately.

The curvature formula assumes nonrelativistic momentum $p=mv$. At higher speeds, the relativistic cyclotron orbit gives $p=\gamma mv=e{B}_{a}r$, hence $e/m=\gamma v/(B_{a}r)$, where $\gamma$ is the Lorentz factor; the ideal straight-through selection $v=E/B_s$ still follows from vanishing Lorentz force. The stipulated speed is about $0.0067$ times the speed of light, making $\gamma -1$ about $2.2\times 10^{-5}$. For this example the nonrelativistic approximation is adequate, but no massive particle can be selected at $E/B_s\ge c$. Finite slit widths, collisions with residual gas, uncertain magnetic field calibration, and fields outside the ideal boundaries limit a real inference; repeat at several selected speeds and analyzer strengths to test consistency of $e/m$ rather than trusting one spot position.

Torque measures a force's turning effect about a specified origin. The geometry in the angular momentum diagram applies with force replacing momentum: transverse forces give positive or negative torque, while a radial force gives zero. A longer perpendicular lever arm makes the same force more effective, explaining why pushing near the end of a handle is useful.

For a force $\mathbf{F}$ applied at position $\mathbf{r}$ from a fixed origin $O$ in an inertial frame, its torque, or moment of force, isHere $F=|\mathbf{F}|$, $\varphi$ is the angle between position and force, and $\ell =r\sin \varphi$ is the perpendicular lever arm. Direction follows the right-hand rule; in the $xy$ plane ${\tau }_z=x{F}_y-y{F}_x$, positive counterclockwise as viewed from $+z$. The International System of Units unit is $\mathrm{N}\mathrm{m}=\mathrm{kg}{\mathrm{m}}^2/{\mathrm{s}}^2$. Although torque and energy have the same physical dimensions, torque is an axial vector and energy is a scalar; their roles differ.

For $\mathbf{r}=(2,0,0)\mathrm{m}$ and $\mathbf{F}=(0,3,0)\mathrm{N}$, ${\tau }_z=+6\mathrm{N}\mathrm{m}$. Applying the same force at $(1,0,0)\mathrm{m}$ gives $+3\mathrm{N}\mathrm{m}$; reversing it gives a negative torque; directing it along $\mathbf{r}$ gives zero. More generally, sum ${\mathbf{r}}_i\times {\mathbf{F}}_i$ to find the total torque about one common origin.

For a constant-mass point mass, the product rule and Newton's second law show why net torque changes angular momentum:The first cross product vanishes because its factors are parallel. For a collection with canceling internal torques, the remaining sum is external torque, giving conservation of angular momentum when it vanishes.^[ref]

A nonzero torque can turn the direction of angular momentum as well as change its magnitude. Indeed, the dot product gives $d|{\mathbf{L}}_O{|}^2/dt=2{\mathbf{L}}_O\cdot {\mathbf{\tau }}_O$: a perpendicular torque changes direction without instantaneously changing the magnitude. This is the geometry behind gyroscope precession. For a rapidly spinning symmetric top with a fixed tip, centre of mass distance $d$ from the tip, mass $M$, and spin-dominated angular momentum magnitude $L\simeq I\omega$, the slow steady precession approximation gives $\Omega \simeq Mgd/L$, where $g$ is gravitational acceleration. ^[ref] This is an approximation with $\Omega \ll \omega$; the uniform precession of a heavy symmetric top retains contributions omitted by the spin-dominated estimate.

A path along a circle can have variable areal velocity. As an illustrative controlled trajectory, keep a point mass on a circle of radius $R$ with angleIts acceleration in polar coordinates and the required net force arewhere ${\mathbf{e}}_r$ and ${\mathbf{e}}_{\theta }$ are the radial and transverse unit vectors. A circular guide can supply the radial force, while a tangential drive supplies $mR\alpha$. HenceFor $R=m={\omega }_0=\alpha =1$ in illustrative units, the three equal time intervals $[0,0.5]$, $[0.5,1]$ and $[1,1.5]$ sweep areas $0.3125$, $0.4375$ and $0.5625$. Their difference comes from the transverse force's positive torque, even though the radius and path shape stay fixed. The area under each areal velocity graph segment equals the corresponding swept area.

The derivative of an axial torque with respect to relative end-rotation angle, evaluated at the operating configuration. In a linear torsion spring, $N=K_{\phi }\phi$.

For a uniform rod of length $L$ and twist per unit length $\tau$, the end-rotation angle is $\phi =L\tau$. The chain rule gives $K_{\tau }=L{K}_{\phi }$, where $K_{\phi }$ is the torsional stiffness. If a source defines a normalized torque $M=N/(2\pi )$, its derivative is $dM/d\tau =K_{\tau }/(2\pi )$.

A torsion balance measures a weak torque by suspending a body from a thin fiber and reading its twist angle. The fiber supports the body's gravitational weight while permitting rotation about the suspension axis. In the range of linear elasticity, a twist $\theta$ in radians, measured from the untwisted reference orientation, produces a restoring torqueThe torsion constant $\kappa$ sets the sensitivity. At static equilibrium with an applied torque ${\tau }_{\mathrm{ext}}$ and no other axial torque, ${\tau }_{\mathrm{ext}}=\kappa \theta$. A perpendicular force $F$ at lever arm $a$ therefore gives $\theta =aF/\kappa$. The torsion balance measures a turning effect: a force whose line of action passes through the suspension axis gives no axial torque. The Cavendish torsion balance is the gravitational application; Coulomb's law supplies an electrical one. ^[ref]

The original schematic separates two ways of reading the same torque. In deflection operation the top attachment stays fixed and the body rotates. In null operation the experimenter rotates the top attachment by $\alpha$ while returning the body's laboratory angle $\beta$ to its original value. If the initially untwisted configuration has $\alpha =\beta =0$, the fiber twist is $\theta =\beta -\alpha$, not $\beta$ alone. ThusFor a positive applied torque, holding $\beta =0$ requires $\alpha =-{\tau }_{\mathrm{ext}}/\kappa$. Keeping the body at the same angle keeps the lever arm and source geometry fixed, making comparison of different applied forces easier. Either readout still requires a calibrated torsion constant and a stable reference orientation.

An illustrative calculation shows the amplification: with $a=0.050\mathrm{m}$, $F=2.0\times 10^{-9}\mathrm{N}$, and $\kappa =1.0\times 10^{-8}\mathrm{N}m/rad$, the applied torque is $1.0\times 10^{-10}\mathrm{N}\mathrm{m}$ and the equilibrium twist is $0.010\mathrm{rad}\simeq 0.573^{\circ }$. These are stipulated values, not measured data. Reducing the torsion constant tenfold increases this twist tenfold, provided the fiber remains in its calibrated linear elasticity range. The cost is a slower response, explained by the oscillation period in torsion constant.

A concrete laboratory experiment is PASCO's Coulomb balance: level its counterbalanced rod, discharge both conducting spheres, and set the unloaded zero. Charge the spheres at maximum separation; switch off the charging supply. Move the second sphere to a known center separation $R$, then turn the suspension dial until the rod returns to its index mark. Record the dial change and $R$, recharge, and repeat at several separations. The manual recommends a draft-free room, clean insulating supports, and recharging before each reading: leakage, especially in humid conditions, otherwise changes the electric charges during the sequence. At close separations the conducting spheres redistribute charge, so the point charge approximation needs correction. ^[ref]

For constant electric charges and a fixed perpendicular lever arm, the Coulomb's law prediction is $|\theta |\propto R^{-2}$. Plotting the logarithm of twist magnitude against the logarithm of separation gives $\log |\theta |=\text{constant}-2\log R$, so the predicted slope is $-2$. Absolute force measurement additionally needs the torsion constant; comparing ratios can eliminate it if it remains stable. Repeating a reference separation between other settings distinguishes a separation effect from a changing signal. A declining reading at the reference separation would invalidate the assumption of unchanged electric charges, even if a distance plot looks smooth.

The historical electrical example is Coulomb's first memoir of 1785. His apparatus enclosed a suspended needle with a small ball and a second ball; an adjustable head twisted the suspension. After charging the balls by contact, he reported angular separations $36^{\circ }$, $18^{\circ }$, and $8.5^{\circ }$ with head settings $0^{\circ }$, $126^{\circ }$, and $567^{\circ }$. The total twists were approximately $36^{\circ }$, $144^{\circ }$, and $576^{\circ }$: fourfold restoring torque accompanied approximately halved separation. These are his reported observations, not data from our diagrams. ^[ref] A precise reconstruction must use center distances and the changing lever arm, rather than identify angular separation exactly with distance; Alberto A. Martínez's replication explicitly analyzes that geometry. ^[ref]

Sensitivity also exposes changes of the apparatus itself. Fleischer and colleagues' cryogenic torsion balance used a temperature-controlled enclosure to reduce vacuum-vessel top-plate temperature fluctuations to approximately $\pm 0.01\mathrm{K}$, limiting changes in suspension geometry from thermal expansion. They used a mild bake-out near $40^{\circ }\mathrm{C}$ to speed initial fiber relaxation and reduce slow zero motion. Their optical readout compared the pendulum mirror with an internal reference mirror to reject shared optical motion. Room-temperature thermal radiation entering through the optical opening heated the pendulum; a cold filter reduced that load. The authors could not directly measure the pendulum's temperature without disturbing it, and explicitly distinguished the cold shield's temperature from the body's. Cooling therefore requires checking the actual noise and thermal environment, rather than assuming that the fiber and body share the shield's temperature. ^[ref]

A useful control strategy is to record unloaded readings and temperature before and after each signal sequence, recalibrate the torsion constant under the same conditions, and compare forward and reverse settings. The algebra of torsion balance zero drift shows precisely which offsets such comparisons can cancel. A fine angular scale alone does not establish a small measurement error.

Torsion balance zero drift is slow motion of the unloaded reference angle ${\beta }_0(t)$ during a measurement. If the torsion constant remains fixed, a constant applied torque gives ${\beta }_{\mathrm{eq}}={\beta }_0(t)+{\tau }_{\mathrm{ext}}/\kappa$. For two equal and opposite applied torques measured at the same reference zero, their equilibrium angles differ by $2{\tau }_{\mathrm{ext}}/\kappa$. A stable offset cancels; a changing zero contributes ${\beta }_0(t_{+})-{\beta }_0(t_{-})$ and does not cancel automatically.

A simple symmetric sequence makes the limitation explicit. Let $b_1,b_2,b_3$ be settled equilibrium angles for applied torques $+\tau ,-\tau ,+\tau$ at equally spaced times $t_0-h,t_0,t_0+h$. If the unloaded zero is linear in time, ${\beta }_0(t)=u+vt$, and $\kappa$ and $\tau$ remain fixed, thenThe arithmetic average of the outer zero values equals the middle zero, so both the constant offset and linear drift cancel. Curved zero motion, unequal time spacing, changing torsion constant, changing signal strength, or unsettled oscillations violate these assumptions. This is an algebraic control example, not a claim that every torsion balance follows a linear drift law.

The torsion constant, or torsional spring constant, is the positive restoring torque per unit twist angle of a complete suspension in its linear elasticity range:Its SI unit is $\mathrm{N}m/rad$. The minus sign describes restoration toward the untwisted orientation. The derivative specifies a local stiffness if the response is not globally linear; using one constant over a finite range additionally requires a straight calibration curve. Return to the same zero after unloading tests recoverable elastic deformation; repeat loading in both directions to check whether the response depends on its previous loading. Staying below permanent deformation is necessary, but does not alone prove proportionality between torque and twist.

For an ideal uniform circular wire of length $\ell$, radius $r$, and shear modulus $G_s$, the filament torsional stiffness is $C=G_s{J}_p$, with polar second moment of area $J_p=\pi r^4/2$. Uniform twist gives $\theta /\ell$ as the twist per unit length, soHere $U$ is stored elastic energy. Doubling the wire's radius multiplies the ideal torsion constant by $16$; doubling its length halves it. This explains why a long thin fiber is useful for weak torque measurement. The formula assumes linear elasticity with uniform material and circular section; it does not calibrate arbitrary ribbons, clamps, or a compound suspension. Within this ideal model, the equipartition theorem predicts an equilibrium thermal mean-square angular displacement $⟨{\theta }^2⟩=k_B\mathcal{T}/\kappa$, where $k_B$ is the Boltzmann constant and $\mathcal{T}$ the uniform absolute temperature. A softer suspension magnifies both the signal and its thermal fluctuations.

Static calibration supplies known torques without assuming the unknown interaction being measured. Apply a known perpendicular force $F$ at lever arm $a$, record the change from the unloaded twist, and useSeveral positive and negative settings test proportionality; fit the slope of applied torque against twist and retain a possible intercept. A nonzero intercept must not be silently absorbed into the slope. Convert degrees to radians before reporting $\mathrm{N}m/rad$. PASCO's procedure turns the Coulomb balance on its side and adds small known masses to generate a gravitational weight at the sphere's lever arm, returning the rod to its index mark by turning the dial. Its tabulated coefficient is force per degree: multiply by the lever arm and $180/\pi$ to obtain our torsion constant. ^[ref]

The figure's ideal static calibration uses $\kappa =1.0\times 10^{-8}\mathrm{N}m/rad$: an applied torque of $2.0\times 10^{-10}\mathrm{N}\mathrm{m}$ gives $0.020\mathrm{rad}$. Both signs lie on the same straight line. The plotted points are calculated examples, not experimental observations; they cannot demonstrate a real fiber's linearity.

Dynamic calibration instead measures the oscillation period $T_0$ with known total suspended moment of inertia $I$. For negligible damping, small free oscillations about a fixed reference obey simple harmonic motion:Include the rod, mirrors, and any attachments in $I$ unless their contributions are demonstrably negligible. Keep the applied torque absent or independent of angle. If an external torque has derivative $g_{\tau }=d{\tau }_{\mathrm{ext}}/d\theta$ at equilibrium, linearization gives effective stiffness $\kappa -g_{\tau }$: timing alone then measures that combination, and stability requires $\kappa -g_{\tau }>0$. A constant applied torque merely shifts equilibrium. Non-negligible damping changes the measured period; damped torsional oscillation gives a correction under a specified damping model. Agreement between static and dynamic calibrations is a useful check on the assumed moment of inertia, reference stability, and restoring law, rather than a reason to ignore their assumptions.

An ideal linear torsion spring exerts a restoring torque proportional to the relative angle between its two ends. Integrating the torque gives its elastic potential energy. A spring connecting two rotating bodies contributes $\kappa ({\theta }_2-{\theta }_1{)}^2/2$ to the potential energy; a spring connected to a fixed frame is obtained by setting one angle to zero. The coefficient $\kappa$ is the torsional spring constant.

Total internal reflection occurs when a wave travels from higher to lower refractive index above the critical angle for total internal reflection, leaving no propagating transmitted plane electromagnetic wave normal to the interface.

At an infinite planar interface, total internal reflection returns all incident normal power in the reflected plane electromagnetic wave. Assume homogeneous dielectrics with isotropy, linearity, no dielectric loss, magnetic permeability ${\mu }_0$, and positive real refractive indices $n_1>n_2$. Above the critical angle for total internal reflection, both TE polarization and TM polarization have unit optical reflectance despite the external evanescent wave.^[ref]

This makes total internal reflection useful for guiding light in an optical fiber: suitable internal incidence angles keep energy inside successive boundaries. Its more surprising feature is that perfect optical reflectance coexists with an external electric field. The evanescent field in total internal reflection can interact with a nearby object, as the frustrated total internal reflection experiment demonstrates.

For an original idealized example, choose $n_1=1.5$, $n_2=1$ at vacuum wavelength ${\lambda }_0=633\mathrm{nm}$. At angle of incidence $40^{\circ }$, Snell law for electromagnetic waves gives an angle of refraction $\arcsin (1.5\sin 40^{\circ })\approx 74.6186^{\circ }$, so a transmitted light ray still emerges. At ${\theta }_c\approx 41.8103^{\circ }$, its direction becomes tangent to the boundary. At $50^{\circ }$, the proposed sine of a real angle of refraction would be $1.5\sin 50^{\circ }\approx 1.14907>1$: the transmitted wavevector must instead have an imaginary normal component. These are predictions for the stipulated media, not measured properties of a particular block.

A real semicircular-block experiment isolates this threshold. The University of Maryland laboratory instructions place a laser, motor-driven rotation stage and photodetector together; an aperture limits the detector voltage. The semicircular block is centered on the rotation axis, with the photodetector aligned along its flat face. The instructions identify a strong grazing-beam signal and a weaker signal just before the critical angle for total internal reflection. The readout is detector voltage versus stage angle. Retracing the incident laser beam identifies normal incidence for alignment.^[ref]

The semicircular shape supplies a geometric control: a light ray passing radially through the curved face enters at normal incidence, avoiding additional entrance refraction. The weaker signal near the flat face locates a limiting angle of refraction; a vanishing remote-detector signal alone would not establish that the external electric field vanishes. Beam width and alignment limit angular resolution; no measured threshold or decay depth is supplied.^[ref]

A triangle is the convex hull of three noncollinear points: the three vertices must not lie on one line. Its boundary consists of the three joining line segments; depending on context, "triangle" can mean this boundary or the filled region it encloses. Here a triangle's area refers to the filled region. The noncollinearity assumption excludes a collapsed shape with zero area, for which ordinary interior angles are not defined.

For example, the positions $(0,0)$, $(4,0)$ and $(0,3)$ form a right triangle with a right angle at the origin. Taking the side of length $4$ as its base gives perpendicular height $3$, so its area is $4\cdot 3/2=6$. The height is measured at a right angle to the chosen base; it is not generally the length of another side. In this example it happens to be a side because the triangle is a right triangle.

By contrast, side lengths $3,4,6$ define a valid triangle: each side is shorter than the sum of the other two, as required by the strict triangle inequality. But $3^2+4^2=25\ne 36=6^2$, so this is not a right triangle and the Pythagorean theorem cannot calculate its longest side from the other two. The law of cosines instead gives the opposite interior angle $C$ throughThis example separates the definition of a triangle from the additional assumption of a right angle.

Every triangle in the Euclidean plane has interior angles summing to $\pi$ radians, a result proved in Euclid's Elements I.32.^[ref] It lets two measured angles determine the third, and underlies the angle-angle criterion for similar triangles. The qualification "Euclidean plane" matters: the earlier spherical triangle demonstrates a different sum.

Trigonometric functions turn an angle into a coordinate or a ratio of lengths. Start at $(1,0)$ on the unit circle and rotate counterclockwise through $\theta$ radians: the resulting point isThe cosine records horizontal position and the sine records vertical position. This definition continues around the whole circle, including negative angles, so the signs encode direction rather than requiring a separate rule for each right triangle.

The unit circle picture explains why these functions are useful beyond measuring triangles. The two coordinates of a point rotating at constant angular speed are periodic functions. Scaling the radius to $A$ and using $\theta =\omega t+\varphi$ gives $x=A\cos (\omega t+\varphi )$ and $y=A\sin (\omega t+\varphi )$. A circular motion becomes two simple repeating traces, connecting Euclidean geometry, simple harmonic motion, and Fourier series.

For an acute angle in a right triangle, rescaling its hypotenuse to one recovers the familiar ratios: sine is opposite side divided by hypotenuse, and cosine is adjacent side divided by hypotenuse. The tangent function is their ratio, $\tan \theta =\sin \theta /\cos \theta$, wherever the denominator is nonzero; the secant function, cosecant, and cotangent give the other reciprocal ratios.

The same names extend to complex numbers through the complex exponential:These definitions agree with the circle interpretation for real angles. For complex arguments, the values need not lie between $-1$ and $1$; the literal circle-coordinate picture is restricted to real arguments. ^[ref]

Stipulate a distant circular source of uniform angular brightness, full angular diameter $\theta \ll 1$ in radians, and narrow optical bandwidth around wavelength $\lambda$. Distinct source patches emit independently. Assume each collector is small enough not to resolve the disk individually. For a sky offset $\mathbf{\alpha }$ from the disk centre, the baseline-dependent phase difference is $2\pi {\mathbf{b}}_{\perp }\cdot \mathbf{\alpha }/\lambda$, up to channel-sign convention. Summing independent patch contributions makes the equal-delay first-order optical coherence the normalized Fourier transform of angular brightness:Choose the horizontal coordinate along ${\mathbf{b}}_{\perp }$, put $k=2\pi B/\lambda$, and integrate along vertical chords of the disk:The imaginary part cancels between opposite chords. Here $J_1$ is the order-one Bessel function of the first kind. One way to obtain the last equality is to integrate the exponential's power series term by term on the finite disk. Equivalently the result is specified by the convergent seriesAt $B=0$ take the continuous limit $\gamma =1$; $V^2=|\gamma {|}^2$ starts as $1-x^2/4+O(x^4)$. This is why very short interferometric baselines give little leverage on angular diameter. Larger disks lose spatial optical coherence at shorter baselines.

The first positive zero of $J_1$ is $x_1\approx 3.831705970$, soThis is a full diameter convention. The angle must be converted before substitution: one arcsecond is $\pi /648000$ radians, and one milliarcsecond, abbreviated mas, is $10^{-3}$ arcseconds. For the stipulated $\theta =5\mathrm{mas}$ and $\lambda =500\mathrm{nm}$, $\theta =2.4240684\times 10^{-8}\mathrm{rad}$ and $B_0\approx 25.1575\mathrm{m}$. At $B=10\mathrm{m}$, the model gives $x\approx 1.52309$ and $V^2\approx 0.542783$.

Beyond $B_0$, $\gamma$ changes sign but $V^2$ stays nonnegative and develops weak further lobes. A single measured squared visibility can therefore match several angular diameters; sampling several interferometric baselines constrains the fit. Limb darkening, spectral averaging, or resolved collector apertures change the uniform-disk prediction. A uniform-disk diameter is a parameter of that brightness model; converting it to a physical stellar radius also requires distance and an appropriate brightness profile.

A vector is an element of a vector space. Its defining operations are vector addition and scalar multiplication. An arrow in a Euclidean space is one example; a polynomial or a function can also be a vector when the chosen vector space uses the corresponding addition and scalar multiplication.

For instance, the polynomials $p(x)=1+x$ and $q(x)=x-x^2$ belong to the real vector space of polynomials of degree at most two. Their vector addition gives $(p+q)(x)=1+2x-x^2$, and scalar multiplication gives $(2p)(x)=2+2x$. In the monomial basis $(1,x,x^2)$ these are the coordinate vectors $(1,1,0)$, $(0,1,-1)$, $(1,2,-1)$ and $(2,2,0)$ respectively. The vectors are the polynomials; these tuples are their representations in a chosen basis.

A general vector space does not itself prescribe lengths or angles. A norm supplies a size, while an inner product also supplies angle information and orthogonality. The familiar arrow geometry below belongs to Euclidean vectors, where this extra structure is available.

A wavefront connects points with the same wave phase at one specified time. It is a surface, rather than the trajectory of a particular piece of light. For a scalar monochromatic wave written as $u(\mathbf{r},t)=A(\mathbf{r})\cos \Phi (\mathbf{r},t)$, a wavefront is a connected level set of the phase function $\Phi$; different surfaces can share the same wave phase modulo $2\pi$. A plane wave has planar wavefronts. An outward wave from an ideal point source in a uniform medium has spheres as wavefronts, while an optical lens can turn nearly planar wavefronts into converging ones. The wavefront describes wave phase, not wave amplitude: drawing it does not say how bright the beam is. ^[ref]

The relation to light rays becomes precise in a stationary medium with isotropy, negligible loss and a real positive scalar refractive index $n(\mathbf{r},\omega )$. In the geometrical optics limit, spatial changes in the refractive index and wave amplitude are slow on the local wavelength scale. For a single smooth propagation branch, writeHere $\omega >0$ is the angular frequency, $c$ is the vacuum speed of light, $S$ has units of length, and the last relation is the optical eikonal equation. The local wavevector is $\mathbf{k}=\nabla \Phi =k_0\nabla S$. Its direction is normal to a smooth wavefront, since a gradient is normal to its level sets. A forward light ray has unit tangent vector $d\mathbf{r}/ds=\nabla S/n$, so it follows this normal under the stated assumptions. Along that light ray, $dS/ds=\nabla S\cdot (d\mathbf{r}/ds)=n$: the change in $S$ is the optical path length. This is the short geometric argument linking wavefronts, light rays and optical path length. ^[ref]

The diagram shows incident and transmitted branches separately, with the reflected branch omitted. Its stipulated refractive indices are $n_1=1$ and $n_2=3/2$, and its incident angle is $30^{\circ }$ to the interface normal. At a stationary interface, the frequency and tangential wavevector agree on the two sides: Snell's law gives $\sin {\theta }_2=1/3$, hence ${\theta }_2\approx 19.4712^{\circ }$. The wavefronts turn while their normal spacing decreases from ${\lambda }_0$ to $2{\lambda }_0/3$, where ${\lambda }_0$ is the vacuum wavelength. More explicitly, with $x$ normal to the interface and $y$ tangential, take $S_1=\sqrt{3}x/2+y/2$ for $x<0$ and $S_2=\sqrt{2}x+y/2$ for $x>0$. These functions agree at $x=0$; the drawn wavefronts are $S_j=m{\lambda }_0$ at $t=0$ with ${\varphi }_0=0$. This is an exact piecewise plane wave phase construction for the stipulated transparent media, not measured material data. ^[ref]

The normal-to-wavefront rule requires its assumptions. In a medium with anisotropy, the wavevector remains normal to a smooth wavefront, but the group velocity and energy flux need not follow it. ^[ref] Near a wave caustic, where multiple light rays meet, one smooth phase function may no longer describe the field; diffraction and the full wave amplitude matter. A wavefront is also not generally a surface of equal pulse arrival time. In a medium with optical dispersion, a monochromatic wave phase moves with the phase velocity, while a sufficiently narrow wave packet follows the group velocity. Even identical optical path lengths at one frequency can give different group delays. The usual equal-travel-time picture needs a common launch reference and a nondispersive ray model; an arbitrary broadband disturbance has no single monochromatic wavefront.^[ref]

For a fixed force $\mathbf{F}$ and endpoint displacement $\Delta \mathbf{r}$, the line integral reduces to a dot product:Here $\theta$ is the angle between the force and the displacement. For straight motion, $d$ is also the distance traveled. A $3\mathrm{N}$ force acting along a $4\mathrm{m}$ displacement does $12\mathrm{J}$ of work. Turning the same force perpendicular to the displacement gives $\cos (\pi /2)=0$ and zero work; reversing it gives $\cos \pi =-1$ and $-12\mathrm{J}$. At $\theta =\pi /3$, the work is $6\mathrm{J}$. These signs describe energy transferred to or from the moving body. ^[ref]

The zenith is the point on the celestial sphere in the direction of the observer's local upward vertical. In the horizontal coordinate system, its unit vector is ${\mathbf{e}}_U$ and its altitude is $90^{\circ }$. The zenith belongs to the observer's site; it is not generally the north celestial pole, whose altitude depends on geographical latitude. A direction's zenith distance is its nonnegative angle from the zenith, so $z=90^{\circ }-\gamma$. A direction of altitude $30^{\circ }$ therefore has zenith distance $60^{\circ }$. ^[ref].

At the zenith, every value of azimuth produces $(E,N,U)=(0,0,1)$. There is no horizontal component to identify a bearing: $atan2(0,0)$ cannot provide a geometrically meaningful azimuth, even if software returns a number. This coordinate singularity is a defect of the angular description; the viewing direction itself remains regular. The same ambiguity occurs at the opposite downward vertical. Near the zenith, two directions at fixed altitude separated by a small azimuth increment $d\eta$ have separation $\cos \gamma |d\eta |$ to first order, with angles in radians. At altitude $89^{\circ }$, a $1^{\circ }$ azimuth increment spans only about $0.01745^{\circ }$ on that small arc. An optical telescope can consequently require a large bearing change for a small change of pointing near the zenith; working with unit vectors avoids inventing a preferred bearing at the singular point.

Zenith distance is the angle from the zenith to a viewing direction: $z=\arccos (\mathbf{n}\cdot {\mathbf{e}}_U)=90^{\circ }-\gamma$, where $\gamma$ is altitude and $0\le z\le 180^{\circ }$. The astronomical horizon has $z=90^{\circ }$, while the zenith has $z=0$. This unsigned separation supplies no azimuth and is distinct from the signed north/south angular readout used under declination.