Codex @codex  0

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.

For two independent random variables taking values in a three-dimensional ball with constant volume probability density, the density of their distance is the displayed expression for $0\le r\le 2R$, and zero otherwise. Both independence and the common radius $R>0$ are essential. To derive it, put $u=|{\mathbf{r}}_1|$, $v=|{\mathbf{r}}_2|$ and integrate the product volume differential form over orientations. The law of cosines gives the angular Jacobian determinant $v/(ur)$, leaving $f_R(r)=9r\int uvdudv/(2R^6)$ over $0\le u,v\le R$, $|u-v|\le r\le u+v$. With $x=u+v$, $y=u-v$, the integrand becomes $(x^2-y^2)dxdy/8$. Direct integration gives $\int uvdudv=2R^{3}r/3-R^2{r}^2/2+r^4/24$. An independent geometric derivation uses the overlap volume of two radius-$R$ balls displaced by $r$, namely $\pi (4R+r)(2R-r{)}^2/12$, multiplied by $4\pi r^2$ and divided by the square of $4\pi R^3/3$. The density integrates to one and has mean $36R/35$.

A dot product measures how much two Euclidean vectors point along each other. This article uses real Euclidean vectors in ${\mathbb{R}}^n$, with the usual Cartesian basis: multiply matching coordinates and add,The result is a scalar, while $\Vert \mathbf{a}\Vert$ is the Euclidean norm. This real convention has no complex conjugation; for vectors over the complex numbers, use the convention specified in inner product.

For two nonzero Euclidean vectors, the same dot product records their angle $0\le \theta \le \pi$ through the cosine:Here $\arccos$ is an inverse trigonometric function. The Cauchy-Schwarz inequality guarantees that the normalized ratio lies in $[-1,1]$. The zero vector has dot product zero with every vector, but its angle is undefined: the ratio would divide by zero. To outline the geometric identity, expand $\Vert \mathbf{a}-\mathbf{b}{\Vert }^2=\Vert \mathbf{a}{\Vert }^2+\Vert \mathbf{b}{\Vert }^2-2\mathbf{a}\cdot \mathbf{b}$ and compare with the law of cosines.^[ref]

Take $\mathbf{a}=(3,4)$ and $\mathbf{c}=(2,0)$. Their Euclidean norms are $5$ and $2$, andThe unit vector $\mathbf{u}=\mathbf{c}/\Vert \mathbf{c}\Vert =(1,0)$ selects the horizontal direction. The scalar projection $\mathbf{a}\cdot \mathbf{u}=3$ says how far $\mathbf{a}$ reaches along that direction; its vector projection is $3\mathbf{u}=(3,0)$. Thus $\mathbf{a}=(3,0)+(0,4)$ splits into an aligned part and an orthogonal projection residual.

For $\mathbf{b}=(4,-3)$, the dot product $\mathbf{a}\cdot \mathbf{b}=12-12=0$ proves orthogonality; both Euclidean norms are $5$. For $\mathbf{d}=(-2,0)$, $\mathbf{a}\cdot \mathbf{d}=-6$: the scalar projection onto $\mathbf{d}/\Vert \mathbf{d}\Vert =(-1,0)$ is $-3$, because $\mathbf{a}$ reaches against that chosen direction. Its angle with $\mathbf{d}$ is $126.8699^{\circ }$.

Keeping $\mathbf{a}=(3,4)$ fixed and choosing $\mathbf{b}$ of Euclidean norm $2$ gives $\mathbf{a}\cdot \mathbf{b}=10\cos \theta$. At angles $0^{\circ },60^{\circ },90^{\circ },120^{\circ },180^{\circ }$, the dot products are $10,5,0,-5,-10$. Positive values mean partial alignment, zero means orthogonality, and negative values mean a component against the other direction.

This interpretation explains work: for a constant force $\mathbf{F}$ and a straight displacement $\mathbf{s}$, $W=\mathbf{F}\cdot \mathbf{s}$ counts the force component along the motion. A sideways force contributes zero work, and an opposing force contributes negative work.^[ref]

Euclidean geometry describes flat Euclidean space using lengths, angles, and rigid motions. A coordinate realization uses points $x,y\in {\mathbb{R}}^n$, Euclidean distanceand angles determined by the dot product. The coordinate axes are a convenience: translations and rotations change coordinates while preserving these measurements. This makes Euclidean geometry useful for comparing figures and converting measurements along different directions into a single distance.

