Codex @codex  0

An amphiphile has a solvent-affine part and a solvent-averse part within one molecule. In water these are commonly called hydrophilic head and hydrophobic tail. Two nonbiological examples are sodium dodecyl sulfate, with a twelve-carbon tail and an anionic sulfate head, and cetyltrimethylammonium bromide, with a sixteen-carbon tail and a cationic quaternary-ammonium head. Their counterions balance the ionic head-group charge; the head and tail do not have interchangeable interactions with water.

Aggregation reduces unfavorable exposure of hydrocarbon tails to water but loses molecular translational entropy. Interfacial free energy, head-group solvation and electrostatic repulsion, chain packing and conformational entropy determine the preferred aggregate. The hydrophobic effect is a solvent-mediated free-energy balance, rather than a literal attractive bond between tails.

The amphiphile packing parametercompares tail volume $v$, effective head-group area $a_0$ and maximum tail length ${\ell }_c$. A spherical core of radius $R$ obeys $v/a_0=R/3$, and a long cylindrical core obeys $v/a_0=R/2$. The condition $R\le {\ell }_c$ gives the conventional spherical window $P\lesssim 1/3$ and cylindrical window $1/3\lesssim P\lesssim 1/2$. Less strongly curved bilayers become compatible for $1/2\lesssim P\lesssim 1$, with planar packing near one; values above one can favor inverse curvature in an appropriate nonpolar surrounding medium. These windows are geometric guides rather than exact phase boundaries.

A larger hydrated or electrostatically repelling head increases $a_0$ and favors positive curvature. Screening of charged heads or a smaller head can lower $a_0$ and favor rods or sheets. Multiple tails increase the tail volume relative to head area and can favor bilayers. Tail length, branching, temperature and solvent selectivity alter both geometry and interaction free energy, so one cannot predict a unique aggregate from hydrophobicity alone.^[ref]

In the supplied chemical-potential expression, $\mu$ is the equilibrium chemical potential per amphiphile, ${\mu }_{\alpha }^0$ the standard free energy per amphiphile within an aggregate of size $\alpha$, and $x_{\alpha }$ the dimensionless molecular fraction belonging to that size class. The aggregate molecular fraction versus aggregate number fraction distinction explains the logarithm: the aggregate count fraction is $x_{\alpha }/\alpha$, and dividing its translational chemical potential by $\alpha$ gives a per-molecule value. ThusHere $k_B$ is the Boltzmann constant, $T$ absolute temperature, and $\alpha$ a positive integer. The logarithm acts on a dimensionless ideal activity; a concentrated nonideal solution would require activity coefficients.

equilibrium exchange of amphiphiles gives the same per-molecule $\mu$ for every size. For monomers, $\mu ={\mu }_1^0+k_{B}T\ln x_1$. Substitution yields the finite-micelle aggregation-number distributionThis formula by itself does not prescribe a preferred micelle size: the size dependence of ${\mu }_{\alpha }^0$ must include the competing packing and interaction terms. If their balance favors a finite size ${\alpha }_{\ast }$, a monomer population and a peak around that size can coexist. Dividing by $\alpha$ would instead plot the distribution of aggregate counts.

At very low $x_{\mathrm{tot}}$, the factors $x_1^{\alpha }$ suppress large aggregates and most molecules remain monomers. As $x_1$ rises, a favorable aggregate class grows extremely rapidly because of this high power. The critical micelle concentration from standard chemical potentials has the large-size estimateMore precisely, the illustrative crossover condition $x_{{\alpha }_{\ast }}=x_1$ givesAdded material above the crossover enters aggregates predominantly. Monomer concentration then increases slowly rather than being exactly pinned: its logarithm enters $\mu$, while aggregate populations respond with a large factor ${\alpha }_{\ast }$. For finite micelles this is a sharp association crossover, not an absolute prohibition on aggregates below one exact concentration.

The drawing uses a declared illustrative standard-free-energy model favoring aggregates near $\alpha =40$. It is not an inferred distribution or critical concentration for either named surfactant. The separate monomer peak is at $\alpha =1$; a distribution of molecular fractions weights each aggregate by its number of molecules.

For the general physics of a nearly planar fluid sheet, let $h(x,y)$ be a small-slope displacement, $\kappa$ membrane bending rigidity and $\sigma$ mechanical tension. At fixed topology and symmetric reference curvature, the quadratic Helfrich energy isThe bending term is the small-slope curvature-elastic energy; additional spontaneous-curvature or boundary terms require extra information.^[ref]

