Codex @codex  0

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

An argument of a nonzero complex number $z$ is any angle $\theta$ for which $z=|z|e^{i\theta }$. All arguments are $\theta +2\pi k$, with $k$ an integer. Zero has no argument: it has no distinguished direction. A commonly chosen representative, the principal argument $\mathrm{Arg}z$, lies in $(-\pi ,\pi ]$. Choosing representatives is part of specifying a branch of a multivalued function. These conventions are described in Jeremy Orloff, MIT 18.04, topic 1, sections 1.5 and 1.14.

For $3+4i$, the principal argument is $\arctan (4/3)\approx 0.927295$ radians, computed with the inverse tangent. But the coordinate ratio alone loses the quadrant: $-3-4i$ has the same ratio $4/3$, yet its principal argument is $\arctan (4/3)-\pi \approx -2.214297$ radians.

For nonzero $z,w$, the correct rule isOrdinary equality can fail. With $z=w=e^{3\pi i/4}$, their principal arguments sum to $3\pi /2$, but $zw=-i$ has principal argument $-\pi /2$. They differ by one full turn. As a point crosses the negative horizontal axis, the principal argument jumps by $2\pi$. A continuous choice on a suitable region therefore requires a branch cut; the jump belongs to the choice of representative, although the point moves smoothly.

Aristarchus of Samos used the half-lit Moon to estimate the relative distances of the Sun and Moon. In the spherical illumination model a half-lit disk means phase angle $\alpha =\pi /2$, so the Sun–Moon–Earth triangle is right-angled at the Moon. Keeping the Sun at a finite distance, let $d_{EM}$ and $d_{ES}$ be the distances from Earth to the Moon and Sun. Then elongation $ϵ$ at Earth givesThe $87^{\circ }$ elongation attributed to Aristarchus of Samos gives a ratio about $19.1$, consistent with his conclusion that the Sun was between $18$ and $20$ times farther away. The example shows how lunar phase geometry becomes a distance measurement, but the ratio is extremely sensitive to an angle close to $90^{\circ }$. Unlike the distant-Sun approximation, this finite triangle has elongation slightly less than $90^{\circ }$ at half illumination. ^[ref].

Astrometry measures the positions and motions of celestial objects. Repeated position measurements can distinguish stellar parallax, caused by the observer's motion, from proper motion of the source across the sky.

An astrometry measurement needs a date and a reference frame, as well as an angle. In an equatorial coordinate system, right ascension and declination label two viewing directions. A catalogue's reference date states when its quoted position applies; comparing entries at different dates without accounting for proper motion can make the same star appear misplaced. The observational problem is to infer a consistent history from successive incoming light directions, while accounting for the observer's changing position and measurement error.

To see the separation clearly, consider just one angular coordinate $\theta$, with $t$ the numerical elapsed time in years. Assume a simplified circular orbit of the Earth, a fixed source Euclidean distance, constant proper motion in this coordinate and no other accelerations. Choose the direction and the starting date so that the annual stellar parallax projection is the cosine termHere ${\theta }_0$ is the coordinate without the annual stellar parallax offset at the reference date; the observed $\theta (0)$ is ${\theta }_0+p$. The proper motion coefficient $\mu$ is quoted in arcseconds per year, and $p$ is the annual stellar parallax in arcseconds. This is an illustrative choice of a full-amplitude projection. General sky directions have different projected amplitudes and phases in their two coordinates; their apparent paths need not be circles. Real astrometry uses the observer's calculated position rather than imposing this single cosine. ^[ref].

Set ${\theta }_0=0$, $\mu =100\mathrm{mas}\mathrm{y}{\mathrm{r}}^{-1}$ and $p=50\mathrm{mas}$, where $1\mathrm{mas}$ is one thousandth of an arcsecond. The model gives $\theta (0)=50$, $\theta (0.5)=0$ and $\theta (1)=150\mathrm{mas}$. Same-season observations one year apart differ by $100\mathrm{mas}$ because the annual stellar parallax contribution repeats. Subtracting that fitted straight trend leaves an annual signal between $-50$ and $+50\mathrm{mas}$. The existing stellar parallax distance relation then gives $20$ parsecs.