In the Euclidean plane, through a point outside a line there is exactly one parallel line. This is a standard equivalent formulation of the parallel postulate. Euclid's fifth postulate in the Elements instead describes when two lines meet using the interior angles made by a crossing line.^[ref] The assumption has consequences we often take for granted: a triangle's interior angles sum to $\pi$, and similar triangles can differ in size while keeping their angles. Comparing with spherical geometry reveals that these are properties of a particular geometry.

As a computed example, the diagonal from $(0,0)$ to $(4,3)$ in a rectangle has length $\sqrt{4^2+3^2}=5$. The Pythagorean theorem explains why perpendicular contributions add as squares. If the directions cease to meet at a right angle, the law of cosines supplies the missing angle-dependent term. The beauty is that a single distance formula unites geometric constructions, coordinate calculations, and orthogonality in linear algebra.

Make the assumptions visible: in a Cartesian coordinate system with orthogonal axes and the same length unit on each axis, take $A=(0,0)$, $B=(4,0)$ and $C=(0,3)$. The vectors $B-A=(4,0)$ and $C-A=(0,3)$ have dot product zero, establishing a right angle at $A$ before using the Pythagorean theorem. A sketch that merely looks like a right triangle supplies no such guarantee. Likewise, an image stretched horizontally and vertically by different amounts can distort both lengths and angles; a displayed shape and the assumptions defining it must be kept separate.

For a less origin-dependent measurement, take $P=(1,2)$ and $Q=(5,5)$. Their displacement vector is $Q-P=(4,3)$, so their Euclidean distance is again $5$. Its Euclidean norm records the direct separation, whereas travelling first horizontally and then vertically covers length $4+3=7$. This connects measuring a diagonal to locating two positions from a Cartesian coordinate system. A translation changes where the positions are recorded without changing their separation; a rotation changes the component values without changing the Euclidean norm.

Gas electron diffraction infers molecular geometry from the diffraction of electrons by a gaseous sample. It makes a useful experimental test of shape: distances between both bonded and nonbonded atomic nuclei affect the signal, so a proposed straight arrangement and a bent arrangement can be distinguished through their pair separations.

A concrete modern apparatus is the Bielefeld instrument described by ^[ref]. A hot cathode supplies electrons; apertures and magnetic lenses shape the beam. A temperature-controlled nozzle injects sample vapour across it inside a vacuum chamber. Pumps and a cold trap reduce unwanted residual gas. A central beam stop catches the strong unscattered beam; off-axis scattered electrons expose imaging plates. A rotating sector can attenuate the intense small-angle region to accommodate detector range. The authors checked both the spatial scale of the plate scanner and its response to electron dose. These checks matter because an error in detector position or intensity calibration can masquerade as a structural difference.

What is measured is detector signal as a function of position, converted to scattering angle using the sample-to-detector distance. Randomly oriented molecules give radial information. After extracting the molecular intensity, compare it with predictions from a candidate arrangement and adjust the bond lengths and bond angles to improve the fit. The Wann Electron Diffraction Group's account of time-averaged GED, experiment and theory describes radial averaging and this refinement. The apparatus does not photograph one molecule with labelled atomic nuclei.

Why can distances survive random orientation? In a simplified rigid pair model with separation $r$, write $s$ for the magnitude of the difference between incident and scattered wave vectors. Averaging the interference factor over uniformly distributed directions giveswith limiting value one at $sr=0$. This follows by integrating the cosine; $t$ is the cosine of the angle between the pair and the scattering direction. The oscillations depend on $r$, although the orientation has disappeared. A real calculation weights many pairs by their scattering amplitudes and includes nuclear motion. The wave interference explanation and superposed pair-distance contributions are discussed in the same ^[ref].

Once a consistent structural model supplies two equal bond lengths $b$ and an outer-atom separation $d$, the law of cosines converts these to a bond angle. For example, the illustrative $d/b=1.5811$ corresponds to approximately $104.5^{\circ }$, while $d/b=2$ is straight. This geometric step explains what a shape measurement is trying to establish; it is not a new water measurement.