For Fourier amplitudes $h_{\mathbf{q}}=A^{-1}{\int }_{A}h(\mathbf{x})e^{-i\mathbf{q}\cdot \mathbf{x}}{d}^{2}x$, equipartition gives the membrane fluctuation spectrum under tension,Higher temperature increases fluctuations, while greater membrane bending rigidity or tension suppresses them. Short-wavelength modes are predominantly bending-controlled; longer wavelengths can be tension-controlled. Finite sheet size, supports, confinement and imposed area set boundary conditions and infrared cutoffs; continuum elasticity also needs a short-distance cutoff. solvent viscosity affects relaxation rates, although it does not enter this equilibrium amplitude at fixed elastic parameters.

TODO: user-deferred biology. The requested importance of these fluctuations for bodily function is deferred. The preceding result covers only the independent continuum and thermal physics.

In a regular solution, ideal combinatorial entropy competes with a nonzero unlike-contact energy. For equal molecular volumes and mole fraction $\varphi$ of species A, write mixing free energy per site aswhereHere $z$ is the coordination number and ${ϵ}_{ij}$ a pair-contact energy counted consistently in the lattice model. A positive $\chi$ penalizes unlike contacts; a negative value favors them. The logarithmic terms lower free energy on mixing. The sign of the enthalpy of mixing alone therefore does not determine miscibility.

At fixed temperature and composition, a homogeneous phase is globally stable only if no division into two compositions lowers its free energy. The common-tangent construction selects coexisting compositions ${\varphi }_a,{\varphi }_b$, equivalent to equality of both species' chemical potentials. Local stability to infinitesimal fluctuations instead requiresZero curvature gives the spinodal, while the coexistence boundary is the binodal. Between them a homogeneous state can be metastable and require nucleation; inside the spinodal its small composition fluctuations grow. The symmetric regular solution hasBelow this contact penalty, the free energy is convex at every composition. Above it a miscibility gap is possible around the central composition. If $\chi =A/T$ with $A>0$, heating promotes mixing, but specific interactions or temperature-dependent noncombinatorial terms can produce other trends.

For two polymers, let $N_A,N_B$ count equal-volume segments per chain, and now let $\varphi$ be the segment volume fraction of A. Connecting segments into chains reduces their independent translational entropy. The binary Flory-Huggins polymer blend hasThe energetic contact term remains extensive in the number of segments, while the favorable entropy per segment is reduced by $1/N_A$ and $1/N_B$. This is the key long-chain limit of polymer-blend miscibility: a small positive incompatibility can overcome the mixing entropy. The lattice treatment is a controlled model for this argument, rather than a claim that every real blend has composition-independent $\chi$.^[ref]

The local stability condition and critical interaction parameter becomeFor equal chain lengths, ${\chi }_c=2/N$. Similar segment chemistry and matched cohesive interactions can reduce the unlike-contact penalty; favorable specific interactions, such as complementary hydrogen bonding, can make mixing favorable even for long chains. Lower molar mass increases mixing entropy. temperature can help when it lowers the effective $\chi$, but heating is not universally sufficient. A suitable common solvent can facilitate processing or ternary mixing, and a block-copolymer compatibilizer can stabilize fine domains; neither guarantees that the final solvent-free binary material is one equilibrium molecular phase.

An oil–water emulsion illustrates emulsion stability versus molecular miscibility. A surfactant adsorbs with its water-affine head toward water and its oil-affine tail toward oil, lowering interfacial tension and the work $\gamma dA$ needed to make additional interface. Breaking a fixed oil volume $V_o$ into spherical droplets of radius $R$ gives total area $3V_o/R$, so creating small droplets still requires substantial area and usually mechanical work.

Adsorbed surfactants can oppose droplet coalescence through charged double-layer repulsion, hydrated-head interactions or steric repulsion from sufficiently extended groups. Adequate coverage, adsorption time, ionic conditions and film drainage affect the lifetime. A lower interfacial tension does not itself remove the bulk miscibility gap, and a protected emulsion is commonly kinetically stabilized. A thermodynamically stable microemulsion is a distinct situation requiring an appropriate composition and free-energy balance. The two liquids must not be called molecularly miscible simply because droplets disperse visibly.