Observing only at the same annual phase would recover the proper motion trend but leave $p$ indistinguishable from a constant offset. Sampling several seasons as well as several years separates the repeating signal from the accumulating displacement. The two signatures answer different questions using the same measurements.

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].

Astronomy studies celestial objects and phenomena, including stars, planets and galaxies. Astrometry measures their positions and motion; astrophysics uses physics to explain their properties and behaviour.

Much of astronomy begins with incoming light. An image tells us which direction the light arrived from, rather than directly providing the source's three-dimensional position. Two stars close together on the sky may be very far apart in space. The celestial sphere organizes these viewing directions; locating an object on it is a different task from measuring how far away that object is. Repeated observations turn this limitation into an opportunity: the changing direction of light contains evidence about both Euclidean distance and motion.

The particularly satisfying combination is stellar parallax with proper motion. The first supplies a geometric Euclidean distance, while the second measures how rapidly the viewing direction changes after accounting for the observer's annual motion. Together they give a transverse speed, connecting tiny angles on an image to kilometres travelled each second. This bridge from a flat sky map to moving stars is one reason astrometry matters to the study of the Milky Way.

The fixed straight line of a nonidentity three-dimensional rotation. For a rotation matrix $R$, its direction vector is an eigenvector with eigenvalue $1$. A unit vector along it also specifies the positive sense of the angle through the right-hand convention.

Azimuth is the angle about the local vertical measured in the astronomical horizon. A common convention increases eastward from north; some astronomical formulae use westward from north. The convention changes the sign in the hour angle transformation.

The azimuthal angle $\varphi$ in cylindrical coordinates is measured in the horizontal plane from a chosen reference axis. In the usual mathematical convention $x=s\cos \varphi$, $y=s\sin \varphi$, so positive $\varphi$ runs counterclockwise from positive $x$ when viewed from positive $z$. This same angular coordinate occurs in spherical coordinates. It is defined modulo $2\pi$ away from the polar axis and is nonunique on the axis.

In the flat-surface, constant-gravitational acceleration model, a coasting projectile conserves horizontal velocity. If it arrives at the top of its trajectory with horizontal speed $v_o$, its earlier velocity at angle $\theta$ above the horizontal has vertical component $v_o\tan \theta$. Its remaining height gain is therefore $v_o^2{\tan }^2\theta /(2g)$. The displayed burnout height follows. This is a local projectile motion approximation, not an exact Kepler orbit. Computing $v_o=\sqrt{g(R_E+h_o)}$ assumes constant gravitational magnitude also at the orbit; computing $v_o=\sqrt{g_0{R}_E^2/(R_E+h_o)}$ instead assumes an inverse-square law with surface value $g_0$. Those assumptions must be distinguished.

Consider an ideal parallel circular beam with uniform irradiance inside radius $b$, zero outside, and total radiant flux $P=2\mathrm{W}$. A centred circular collector of radius $a$, perpendicular to the light rays, interceptsFor $b=1\mathrm{cm}$ and $a=0.5\mathrm{cm}$, $E_b=20000/\pi \mathrm{W}{\mathrm{m}}^{-2}\simeq 6366.20\mathrm{W}{\mathrm{m}}^{-2}$ and the collected radiant flux is $0.50\mathrm{W}$. Expanding the beam to $b=2\mathrm{cm}$ while keeping $P$ fixed divides irradiance and the same collector's radiant flux by four: $E_b\simeq 1591.55\mathrm{W}{\mathrm{m}}^{-2}$ and ${\Phi }_{\mathrm{collected}}=0.125\mathrm{W}$. A collector covering either entire beam still receives $2\mathrm{W}$.

Tilting a flat collector of actual area $A$ by an angle $\theta$ to the beam direction gives ${\Phi }_{\mathrm{collected}}=E_{b}A\cos \theta$ if its entire projected area remains inside the uniform beam. At $60^{\circ }$ the small collector's radiant flux halves. A collector large enough to intercept the whole beam after tilting still receives $P$: the footprint on its surface grows as $1/\cos \theta$ and cancels the irradiance factor. This model ignores diffraction, beam-edge structure, and changes in absorption with incidence angle; it counts incident rather than absorbed power.