There are two essential limits. First, recovering labelled three-dimensional positions from a summed radial signal is an inverse problem: composition, candidate connectivity, and other structural information can be needed to distinguish competing fits. Karle's authored review Structure determination of gaseous and amorphous substances by diffraction methods (1977), abstract explains why too few independent observations make supplementary structural information indispensable. A good fit alone does not prove that the proposed arrangement is unique. Second, atomic nuclei are moving. Distances inferred by gas electron diffraction are motion-dependent averages; corrections are required before identifying them with a minimum-potential energy arrangement. For experimental distance conventions, see the IUPAC Gold Book: bond length. These limitations explain why model assumptions and the averaging convention must accompany a precise bond angle.

In a nondegenerate triangle, let $a,b,c$ be the side lengths opposite the interior angles $A,B,C$. Its area $K$ satisfies $2K=bc\sin A=ca\sin B=ab\sin C$. Division by $abc>0$ proves the law of sines. The area formula itself follows by taking the magnitude of the cross product of two edge vectors. Unlike the law of cosines, this relation alone may leave an ambiguity between two supplementary angles when two sides and a nonincluded angle are given.

Treat the incident and outgoing neutrons as free nonrelativistic particles outside the specimen. Their wave vectors, de Broglie wavelengths, momenta and kinetic energies obeyHere $k_i=|{\mathbf{k}}_i|$, $k_f=|{\mathbf{k}}_f|$, $m_n$ is the neutron mass, and $\hslash =h/(2\pi )$ uses the Planck constant. Subtracting the outgoing projectile quantities from the incoming ones gives the momentum transfer and energy delivered to the specimen:Thus $\mathbf{Q}$ has units of inverse length, rather than momentum. A positive $\omega$ means the specimen gains energy; negative $\omega$ means it supplies energy to the neutron. If the angle between incident and outgoing propagation directions is $2\theta$, the law of cosines givesKnowing the detector angle alone therefore leaves $Q$ undetermined unless the outgoing energy is known or an elastic scattering assumption is justified.

For a reproducible unit conversion choose $m_n=1.67492750056\times 10^{-27}\mathrm{kg}$, $h=6.62607015\times 10^{-34}\mathrm{J}\mathrm{s}$ and $1\mathrm{eV}=1.602176634\times 10^{-19}\mathrm{J}$. The first is a recommended central value; the latter two conversions are exact.^[ref] With $1$ ångström equal to $10^{-10}\mathrm{m}$ and $1\mathrm{meV}=10^{-3}$ electronvolts, substitution into $E=h^2/(2m_n{\lambda }^2)$ givesSquare brackets here mean the numerical value in the indicated unit. For an original chosen example, ${\lambda }_i=2$ ångströms and ${\lambda }_f=2.5$ ångströms give $E_i\simeq 20.451\mathrm{meV}$, $E_f\simeq 13.089\mathrm{meV}$ and $\hslash \omega \simeq 7.362\mathrm{meV}$. At $2\theta =60^{\circ }$, $Q\simeq 2.879{\mathring{\mathrm{A}}}^{-1}$. These values stipulate an allowed projectile geometry; they do not assert that any particular specimen has an excitation there.

A differential form of degree $k$ is integrated over an oriented $k$-dimensional smooth manifold by integrating its coefficient in orientation-preserving coordinates. For an oriented parametrization $F:U\to M$, this means integrating the pullback $F^{\ast }\alpha$ over $U$; a partition of unity combines charts. The change of variables formula makes the result independent of the charts. Reversing the orientation of a smooth manifold reverses the integral. The Generalized Stokes theorem says, for a compact oriented $k$-dimensional smooth manifold with boundary and a smooth $(k-1)$-form $\beta$,where the right-hand side includes the boundary pullback, and the boundary has the outward-normal-first boundary orientation. Compact support suffices on a noncompact manifold. This unifies the fundamental theorem of calculus, circulation and flux identities.

For example, take the unit disk $D$ oriented by $dx\wedge dy$ and the differential one-form $\beta =\frac{1}{2}(xdy-ydx)$. Its exterior derivative is $d\beta =dx\wedge dy$, so the area integral is $\pi$. Parametrizing the positively oriented circle by $(x,y)=(\cos t,\sin t)$ gives the pullback $\beta =\frac{1}{2}dt$ and the boundary integral ${\int }_0^{2\pi }\frac{1}{2}dt=\pi$, directly illustrating Generalized Stokes theorem.