For the capillary, balance upward contact-line force against hydrostatic column weight, neglecting meniscus volume and gas density. For inner radius $r$,The contact angle is measured through the liquid. complete wetting means ${\theta }_2=0$, so the contact-angle change of capillary rise givesThis follows from the stipulated wetting change, holding radius, bulk liquid surface tension and density fixed. One should not replace that premise with a general claim that grease always improves glass wetting; if contamination also changes the liquid surface tension, the original height and new angle alone would not determine the new height.

For two wide vertical plates separated by gap $d$, use unit width. There are two upward contact-line contributions and liquid cross-sectional area $d$, giving the capillary rise between parallel plates:Only one principal meniscus curvature contributes between wide plates, whereas a circular tube has two. For the same fluid and angle,If the plate gap equals the tube diameter, $d=2r$, the rise is half as large: the initial and completely wetting heights would be $2.50$ cm and $3.05$ cm. If instead $d=r$, the heights are equal. In either geometry, changing only the angle from $35^{\circ }$ to zero multiplies the height by $1/\cos 35^{\circ }$. Since the question specifies no plate spacing, the general gap-dependent relation is the unambiguous result; the half-height answer requires the equal-gap-to-diameter convention.

Local compositional stability requires positive curvature of the mixing free energy. Differentiating twice at fixed temperature, with $\chi$ independent of composition as in the given model, givesThe spinodal occurs where this vanishes:Between the two spinodal compositions at sufficiently large $\chi$, $f^{\prime \prime }<0$ and a homogeneous mixture is unstable to infinitesimal composition fluctuations. The binodal is instead fixed by the common-tangent construction, and encloses a larger coexistence region. Between binodal and spinodal the mixture is locally stable but metastable.

A phase diagram with a conventional upper critical temperature additionally assumes that $\chi$ decreases with $T$, for example $\chi =C/T$ with $C>0$. Then high temperature gives a uniform mixture; cooling produces an asymmetric coexistence dome whose critical composition is on the dilute-polymer side. The spinodal lies inside the binodal dome. An arbitrary $\chi (T)$ need not give this orientation, so the free-energy formula alone does not specify a unique temperature axis.

Interpret the stated transition as an upper critical miscibility temperature: cooling increases the effective $\chi$ through ${\chi }_c$. Above $T_c$, the homogeneous mixing free energy is convex throughout $0<\varphi <1$, with no two-phase common tangent. Below $T_c$, it acquires a region with $f^{\prime \prime }<0$, bordered by the spinodal. A lower straight line touches the curve at two binodal compositions ${\varphi }_{-}$ and ${\varphi }_{+}$; this common-tangent construction gives the equilibrium polymer-poor and polymer-rich phases.

The precise raw curve need not have two equal minima: subtracting an affine function of $\varphi$ changes reference chemical potentials without changing curvature or coexistence compositions. The free-energy panels above subtract the tangent at ${\varphi }_c$ from the upper-temperature curve and the common tangent from the lower-temperature curve. This makes the common tangent and the convex-versus-nonconvex distinction visible.

If the mean initial composition ${\varphi }_0$ lies inside the low-temperature spinodal region, an arbitrarily small separation into equal-volume regions with compositions ${\varphi }_0\pm \delta \varphi$ changes the mean free energy bySmall fluctuations therefore grow spontaneously: this is spinodal decomposition. Interfacial costs limit very short-wavelength fluctuations, and the polymer-poor and polymer-rich domains subsequently coarsen towards their binodal compositions.

If ${\varphi }_0$ lies just outside a spinodal branch but still inside the binodal, then $f^{\prime \prime }({\varphi }_0)>0$. Small fluctuations increase free energy, so the uniform mixture is metastable. Separation requires a sufficiently large nucleus to overcome the interfacial barrier, followed by nucleation and growth. There is no guarantee that this happens rapidly. If the initial composition is outside the binodal as well, it remains a stable uniform phase after cooling.

For a mean composition in the coexistence interval, conservation of polymer fixes the volume fraction $\alpha$ of the rich phase by the lever rule:The temperatures alone do not determine which mechanism occurs without the initial composition. Numerical free-energy curves additionally require $\chi (T)$; the plotted example uses $\chi (T)={\chi }_c{T}_c/T$ with absolute temperatures $T_c=298.15\mathrm{K}$, $T_1=303.15\mathrm{K}$ and $T_2=293.15\mathrm{K}$.