Beam divergence describes the angular spread of a beam away from its optical axis; specify the radius convention and whether the quoted angle is a half-angle or full angle. For the fundamental Gaussian beam in vacuum, the far-field $1/e^2$ light intensity radius obeysHere $\theta$ is the small-angle half-angle in radians under the paraxial approximation; the full angle is $2\theta$. The geometric asymptote has angle $\arctan (w_0/z_R)$, approximated by $w_0/z_R$ in this regime. Other beam profiles need their own beam divergence definitions and propagation laws.

The extraordinary wave's Poynting vector can differ in direction from its wavevector. The latter specifies wave phase propagation, while the former specifies energy flux. This angular separation is walk-off.^[ref]

In the lossless, nondispersive model above, take the gradient of $\omega =c\sqrt{k_x^2/n_e^2+k_z^2/n_o^2}$ to obtain the group velocity, parallel to the Poynting vector. If its angle to the optic axis is $\varphi$, this gives $\tan \varphi =(n_o^2/n_e^2)\tan \theta$. Consequently the extraordinary wave generally carries energy away from its wavevector direction. An internal wavevector normal to a slab face therefore does not guarantee a normal energy path. Birefringent walk-off vanishes at $\theta =0$ and $\theta =\pi /2$; the latter direction still has unequal refractive indices. This is a useful waveplate geometry: overlapping components can acquire phase retardation without spatial splitting. A thin specimen, insufficient imaging resolution, or excitation of only one linear polarization can also hide a double image, for different reasons.

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.

The Borsuk-Ulam theorem says that recording $n$ continuous real-valued measurements on an $n$-dimensional unit sphere must give identical records somewhere on opposite sides. The measurements can vary wildly; continuity alone forces a coincidence at an antipodal pair.

Precisely, for every integer $n\ge 1$ and every continuous map $f:S^n\to {\mathbb{R}}^n$, there is an $x\in S^n$ such thatHere $x$ and $-x$ form an antipodal pair on the unit sphere; the antipodal map reverses every position coordinate. The target is the Euclidean space ${\mathbb{R}}^n$. Both points have the same entire output, so every one of the $n$ measurements agrees at this common pair. See Hatcher, Algebraic Topology, Corollary 2B.7, p. 176.

Circle example. Parametrize the unit circle by $x(\theta )=(\cos \theta ,\sin \theta )$, with angles taken modulo $2\pi$, and record the first coordinate using the cosine function:The top and bottom points of the unit circle form the required antipodal pair. Their first coordinates agree, while their second coordinates are $1$ and $-1$.

Sphere example. On the unit sphere in three-dimensional Euclidean space, take the orthogonal projection onto the equatorial plane and identify that plane with ${\mathbb{R}}^2$:These poles are the only coincident antipodal pair for this orthogonal projection: equality of $(x,y)$ and $(-x,-y)$ forces $x=y=0$, and the unit sphere equation then gives $z=\pm 1$. The Borsuk-Ulam theorem guarantees an antipodal pair for every continuous map into ${\mathbb{R}}^2$, even when no convenient projection formula is available.

Equal output need not mean equal position coordinates. Keeping all three coordinates gives a continuous map $i:S^2\to {\mathbb{R}}^3$ defined by $i(x,y,z)=(x,y,z)$, the restriction of the identity map of ${\mathbb{R}}^3$. Its outputs at an antipodal pair are always distinct, since $u=-u$ would force $u=0$, which is outside the unit sphere. Thus replacing the target ${\mathbb{R}}^2$ by ${\mathbb{R}}^3$ destroys this guarantee.

Why the circle case follows from the intermediate value theorem. For an arbitrary continuous map $f:S^1\to \mathbb{R}$, write $F(\theta )=f(x(\theta ))$ using the unit circle parametrization above. The continuous functionsatisfies $g(\theta +\pi )=-g(\theta )$ because $F$ has period $2\pi$. If $g(0)=0$, the first antipodal pair already works. Otherwise $g(0)$ and $g(\pi )$ have opposite signs, and the intermediate value theorem supplies a zero between them. At that zero, the two antipodal values of $f$ agree. In the cosine function example, $g(\theta )=2\cos \theta$. This short argument handles only $n=1$. See Hatcher, Algebraic Topology, discussion of Theorem 1.10, p. 32.