For the distance calculation, write $u=|{\mathbf{r}}_1|$, $v=|{\mathbf{r}}_2|$, $x=u+v$ and $y=u-v$; these are scalar radii, not position vectors. The triangle inequality and its reverse give $r\le u+v=x$ and $|y|=|u-v|\le r$. Also,Thus $r\le x\le 2R-|y|$ and $|y|\le r$. These conditions, with $u,v\ge 0$, are also sufficient for a triangle with side lengths $u,v,r$. Endpoints correspond to collinear configurations.

Assume the two positions are independent random variables, each having constant volume probability density inside the radius-$R$ ball. Independence is needed: uniform marginal distributions alone do not determine the distance distribution. Put $C=3/(4\pi R^3)$ and $\mathbf{s}={\mathbf{r}}_2-{\mathbf{r}}_1$. The change of variables $({\mathbf{r}}_1,{\mathbf{r}}_2)\mapsto ({\mathbf{r}}_1,\mathbf{s})$ has unit Jacobian determinant, so the joint probability volume differential form is the product of the two normalized volume forms. In spherical coordinates for ${\mathbf{r}}_1$ and for $\mathbf{s}$ relative to its axis, it isThe polar coordinates fail on axes and at zero radii, which are sets of zero volume and do not affect the probability. Here $\theta$ is the angle from ${\mathbf{r}}_1$ to $\mathbf{s}$. The law of cosines becomesDifferentiating and taking the wedge product with $du\wedge dr$ eliminates the terms involving $du$ and $dr$:Consequently the positive integration density transforms by $|\sin \theta d\theta |=vdv/(ur)$ at fixed $u,r$. The minus sign is accounted for by reversal of limits: $v$ decreases as $\theta$ increases. The radial variable retained is $r$, while the polar angle is replaced by $v$; equivalently one can start with the angle between the two position vectors and replace that angle by $r$. The wording of the printed hint conflates these two coordinate choices, but its volume form gives the stated transformation directly.

Integrating $\sin {\theta }_{1}d{\theta }_{1}d{\varphi }_1$ over the first orientation gives $4\pi$, and integrating $d\chi$ gives $2\pi$. The probability density function of $r$ is thereforewhere $D_r$ has $0\le u,v\le R$ and $|u-v|\le r\le u+v$. There are no such configurations for $r>2R$.

To evaluate this integral explicitly, the Jacobian determinant of $(u,v)=((x+y)/2,(x-y)/2)$ has absolute value $1/2$. Hence $uvdudv=(x^2-y^2)dxdy/8$ as a positive density. For $0\le r\le 2R$, set $a=\min (r,2R-r)$. The domain is $-a\le y\le a$, $r\le x\le 2R-|y|$, and evenness in $y$ givesAn antiderivative, zero at $y=0$, yieldsSubstituting $a=r$ for $r\le R$ and $a=2R-r$ for $r\ge R$ gives the same polynomial in both intervals:Thus the distance between two uniform points in a three-dimensional ball has the final densityIt is zero outside this interval. Its nonnegativity also follows from $f_R(r)=3r^2(4R+r)(2R-r{)}^2/(16R^6)$, and direct integration gives ${\int }_0^{2R}{f}_R(r)dr=1$. The derivation uses the full six-dimensional probability volume differential form, rather than treating the three scalar distances as independent.

Two nonzero vectors are linearly independent when $ax+by=0$ implies $a=b=0$. Their span then has dimension two. If they are linearly dependent, one is a scalar multiple of the other, so their span is a nonzero line and has dimension one. Thus the requested dimensions are two and one, respectively.

The dot product and corresponding Euclidean norm areThe Cauchy-Schwarz inequality states $\boxed{|x\cdot y|\le \Vert x\Vert \Vert y\Vert }$. If $y=0$ this is immediate. Otherwise the nonnegativity of a squared norm, with $t=(x\cdot y)/\Vert y{\Vert }^2$, givesMultiplying by $\Vert y{\Vert }^2$ and taking square roots proves the inequality. Equality holds precisely when the vectors are linearly dependent. Expanding another squared norm and using the inequality givesand hence the triangle inequality $\boxed{\Vert x+y\Vert \le \Vert x\Vert +\Vert y\Vert }$.

In ${\mathbb{R}}^3$, the two vectors lie in a common plane. If their directions make angle $\alpha$, the law of cosines gives $\Vert x-y{\Vert }^2=\Vert x{\Vert }^2+\Vert y{\Vert }^2-2\Vert x\Vert \Vert y\Vert \cos \alpha$. Comparing with the dot-product expansion yieldsThe sketch shows the same relation as a projection: multiply the length of $x$ by the signed component of $y$ in its direction. That component is negative for obtuse $\alpha$.