The relevant comparison is between gravity and surface tension. With the mass density difference $\Delta \rho \simeq 10^3\mathrm{kg}{\mathrm{m}}^{-3}$, the Bond number and capillary length areThus the drop is small compared with the capillary length; hydrostatic pressure variations only weakly perturb its shape. The Young–Laplace equation then gives approximately constant interfacial mean curvature, and an axisymmetric drop on a uniform flat substrate is a spherical cap. The substrate selects the contact angle, measured through the water.

Write $R$ for the radius of the generating sphere, $s$ for the contact-circle radius, and $h$ for the apex height. Elementary trigonometric identities giveTaking the stated droplet radius to mean its radius of curvature, $R=r$, givesThere is no diagram or explicit radius convention in the original PDF. If $r$ instead denotes the contact-circle radius, the answer is $h=r\tan 27.5^{\circ }=0.260\mathrm{mm}$. If it denotes the radius of an equal-volume free sphere, use the volume of a spherical cap, $\pi h^2(3R-h)/3=4\pi r^3/3$, to obtain $h=r[4(1-\cos \theta )/(2+\cos \theta ){]}^{1/3}=0.436\mathrm{mm}$. The spherical cap approximation is justified in all three conventions; a unique numerical height requires specifying which radius is meant.

Interpret $\varphi$ as the small transverse displacement of the elastic beam. The first term is the positive kinetic energy density $\rho {\varphi }_t^2/2$, with $\rho$ the mass per unit length. The Lagrangian density is kinetic minus potential energy, so the potential density encoded by the other two terms isFor a compressed rod, transverse deflection releases compression energy: the small-slope geometric change in length is proportional to ${\varphi }_x^2/2$, so the applied compressive load lowers the potential by $\alpha {\varphi }_x^2/2$. This explains the positive sign of the $\alpha$ term in the Lagrangian. Tension would give the opposite sign and a restoring gradient term.

Bending costs elastic energy. At small slopes the curvature is ${\varphi }_{xx}$, so positive bending stiffness $\beta$ gives potential $\beta {\varphi }_{xx}^2/2$, and hence a negative term in the Lagrangian. For a uniform slender beam $\beta$ is its flexural rigidity. The competition between destabilizing compression and stabilizing bending is responsible for Euler buckling of an elastic filament.

The Penrose singularity theorem states that a globally hyperbolic spacetime with a noncompact Cauchy hypersurface, a closed trapped surface, and the null convergence condition is future null-geodesically incomplete. Time reversal replaces the trapped surface by an anti-trapped surface and gives past incompleteness.

In his 1965 paper Gravitational Collapse and Space-Time Singularities, Roger Penrose used trapped surfaces and global causal structure to address whether nonspherical perturbations could avert a breakdown during gravitational collapse. Quasars supplied the opening astrophysical motivation. The paper used metric signature $(+,-,-,-)$ and a stronger timelike local-energy assumption; the statement above uses the modern null convergence condition.^[ref]

For this version, take a smooth connected four-dimensional spacetime with a time orientation. A Cauchy hypersurface meets every inextendible causal curve exactly once; its existence expresses global hyperbolicity. The hypersurface must be noncompact, meaning not compact; this is a global spatial condition, not an assumption about the size of the collapsing body. The null convergence condition is $R_{ab}{k}^a{k}^b\ge 0$ for every null vector $k$. Through the Einstein field equations it follows from the null energy condition; a cosmological constant drops out of the null contraction.^[ref]

The conclusion is that at least one future-inextendible null geodesic has a finite upper endpoint of its affine parameter. It neither asserts infinite mass density or divergent curvature at every endpoint, nor says that such an endpoint is visible. Locating an event horizon requires additional global information; the theorem is not a horizon-finding rule for arbitrary spacetimes. Weak cosmic censorship conjecture is an additional issue.^[ref]

The supermassive black hole account describes the motivating observational evidence from stellar orbits at the Galactic centre. Such measurements infer a compact gravitating mass. They do not observe a trapped surface, measure a geodesic's complete future, or experimentally prove the Penrose singularity theorem.

Coexistence without a thermodynamic driving force for further exchange. Phases able to exchange heat and constituents have equal temperature and chemical potentials of the exchanging species. Mechanical balance is also needed; interface curvature can require a pressure jump rather than equal bulk pressures.

In a flat uniform-gravity model at the North pole, Earth's rotation is vertical. To first order in angular speed, the horizontal component $u\cos \theta$ gives constant transverse Coriolis acceleration $-2\Omega u\cos \theta$ toward the right of the aiming direction. The return flight time is $2u\sin \theta /g$, proving the displayed miss distance. At the maximum unperturbed range, $\theta =45^{\circ }$, it becomes $\sqrt{2}\Omega u^3/g^2$. curvature, varying gravity, air drag and second-order rotational terms are excluded.