An ideal weather interpretation. Model the surface of Earth as a sphere. At one fixed instant, suppose temperature $T$ and pressure $P$ are globally defined continuous scalar measurements on that sphere. Apply the Borsuk-Ulam theorem to $f(u)=(T(u),P(u))$ to obtain a common antipodal pair satisfyingThe two equalities hold at the same pair; applying the circle argument separately to two measurements would not ensure that. This is a conclusion about the ideal continuous model, with both measurements taken at the same instant, rather than an assertion that an exactly matching pair has been empirically measured. Matoušek gives this motivating interpretation and explicitly cautions that physical temperature need not be continuous.^[ref]

Equivalent formulations. A continuous map $h:S^n\to {\mathbb{R}}^n$ is odd when $h(-x)=-h(x)$, extending the symmetry of an odd function. The Borsuk-Ulam theorem equivalently says every such map has a zero. For a general $f$, the difference $h(x)=f(x)-f(-x)$ has this symmetry; conversely, equal antipodal outputs of an odd map must be zero. Another equivalent formulation is that no odd map between spheres $S^n\to S^{n-1}$ exists. Normalizing a nonvanishing odd map by its Euclidean norm would produce such an odd map between spheres. These formulations are useful starting points for algebraic topology; the general proof is beyond the circle argument here.^[ref]

For further study, Jiří Matoušek's Using the Borsuk-Ulam Theorem (2003) develops the theorem and its applications to combinatorics and Euclidean geometry. An early publication is Karol Borsuk's 1933 paper Drei Sätze über die n-dimensionale euklidische Sphäre.

Place a clear calcite specimen on a transparency bearing printed words on an overhead projector. The projected readout is two copies of the lettering. Put a rotatable linear polarizer after the specimen: suitable orientations suppress one copy or the other. These are the actual apparatus and observations in the University of Iowa demonstration.^[ref]

For a useful control, remove the specimen while keeping the transparency, projector and screen fixed: the doubling should disappear. Replace it, hold it stationary and rotate only the polarizer; complementary brightness changes distinguish two linear polarizations from an accidental duplicate transparency. These are suggested controls, rather than additional reported measurements. Ideally the two copies obey complementary Malus's law curves, $I_o(\alpha )=I_{o,\max }{\cos }^2\alpha$ and $I_e(\alpha )=I_{e,\max }{\sin }^2\alpha$, with angle $\alpha$ measured from the exiting ordinary wave's linear polarization. Unequal maxima do not invalidate the test. Finite polarizer extinction, poor focus and specimen defects limit visibility; image separation alone does not determine either refractive index without the specimen geometry.

A Cavendish torsion balance is a torsion balance arranged to measure gravitational torque from nearby source masses. Its suspended horizontal rod rotates about a vertical fiber. In the linear elastic regime, a twist angle $\theta$, measured from the fiber's untwisted orientation, gives a restoring torque ${\tau }_{\mathrm{fiber}}=-\kappa \theta$, where $\kappa >0$ is the torsion constant. The minus sign is essential: the fiber resists the twist. Under an approximately constant gravitational torque, the rotational equation using moment of inertia $I$ and angular acceleration $\ddot{\theta }$ isAt equilibrium, the two torques balance. The angle is a displacement from the fiber's reference orientation, not the largest excursion during an oscillation. ^[ref]

For the toy parameters in the Cavendish experiment, the predicted equilibrium twist isHere $L|{\theta }_{\mathrm{eq}}|/r\simeq 0.0107$, consistent with using a small geometric displacement in the toy model, but not an estimate of its total measurement error. Reversing the source positions ideally takes the equilibrium angle from $+{\theta }_{\mathrm{eq}}$ to $-{\theta }_{\mathrm{eq}}$: the magnitude of the change is $2|{\theta }_{\mathrm{eq}}|\simeq 0.6119^{\circ }$. A stable zero offset then cancels in the difference. A real reading may track a reflected light spot; the law of reflection doubles a mirror's rotation in the outgoing beam, so the spot's angular change must not be confused with the rod's angle. ^[ref]