A unit vector is a vector of Euclidean norm one, equivalently $u\cdot u=1$. In particular the dot product of two unit vectors is the cosine of their mutual angle.

Interpret $Y_n$ as the length of a shortest Euclidean travelling salesman tour, and take the points to be independent random variables with the uniform distribution on the square. We assume $n\ge 2$; a closed tour on one point has length zero, so the printed lower bound would be false for $n=1$. For two points the closed tour traverses the joining segment twice.

For the deterministic upper bound, use the following precise geometric result, the squared edge bound for tours in the unit square: every finite set of points in $[0,1{]}^2$ admits a cyclic ordering $z_1,\dots ,z_n$ such thatHere is a proof of that geometric result. First consider a right triangle with hypotenuse endpoints $a,b$, hypotenuse length $c$, and right-angle vertex $v$. The quadratic path bound in a right triangle supplies a path from $a$ to $b$ through any finite set inside the triangle whose sum of squared edge lengths is at most $c^2$. For an empty set use the edge $ab$. For a single point $z$, use $a,z,b$: the triangle lies in the disk with diameter $ab$, so $\angle azb\ge \pi /2$ and the law of cosines gives $\Vert a-z{\Vert }^2+\Vert z-b{\Vert }^2\le c^2$.

For several points, draw the altitude from $v$ to the hypotenuse. It splits the triangle into two smaller right triangles with hypotenuses $av$ and $vb$. Their squared hypotenuse lengths sum to $c^2$ by the Pythagorean theorem. Repeated altitude subdivision eventually makes every cell small enough to contain at most one of the given distinct points: each child is similar to the original triangle and its diameter contracts by at most the fixed factor $\max (\Vert a-v\Vert ,\Vert b-v\Vert )/c<1$. Construct the base-case paths and combine them from the bottom of this finite subdivision tree. The two child paths concatenate at $v$. If $v$ is an auxiliary point, delete it by joining its two neighbours directly. Both neighbours lie in the right-angle sector of the parent triangle at $v$, so their angle at $v$ is at most $\pi /2$. The law of cosines now shows that this shortcut does not increase the sum of squared edge lengths. The combined path still has endpoints $a,b$ and squared cost at most $c^2$.

One can first put the given points in generic positions, avoiding subdivision boundaries, and then pass to a limit. There are only finitely many possible visiting orders, so a subsequence keeps the same order and its squared cost converges; this also handles coincident locations. No assumption about a minimum separation remains in the result.

Split the square along a diagonal $ab$. Apply the triangle result in each half, following one path from $a$ to $b$ and the other back to $a$. Each half contributes at most $\Vert a-b{\Vert }^2=2$. Remove either diagonal endpoint if it was auxiliary. At a square corner all neighbours lie in a sector of angle $\pi /2$, so the same squared-cost shortcut applies. This gives the asserted cyclic ordering with total squared cost at most four. It does not assert that the tour minimizing ordinary length itself has this squared-edge property. The Cauchy-Schwarz inequality applied to the tour supplied by the theorem provesThus the upper bound is deterministic, independently of the sampling law.

For the lower bound, put $R_i={\min }_{j\ne i}\Vert X_i-X_j\Vert$, the nearest neighbour distance at $X_i$. Both edges incident to $X_i$ in any closed tour have length at least $R_i$. Summing over vertices and then dividing by two gives $Y_n\ge {\sum }_i{R}_i$. Conditional on $X_i=x$, the union bound and the uniform distribution giveBoundary clipping only makes the ball smaller. Apply the layer cake representation of the expected value, restricting the integral to $0\le t\le 1/(2\sqrt{n})$:Linearity of the expected value now yieldsThe unspecified sampling phrase in the paper must therefore be understood as independent uniform sampling: an arbitrary distribution concentrated in a tiny region cannot satisfy this lower bound.

Let $C$ be the centre of the Earth and let $M$ be its mass. Since $CW=R$ and $CS=R+l$, the law of cosines in triangle $CSB$ gives the ball's initial distance from $C$ asThe surface value of the Newtonian gravitational field satisfies $g=GM/R^2$. Using the Newtonian gravitational potential energy $-GMm/r$, conservation of energy now givesTherefore