Where a regular curve has positive curvature $\kappa$, its radius of curvature is the radius $\rho =1/\kappa$ of its osculating circle. A sharper bend has a smaller radius. At zero curvature there is no finite radius; writing $\rho =\infty$ is a limiting convention rather than an ordinary real reciprocal of zero.

For a rectangular cross-section of horizontal width $a$ and vertical thickness $b$, the second moment of area about its horizontal centroid axis is $I=a{\int }_{-b/2}^{b/2}{z}^{2}dz=a{b}^3/12$. Thus increasing vertical thickness is especially effective at reducing the curvature caused by a given bending moment.

A Riemannian manifold is a pair $(M,g)$ consisting of a smooth manifold $M$ and a Riemannian metric $g$. For each point $p$, the positive-definite inner product $g_p$ on its tangent space tells us the size and angle of possible instantaneous movements. The smooth manifold describes which local coordinates are possible; the Riemannian metric adds a choice of measurement.

For example, the plane can carry $d{s}^2=d{x}^2+d{y}^2$ or $d{s}^2=4d{x}^2+d{y}^2$. In the second Riemannian metric, a horizontal displacement costs twice as much length as the same coordinate displacement in the first. The underlying smooth manifold is unchanged. The coordinate transformation $X=2x,Y=y$ identifies the second geometry with an ordinary Euclidean plane, illustrating why coordinate appearance alone does not determine curvature.

A round sphere with its induced metric is another Riemannian manifold. Its tangent spaces each have an ordinary Euclidean inner product, although its global geometry is different from a plane's. This is the useful tension: measurements are Euclidean to first order at a point, while how those measurements fit together produces curvature and global restrictions on geodesics.

A Riemannian metric is a smoothly varying positive-definite inner product $g_p$ on each tangent space $T_{p}M$ of a smooth manifold. It measures tangent vectors before measuring entire journeys:Integrating this speed along a curve gives arc length; taking the infimum over routes gives Riemannian distance. A smooth manifold together with this measuring rule is a Riemannian manifold.

In a coordinate chart $(x^1,\dots ,x^n)$, the rule is represented by a smooth positive-definite symmetric matrix $G=(g_{ij})$:The notation $d{s}^2$ describes the squared infinitesimal line element, rather than an ordinary distance between distinct points. Changing coordinates changes the matrix entries; it preserves the measured norm of the same tangent vector.

For the plane with $d{s}^2=4d{x}^2+d{y}^2$, the vector $(1,0)$ has norm $2$ and $(0,1)$ has norm $1$. The coordinate change $X=2x,Y=y$ turns this into $d{s}^2=d{X}^2+d{Y}^2$: coefficients that look different can describe the same geometry. On a circular cylinder the induced metric $R^{2}d{\theta }^2+d{z}^2$ similarly becomes Euclidean when unrolled. On a round sphere, polar coordinates give $R^{2}d{\varphi }^2+R^2{\sin }^2\varphi d{\theta }^2$, away from the poles; the apparent degeneracy at a pole belongs to this coordinate choice, not to the Riemannian metric.

The point of the construction is that measurements make sense intrinsically, even without a chosen surrounding Euclidean space. It gives a common starting point for geodesics, curvature encoded by the Riemann curvature tensor, and the Laplace-Beltrami operator. ^[ref].

A parallel spinor has zero spin curvature. Contracting the spinorial Ricci identity with a gamma matrix gives $R_{\mu \nu }{\gamma }^{\nu }\psi =0$. For each fixed $\mu$, squaring Clifford multiplication by that Ricci row gives $|R_{\mu \cdot }{|}^2\psi =0$. Riemannian positivity and a nonzero spinor force every row to vanish. This implication is local and does not itself require compactness; the compact hypothesis is used to obtain parallelism from harmonicity.

A scalar-tensor theory uses a metric tensor and an additional scalar field to mediate gravity. A scalar multiplier of the Ricci scalar makes the curvature coupling depend on that field. The Brans-Dicke theory is a standard example; the choice of scalar potential and kinetic coupling distinguishes different members of the class.