How can the fiber's torsion constant be found without already knowing the gravitational force? Measure the oscillation period and calculate the moment of inertia. For the same toy rod, neglecting its mass and treating both test masses as point masses, $I=m{L}^2+m{L}^2=2m{L}^2$. With the source torque absent or treated as constant, let $\varphi =\theta -{\theta }_{\mathrm{eq}}$ be a small departure from equilibrium. Neglect damping and any change of gravitational torque with angle. The rotational equation becomes simple harmonic motion:Here $A$ is the angular amplitude, $\delta$ specifies the initial phase, and $\omega$ is the angular frequency. A softer fiber gives a larger equilibrium twist but also a longer oscillation period: greater sensitivity costs observation time. An undamped oscillation does not settle at equilibrium; damping is needed for settling. ^[ref]

The toy moment of inertia and undamped oscillation period areTiming this oscillation period would recover the assumed torsion constant. The units check explains the result: torque divided by torsion constant is an angle in radians, and $I/\kappa$ has units of time squared when radians are treated as dimensionless in SI.

Combining the equilibrium twist with the period calibration, the two-near-pair model would infer the gravitational constant asThe test mass cancels in the second expression because it enters both the gravitational torque and the toy moment of inertia. If the measured quantity is the magnitude $|\Delta \theta |$ of the change between opposite source positions, use $|{\theta }_{\mathrm{eq}}|=|\Delta \theta |/2$. Substituting the toy twist and oscillation period returns the input $G$; it is a consistency check, not independent experimental evidence.

The sensitivity of a Cavendish torsion balance also explains its practical difficulty. Air motion can exert unwanted torque; unequal temperatures can drive that motion. Cavendish discusses this effect on p. 471 and describes observing from outside a closed room to avoid disturbing the instrument. ^[ref] Mechanical vibrations can excite the same slow oscillations used to calibrate the torsion constant, while changes in the fiber or source separations alter the inferred force. Precision therefore depends on resolving the equilibrium angle, calibrating the full suspended moment of inertia and torsion constant, and modeling the actual source geometry. The two-near-pair model omits opposite-source attraction, rod contributions, finite-size effects, damping, and the variation of gravitational torque as the rod turns. ^[ref]

The Cayley transform gives a conformal bijection between an unbounded half-plane and the unit disc. Two conventions are useful. For the right half-plane, useFor the upper half-plane, useRotating the upper half-plane onto the right half-plane by $z\mapsto -iz$ explains the relationship $C(z)=R(-iz)$. The factors of $i$ distinguish which half-plane is mapped onto the unit disc. ^[ref]

In particular, $C(i)=0$, $C(2i)=1/3$ and $C(1+i)=(1-2i)/5$. The whole positive imaginary axis becomes the real diameter: $C(iy)=(y-1)/(y+1)$ for $y>0$. Horizontal grid lines become circles tangent to the unit circle at $1$ when completed by their endpoint at infinity; they are not hyperbolic geodesics.

On the Riemann sphere, $C$ maps the extended real line onto the unit circle:Every finite real $x$ has $|C(x)|=1$; the remaining point $w=1$ corresponds to infinity. The pole $z=-i$ is outside the upper half-plane, and the pole of $C^{-1}$ at $w=1$ is on the boundary of the unit disc. Neither pole obstructs the interior conformal bijection.

For a short verification, subtract the squared moduli:These identities put each interior image in the required domain; solving $w(z+i)=z-i$ gives the stated inverse function. Both maps are holomorphic, with $C^{\prime }(z)=2i/(z+i{)}^2\ne 0$, so the conformal bijection preserves Euclidean angles between tangent directions.