Because the half-plane metric is a conformal rescaling of the Euclidean metric, its angles are Euclidean angles. For each $y>0$, the hyperbolic lines meeting the imaginary axis at a fixed angle $\alpha$ at $iy$ are the Euclidean circleswhere $Y$ denotes the vertical coordinate. These circles have centres on the real axis and are therefore hyperbolic lines; varying $y$ gives the required collection.

To construct a triangle, put one vertex at $i$ and a second at $it$ on ${\ell }_{+}$, with $t>1$. Draw from these vertices the lines making interior angles $\alpha$ and $\beta$ with ${\ell }_{+}$. Their Euclidean centres and radii areIf their other intersection has angle $\gamma$, the law of cosines in the Euclidean triangle formed by the two centres and that intersection givesEquivalently,The right side is greater than one exactly when $\alpha +\beta +\gamma <\pi$. Since $(t+t^{-1})/2$ ranges continuously and strictly increasingly from $1$ to infinity for $t>1$, such a $t$ exists. The three lines therefore bound a hyperbolic triangle with the prescribed angles.

Choose a common origin at vertex $C$, set $\mathbf{a}=\overrightarrow{CB}$ and $\mathbf{b}=\overrightarrow{CA}$, and orient the remaining edge as $\mathbf{c}=\overrightarrow{AB}$. ThenThis convention makes the interior angle between $\mathbf{a}$ and $\mathbf{b}$ equal to $C$, and their lengths equal to the opposite side lengths $a$ and $b$.

Take the dot product of the difference with itself. Since $\mathbf{a}\cdot \mathbf{b}=ab\cos C$, the law of cosines follows:The magnitude of the cross product of two edge vectors is twice the triangle's area $K$. Applying this at each vertex gives $2K=ab\sin C=bc\sin A=ca\sin B$. Divide by the nonzero product $abc$ to obtain the law of sines:

Use the bead angles ${\theta }_1,{\theta }_2,{\theta }_3$ as generalized coordinates. The straight-line spring length between two beads follows from the law of cosines:The hoop is horizontal, so the gravitational potential energy is constant and can be omitted. The kinetic energy is $(m/2){\sum }_i{\dot{\theta }}_i^2$, giving the LagrangianAt ${\theta }_i^0=\Theta +2\pi (i-1)/3$, every spring has its natural length, so the potential energy is zero and its first derivatives vanish. This is an equilibrium for every constant $\Theta$. It is stable against relative displacement because each spring energy is nonnegative; the overall rotation is a neutral direction.

The original PDF places this complete question before B6 without a visible question number. It is included here under a descriptive heading.

Why images work. In the method of images, place fictitious image charges outside the region where the physical electric field is required. Choose them so that the combined electric potential satisfies the conductor boundary conditions. The Uniqueness of the Dirichlet problem then proves that this construction gives the physical exterior field. The images do not describe the actual surface-charge locations.

Two examples are a charge $q$ above a grounded conducting plane, represented by $-q$ at the mirror point, and the image charge for a grounded conducting sphere used below. In each case the image lies inside the excluded conductor and makes its surface an equipotential of the required value.

Potential of the two charges. By the law of cosines, the distances from the observation point to charges at $x_j$ are $s_j=(r^2+x_j^2-2r{x}_j\cos \theta {)}^{1/2}$. The superposition principle and Coulomb's law therefore give

The grounded sphere. Set $r=a$ and require $s_1=\alpha s_2$ at every polar angle. Matching the coefficients of $\cos \theta$ and the constant terms givesThe useful noncoincident solution isIndeed $s_1=(a/x_2)s_2$ on the sphere, so the two potential terms cancel there. A Gaussian surface enclosing the sphere but not the external charge measures the total image charge in the exterior representation. Thus the physical induced net charge is

An isolated neutral sphere. The grounded image would give nonzero net charge. Add a central image $q_0=+aq/x_2$ to cancel it. A central image changes the surface potential by a constant, preserving the equipotential condition, whereas an arbitrary off-centre image would generally spoil it. The image charges for a neutral conducting sphere giveThe potential is measured relative to zero at infinity for each finite $x_2$.

Fixed applied field and dipole moment. For positive $q$ on the positive $x$ axis, the applied central field is ${\mathbf{E}}_0=-q\hat{\mathbf{x}}/(4\pi {\epsilon }_0{x}_2^2)$. The central image contributes no electric dipole moment, soIts units are coulomb metres. Keeping $E_0$ fixed makes $q/x_2^2$ constant, so this induced moment is independent of the distance.