The second moment of area of a cross-section about an axis is $I=\int y^{2}dA$, where $y$ is the perpendicular distance from that axis. Its dimensions are length to the fourth power. For a circular section of radius $a$, polar integration gives $I={\int }_0^a{r}^{3}dr{\int }_0^{2\pi }{\sin }^2\theta d\theta =\pi a^4/4$. A slender rod with Young's modulus $E$ has filament bending modulus $B=EI$: the axial strain caused by curvature $\kappa$ is $-y\kappa$, and integrating the linear elasticity energy density $E{y}^2{\kappa }^2/2$ over the section gives $B{\kappa }^2/2$ per unit length.

When grey values are fixed but region labels vary, a smooth interface satisfies $\beta \kappa =(c_j-g{)}^2-(c_i-g{)}^2$. The curvature uses the normal pointing out of region $i$, positive on an outward-oriented circle. It balances the change in data cost against the first variation of interface length. Fixing a full spatial image signal instead fixes its jumps and leaves no such boundary-relocation freedom.

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

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

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

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

Spherical trigonometry calculates the sides and interior angles of spherical triangles using trigonometric functions. Its sides must be shorter great circle arcs, which are geodesics on a round sphere. A curve at constant nonzero latitude does not qualify. The spherical law of sines and spherical law of cosines play the roles of the familiar flat-triangle rules, but account for the sphere's curvature.

Use uppercase $A,B,C$ both for the vertices and for their interior angles, and lowercase $a,b,c$ for the opposite angular sides. For example, $a$ is the central angle subtended by the arc from $B$ to $C$. On a sphere of radius $R$, its physical arc length is ${\ell }_a=Ra$ when $a$ is in radians; similarly ${\ell }_b=Rb$ and ${\ell }_c=Rc$. Only on the unit sphere do the angular and physical side lengths have the same numerical values. See J. B. Tatum, Celestial Mechanics, chapter 3, section 3.5: great-circle sides and angular units.

One useful application of spherical trigonometry is finding great-circle distance from spherical coordinates. Write a unit vector as $u(\varphi ,\lambda )=(\cos \varphi \cos \lambda ,\cos \varphi \sin \lambda ,\sin \varphi )$, where $\varphi$ is latitude and $\lambda$ is the equatorial azimuth, or longitude, measured from a chosen reference direction. The dot product of two such unit vectors givesHere $\delta \in [0,\pi ]$ is the central angle and $d$ is the great-circle distance. The same identity follows from the spherical law of cosines by adding the north pole as the third vertex, with angular sides $\pi /2-{\varphi }_1$ and $\pi /2-{\varphi }_2$. This connects spherical geometry to position calculations in astronomy and to navigation on a spherical model of Earth. Choosing the surface model matters: Paula Neeley and Anthony Narkawicz, Map Projection Induced Variations in Locations of Polygon Geofence Edges, NASA/TM-2017-219675 (2017), sections 2-3 distinguishes spherical and ellipsoidal geodesics and gives this coordinate identity.

For a toy example, put two points at latitude $30^{\circ }$, with equatorial azimuths $-60^{\circ }$ and $60^{\circ }$. The great-circle distance and the arc length along constant latitude areThe great circle takes a shorter route by bending towards the pole in these spherical coordinates. To locate its highest latitude, the endpoint unit vectors are $p=(\sqrt{3}/4,-3/4,1/2)$ and $q=(\sqrt{3}/4,3/4,1/2)$. Their great circle lies in the plane through the origin with $z=2x/\sqrt{3}$. On its shorter arc, the maximum latitude occurs at $y=0$ and is $\arctan (2/\sqrt{3})\approx 49.106605^{\circ }$. Thus a geodesic can change latitude substantially even when its endpoints have equal latitude. These are lengths on an ideal sphere; the example illustrates the geometry rather than specifying an actual flight route.

Historically, spherical trigonometry was prominent in teaching as well as in astronomy. John Conway and Alex Ryba note its presence in early twentieth-century school textbooks in Remembering spherical trigonometry, The Mathematical Gazette 100(547), March 2016, pages 1-8, DOI 10.1017/mag.2016.3. Their introductory observation documents that teaching history; it does not identify a single inventor of the spherical law of sines or spherical law of cosines.

The surface divergence of an ambient vector field is the tangential trace ${\nabla }_s\cdot \mathbf{v}=({\delta }_{ij}-n_i{n}_j){\partial }_j{v}_i$. For a tangent vector field it is the intrinsic divergence. For $\mathbf{v}=\mathbf{n}$ it gives the sum of the two principal curvatures; a sphere with outward normal has ${\nabla }_s\cdot \mathbf{n}=2/a$.