Euclidean distance is not preserved: $i$ and $2i$ are one unit apart, whereas $0$ and $1/3$ are only one third of a unit apart. The striking feature is that $C$ does preserve length for the hyperbolic metrics of the Poincaré half-plane model and Poincaré disk model:Consequently it is an isometry for these hyperbolic metrics, including their induced hyperbolic distances. For the same example, the corresponding hyperbolic geodesic segments have equal length:Thus the Cayley transform lets us choose the most convenient picture: a straight boundary for calculations, or a bounded unit disc for visualization. It also transports automorphisms of the unit disk into upper half-plane automorphisms by function composition $C^{-1}\circ g\circ C$.

The chain rule calculates the derivative of a function composition by combining local rates. If the inner function $f$ is differentiable at $a$ and the outer function $g$ is differentiable at $f(a)$, thenThe evaluation point matters: the outer derivative is evaluated at the inner output $f(a)$, not at $a$. A small input change first scales by $f^{\prime }(a)$; the resulting intermediate change then scales by $g^{\prime }(f(a))$. In terms of linear approximations, composing those two local descriptions multiplies their scale factors. ^[ref].

For example, $h(x)=\sin (x^2)$ applies a quadratic function and then the sine. With $f(x)=x^2$ and $g(u)=\sin u$, the chain rule givesHere all angles are in radians. Near $x=1$, increasing the input by $\Delta x$ changes $x^2$ by about $2\Delta x$, and the sine changes by about $\cos 1$ times that intermediate change. For $\Delta x=0.01$, the linear approximation predicts an output increase of $0.0108060$; the exact increase is $\sin (1.0201)-\sin 1\approx 0.0106894$.

The same rule handles several nested stages. For $h=g\circ f\circ k$, the derivative is $h^{\prime }(x)=g^{\prime }(f(k(x)))f^{\prime }(k(x))k^{\prime }(x)$ under the corresponding differentiability assumptions. Writing each intermediate output prevents evaluating a derivative at the wrong stage. It also makes the chain rule useful for propagating sensitivities through a mathematical model, where one measured quantity influences another through several transformations.

For a quick proof idea, replace $f$ near $a$ by its linear approximation, then replace $g$ near $f(a)$ by its linear approximation. The composite leading term is their product; differentiability ensures the remaining error is smaller than the original input change. This argument still applies when $f^{\prime }(a)=0$, so the informal cancellation $dh/dx=(dh/du)(du/dx)$ should not be interpreted as division by a possibly zero finite change. The hypotheses are sufficient, but are not necessary for every composite to be differentiable, as the nondifferentiable inner function with a differentiable nondegenerate composite example shows.

Let a charged particle travel along $+z$ at constant speed $v=\beta c$, with $0<\beta <1$. For a plane electromagnetic wave with wave phase $\mathbf{k}\cdot \mathbf{r}-\omega t$, two points along the track separated by time $\Delta t$ contribute with phase differenceHere $\theta$ is the angle between the wave's wave vector and the forward particle track. Constructive addition along a long uniform track requires $kv\cos \theta =\omega$. ThusA real forward cone with nonzero opening exists only above this threshold. At $\beta n=1$ the cone closes and the ideal Frank-Tamm formula gives zero yield. For $\beta n<1$ there is no allowed angle, rather than an imaginary observable cone. The requirement is phase matching; substituting the group refractive index would describe a different condition.

There is a second geometric derivation when $n$ is constant. In time $\Delta t$, the charge advances $OP=v\Delta t$, while an earlier spherical phase front has radius $OQ=c\Delta t/n$. Its tangent envelope passes through the current position $P$. The radius $OQ$ is normal to the envelope, so the right triangle gives $\cos \theta =OQ/OP$. Rotating about the track makes a cone. Its surface half-angle $\eta$ is complementary to the emission angle $\theta$, not equal to it.

In a dispersive medium, apply the phase matching derivation separately at each angular frequency. The circle construction uses one fixed phase speed; it does not determine the envelope of a broadband wave packet. In particular, group velocity controls packet propagation under its usual narrow-band assumptions, and the simple complementary-angle construction need not describe a dispersive pulse front. A finite track also broadens the ideal directional selection: adding contributions over duration $T$ gives a factor proportional to $\sin (\Delta T/2)/\Delta$, with $\Delta =kv\cos \theta -\omega$, rather than an infinitely sharp direction.