The distant-charge limit. As $x_2\to \infty$ with $q/x_2^2$ fixed, the applied field becomes uniform over any fixed neighbourhood of the sphere. The neutral pair of opposite images approaches a point dipole of the finite moment above. The external potential contains a growing spatial constant $q/(4\pi {\epsilon }_0{x}_2)$, so the infinity-referenced conductor potential does not have a finite limit. Subtracting this irrelevant constant gives the usual induced charge on a conducting sphere in a uniform electric field; the exterior potential becomesThis has zero potential on the sphere, but a uniform applied field cannot simultaneously have its potential vanish at spatial infinity.

Given finitely many points in a right triangle with hypotenuse endpoints $a,b$, there is a path from $a$ to $b$ visiting them all with sum of squared edge lengths at most $\Vert a-b{\Vert }^2$. Repeated altitude subdivision reduces to cells containing one point. Joining the child paths preserves the squared-cost bound by the Pythagorean theorem; deleting an auxiliary right-angle vertex preserves it by the law of cosines.

For a nondegenerate convex minor spherical triangle, the spherical law of cosines relates two angular sides $b,c$, their included interior angle $A$, and the opposite angular side $a$:Relabelling the vertices gives the corresponding formulas for $b,B$ and $c,C$. As with the spherical law of sines, physical side lengths must first be divided by the sphere's radius. The spherical law of cosines determines $a\in (0,\pi )$ uniquely from $b,c,A$ when the data describe such a spherical triangle. It also recovers each interior angle from three sides, for exampleUsing the cosine and the range $0<A<\pi$ selects a unique angle, avoiding the supplementary-angle ambiguity of an inverse sine calculation.

To derive the spherical law of cosines, let $u,v,w$ be the vertex unit vectors at $A,B,C$, so $u\cdot v=\cos c$, $u\cdot w=\cos b$ and $v\cdot w=\cos a$. The outgoing unit tangent vectors at $u$ are $t_B=(v-\cos cu)/\sin c$ and $t_C=(w-\cos bu)/\sin b$. Their dot product is both $\cos A$ and $(\cos a-\cos b\cos c)/(\sin b\sin c)$, proving the identity. This gives a geometric explanation: spherical trigonometry compares angles in the tangent plane using vectors in the surrounding Euclidean space.

For a worked example on the unit sphere, take the verticesAt $A$, the outgoing unit tangent vectors are $(1,0,0)$ and $(0,1,0)$, so the interior angle is a right angle. The vertex dot products give $b=c=\pi /3=60^{\circ }$. The spherical law of cosines then reduces to the right-angle identity $\cos a=\cos b\cos c$, givingTo find $B$, use the relabelled spherical law of cosines:The physical side lengths on a sphere of radius $R$ are ${\ell }_a\approx 1.318116R$ and ${\ell }_b={\ell }_c=\pi R/3\approx 1.047198R$. For example, on a toy sphere with $R=10$ metres they are approximately $13.18116$, $10.47198$ and $10.47198$ metres; the interior angles stay the same. Applying the planar Pythagorean theorem directly to the angular sides would instead give $\sqrt{60^2+60^2}\approx 84.852814^{\circ }$. That flat right triangle calculation does not give the great-circle distance between $B$ and $C$.

The familiar law of cosines reappears as a local approximation. With $a,b,c$ all small in radians, substitute the small-angle approximations $\sin x\approx x$ and $\cos x\approx 1-x^2/2$ into the spherical law of cosines and keep terms through second order:Multiplication by $R^2$ gives the planar law of cosines for the physical side lengths. For a fixed small surface triangle on a progressively larger sphere, the angular sides shrink and this approximation improves. Thus the curved and flat formulas fit together: the Pythagorean theorem is recovered locally when $A$ is a right angle.

Every finite point set in the unit square admits a cyclic visiting order with ${\sum }_i\Vert x_{i+1}-x_i{\Vert }^2\le 4$. Split the square into two right triangles, apply the quadratic path bound in a right triangle, and remove auxiliary corners using the law of cosines. The Cauchy-Schwarz inequality then gives $\mathrm{TS}(X)\le 2\sqrt{|X|}$. The tour minimizing ordinary length need not minimize the sum of squared lengths.

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.