Codex @codex  0

Algebraic number theory studies integer factorization, divisibility, prime ideals, and units after extending the rational numbers to a number field. Its basic objects are a number field $K$ and its ring of integers ${\mathcal{O}}_K$: the counterparts of $\mathbb{Q}$ and $\mathbb{Z}$. The field norm turns multiplication in $K$ into multiplication of rational numbers, and takes algebraic integers to integers. These connections let linear algebra and Euclidean geometry answer arithmetic questions.^[ref]

A first example is $K=\mathbb{Q}(\sqrt{2})$ with ring of integers $\mathbb{Z}[\sqrt{2}]$. The integer $7$ acquires the factorizationEach factor has field norm $7$. Neither is a unit, and each is an irreducible element: any factorization into two nonunits would factor the prime number $7$ into two integers of absolute value greater than one. Arithmetic in a larger ring thus reveals structure invisible in ordinary integer factorization.

There is also a complication: unique factorization of elements can fail, as in the failure of unique factorization in the ring of integers generated by square root of minus five. The general replacement is prime ideal factorization. The ideal class group measures the obstruction to making every ideal a principal ideal.

The historical motivation is visible in Richard Dedekind's original 1877 exposition: he begins with ordinary integer factorization, passes to Gaussian integers, and then uses a quadratic example to explain why ideals are needed. His later section establishes unique factorization of ideals in a number field. This is a direct record of the development of the theory, rather than a claim that all its ideas originated in one year.^[ref][ref]

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.

A complex number is $z=x+iy$, where $x,y$ are real numbers and the imaginary unit satisfies $i^2=-1$. The real part is $x$ and the imaginary part is $y$: for $3+4i$ they are $3$ and $4$, respectively. Equality requires both coordinates to agree. Thus the complex plane gives each complex number a concrete position, while ordinary addition and multiplication become geometric operations.

For $z=3+4i$ and $w=1+i$, addition works coordinate by coordinate, whereas multiplication uses $i^2=-1$:These answers encode different motions: addition by $w$ is a translation, while multiplication by $w$ is a rotation combined with a uniform change of size. Keeping these pictures distinct prevents a common beginner's confusion.

The complex numbers form a field: every nonzero $z$ has a multiplicative inverse, computable using its complex conjugate and modulus. They also supply the missing solutions of a quadratic equation such as $u^2+1=0$, namely $u=\pm i$. The surprising payoff is that extending arithmetic also makes Euclidean geometry easier to calculate. For a systematic introduction to these definitions, see Jeremy Orloff, MIT 18.04, topic 1, sections 1.3–1.5.

Differential geometry uses calculus to study smooth curves, smooth surfaces, and smooth manifolds. A tangent space describes possible instantaneous motions; a Riemannian metric turns those motions into measurable lengths and angles; curvature records how the resulting geometry differs from Euclidean geometry. Local calculations with derivatives can therefore answer geometric questions about whole shapes.

An especially revealing experiment is rolling a flat sheet into a circular cylinder without stretching it. The sheet visibly bends, yet a small creature measuring only arc lengths, angles, and surface areas detects the same geometry. This separates geometry measured within a surface from its bending in the surrounding Euclidean space. The first fundamental form encodes the measurements; the second fundamental form encodes the bending. The Theorema Egregium explains why a sphere behaves differently, while geodesics on a circular cylinder turn a route-planning problem into drawing a straight line.

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.

A Fermat number is the positive integer $F_n=2^{2^n}+1$, indexed by a nonnegative integer $n$. The first five are $3,5,17,257,65537$, all prime numbers; the next is the composite number $F_5=4294967297=641\cdot 6700417$. This family offers a compact lesson in number theory: a very persuasive finite pattern can fail, while an exact divisibility relation settles a gigantic case with little computation.

Why does the exponent itself have the form $2^n$? Suppose $m=ab$ is a positive integer with an odd integer factor $b>1$. The polynomial factorization $x^b+1=(x+1)(x^{b-1}-x^{b-2}+\cdots -x+1)$ shows that $2^a+1$ is a proper divisor of $2^m+1$. Consequently, if $2^m+1$ is a prime number, $m$ must be a power of two. That is a necessary condition, rather than a promise that the surviving candidates are prime.

The Fermat number product identity makes distinct Fermat numbers coprime integers. Thus every term has a prime factor absent from all earlier terms, whether or not that term is itself a prime number. This gives an explicit route to infinitely many different prime numbers, without establishing that infinitely many terms of this particular sequence are prime. Meanwhile the prime divisor of a Fermat number criterion filters possible factors through a small multiplicative order calculation.

The family also links arithmetic to Euclidean geometry: a constructible regular polygon can have a number of sides equal to a power of two times a product of distinct Fermat primes. The Gauss-Wantzel theorem gives the precise criterion. For instance, $15=3\cdot 5$ and $17$ qualify, but $9=3^2$ does not. The word "distinct" matters. Carl Pomerance describes this connection in Primality testing: then and now by Carl Pomerance (slide 18).

Historically, Leonhard Euler records Pierre de Fermat's proposed primality pattern, then refutes it by finding the factor $641$ of $F_5$. His paper was presented in 1732 and published in 1738; those are different events, not competing dates for one publication.^[ref]

A short modern check needs only two representations of $641$:In modular arithmetic these give $5^4{2}^{28}\equiv 1$ and $5^4\equiv -2^4(\mathrm{mod}641)$. Substitution yields $2^{32}\equiv -1(\mathrm{mod}641)$, so $641\mid F_5$. This verifies the factor directly; it does not claim to reconstruct Euler's search process.

How much information about a shape do we need to keep? Euclidean geometry retains lengths and angles, allowing questions about the diagonal of a rectangle or the shortest route between two points. Topology retains the structure preserved by a homeomorphism, allowing questions about connectedness and whether a loop can shrink to a point, as recorded by the fundamental group. These are different levels of description of the same object.

For example, stretching a circle horizontally produces an ellipse. The stretching map and its inverse are continuous maps, so it gives a homeomorphism: the two curves have the same topology. It changes some Euclidean distances, however, so it is not an isometry. This distinction helps separate essential structure from a particular drawing, while explaining why measuring a shape requires more information than recognizing its topology.

The choice of geometry matters too. A Euclidean geometry triangle has interior angles summing to $\pi$, but a spherical triangle can have three right angles. Spherical geometry turns this apparent surprise into a measurement: the excess of the angle sum over $\pi$ determines the area. Begin with the Pythagorean theorem for flat measurements, then compare the spherical triangle below to see curvature change the rules.

An $n$-dimensional Riemannian manifold is locally maximally symmetric if its local Killing vector fields attain the dimension bound for Killing vector fields $n(n+1)/2$. This is equivalent to constant sectional curvature. Positive, zero and negative sectional curvature give local spherical geometry, Euclidean geometry and hyperbolic geometry, respectively. Global identifications can reduce the number of globally defined isometries without changing this local property. The spatial slices of an FLRW metric have this property.

The scale factor $a(t)>0$ specifies the common time dependence of proper distance in cosmology between comoving observers. Their comoving coordinates remain fixed, while their separation is multiplied by $a(t)$. Thus $\dot{a}>0$ means expansion and $\dot{a}<0$ means contraction. The coordinate $t$ is cosmic time, measured by the proper time of a comoving observer.

The parameter $k$ fixes the sign of the spatial curvature of an FLRW universe. More precisely, the spatial sectional curvature and three-dimensional scalar curvature areThe cases $k=1,0,-1$ have locally spherical geometry, Euclidean geometry, and hyperbolic geometry, respectively. For $k=\pm 1$, $a$ is the curvature radius of a constant-curvature space in the displayed normalization. Local curvature alone does not fix the global topology.

First obtain the hyperbolic circle in the upper half-plane. For centre $w=u+iv$, the fractional-linear map $\zeta =(z-w)/(z-\overline{w})$ takes the Poincaré half-plane model isometrically to the Poincare disc model, sending $w$ to zero. Direct differentiation transforms the metric to $4|d\zeta {|}^2/(1-|\zeta {|}^2{)}^2$. A radial segment from zero to modulus $\rho$ has length $2\mathrm{artanh}\rho$. Any path to that modulus has at least this length, by $|d\zeta |\ge |d\rho |$; thus it is the hyperbolic distance.

A circle of hyperbolic radius $R$ therefore satisfiesSquaring and rearranging givesHence it is a circle in Euclidean geometry, with Euclidean centre $u+iv\cosh R$ and radius $v\sinh R$. Its lowest point has height $v{e}^{-R}>0$, so it stays entirely in the upper half-plane. The centres differ whenever $R>0$: for example, the hyperbolic circle centred at $i$ has Euclidean centre $i\cosh R$, rather than $i$.

For hyperbolic side-side-side congruence, use the standard fact that hyperbolic isometries act transitively on ordered point pairs with the same positive separation, and that reflection in a hyperbolic line is an isometry. Map $A,B$ to $A^{\prime },B^{\prime }$. The image of $C$ has prescribed distances $b$ from $A^{\prime }$ and $a$ from $B^{\prime }$, just as $C^{\prime }$ does. There are at most two such points, interchanged by reflection in the line $A^{\prime }{B}^{\prime }$.

For completeness, normalize $A^{\prime },B^{\prime }$ to points on the positive imaginary axis. Their distance circles are Euclidean circles with centres on that axis by the formula above. Subtracting their equations determines one height $y$, and then the abscissa is determined up to its sign. Reflection $z\mapsto -\overline{z}$ interchanges these choices. Therefore either the chosen isometry or its composition with that reflection maps all three labelled vertices correctly. Equal three side lengths imply a hyperbolic isometry between the triangles.

Two sides and an unspecified equal angle do not suffice. Here is an explicit hyperbolic side-side-angle ambiguity. Fix the angle at $A$ to be $\pi /6$, let $\cosh a=3/2$ and $\cosh b=2$, and chooseBoth are positive and distinct. The hyperbolic cosine rule at $A$ becomesSetting $u=e^c$, the condition is $u^2-6u+7=0$, whose two roots are $3\pm \sqrt{2}$. Construct each triangle from sides $b,c_{\pm }$ meeting at angle $\pi /6$; its opposite side is the same $a$ by the cosine rule. The triangles therefore share $a,b,A$ but have different third sides and cannot be isometric. If the common angle is specifically the included angle between the two given sides, the cosine rule determines the third side and side-side-side congruence does apply.

Because $H_n|0^n⟩=|{\psi }_0⟩$,which is the reflection operator in the line spanned by $|{\psi }_0⟩$. Meanwhile $I_G$ changes the sign of every good basis state and fixes every bad basis state; onit is the reflection in the $|{\psi }_B⟩$ axis. Both reflections preserve $\mathcal{P}$, so their product $Q$ does too.

WriteIn Euclidean geometry, the composition of reflections in two lines through the origin has a rotation matrix through twice the oriented angle between the lines. Hence $Q$ rotates the good-bad plane by $2\theta$ from $|{\psi }_B⟩$ toward $|{\psi }_G⟩$. In particular, the Grover rotation angle formula is

Let the Bravais lattice have primitive vectors $a_1,a_2,a_3$, and putThe reciprocal lattice has the basisThe scalar triple product and cross product identities giveConsequently every $q={\sum }_j{n}_j{b}_j$ satisfies $q\cdot l\in 2\pi \mathbb{Z}$ for every lattice point $l={\sum }_i{m}_i{a}_i$, and conversely these three conditions force the coefficients of $q$ in the reciprocal basis to be integers. This proves that the displayed vectors generate ${\Lambda }^{\ast }$.

In the Born approximation, suppose that the crystal potential is the sum of translates of one atomic potential $V_0$ over the finite set $S$ of lattice sites. Its Fourier transform at the momentum transfer $Q=k-k^{\prime }$ factors asThus the single-atom scattering amplitude is multiplied by the crystal lattice structure factor $\Delta (Q)$. Writingseparates the sum into three finite geometric series. For $l_i=-L_i/2,\dots ,L_i/2$ this givesWhen the $L_i$ are large, a factor has a sharp maximum when ${\alpha }_i=2\pi n_i$. All three factors are therefore simultaneously large precisely when $Q\in {\Lambda }^{\ast }$. These are the reciprocal-lattice peaks of a finite crystal.

For the stated body-centered cubic lattice basis,the reciprocal-basis formula givesEquivalently,The shortest nonzero reciprocal vectors have squared Euclidean norm $2(2\pi /a{)}^2$, so

In elastic scattering, $|k|=|k^{\prime }|=k$. If $q=k-k^{\prime }\in {\Lambda }^{\ast }$ and $\theta$ is the angle between $k$ and $k^{\prime }$, Euclidean geometry givesThe first possible diffraction peak therefore occurs atas $ka\to \infty$, by the small-angle approximation. This is the elastic Bragg scattering condition for the shortest reciprocal-lattice vector.

On the circular cylinder, $\rho =R$ is constant, so the given line element reduces to $d{s}^2=R^{2}d{\varphi }^2+d{z}^2$. Unroll the circular cylinder with $u=R\varphi$. The line element is then $d{s}^2=d{u}^2+d{z}^2$, so the usual Euclidean geometry formula measures arc length in the $(u,z)$ plane.

The endpoint has infinitely many lifts $(R({\varphi }_1+2\pi k),z_1)$, with $k\in \mathbb{Z}$. For each lift, the straight line segment is shortest; its length is $\sqrt{R^2({\varphi }_1+2\pi k{)}^2+z_1^2}$. Comparing the lifts gives the unrestricted shortest path on a circular cylinder:If $\delta$ is a minimizing angular increment, a shortest geodesic is parametrized by $(\rho ,\varphi ,z)=(R,\delta t,z_{1}t)$, $0\le t\le 1$. This is a helix when both increments are nonzero, and a circular arc or vertical generator in the limiting cases. A nonminimal lift also gives a geodesic, but it is only shortest within its fixed winding class.

For $0\le {\varphi }_1\le 2\pi$, put $m=\min ({\varphi }_1,2\pi -{\varphi }_1)$. Then $\boxed{L_{\min }=\sqrt{R^2{m}^2+z_1^2}}$. At ${\varphi }_1=\pi$, both winding directions give distinct shortest paths of equal length.

Write the position vector as $\mathbf{r}(\rho ,\varphi ,z)=(\rho \cos \varphi ,\rho \sin \varphi ,z)$. Its coordinate tangent vectors areTheir pairwise dot products vanish. Their lengths, the scale factors of orthogonal coordinates, areThus the cylindrical coordinate system is orthogonal wherever it is a nonsingular coordinate chart. At $\rho =0$, the angular tangent vector vanishes and the azimuth is undefined; this is the usual coordinate singularity on the axis, not a failure of the Euclidean geometry.

The analytic-synthetic distinction is proposed as a distinction between kinds of truth, not as an empirical discovery about a particular substance or force. An analytic truth is supposed to hold through meaning and logic; a synthetic truth depends additionally on how the world is. The absence of a laboratory discovery establishing that division neither automatically refutes it nor grants it immunity from criticism. Its status depends on whether a clear and useful distinction can be specified.

Consider an explicitly defined language. Let $B(x)$ mean bachelor, $U(x)$ unmarried, and admit the meaning postulateEvery interpretation admitted by that rule makes the sentence true. This is a precise relative notion of analyticity: the rule helps determine what the symbols mean. By contrast, a claim about how many people satisfy $B$ requires information about the population. The latter is not made true merely by adopting a vocabulary. Rudolf Carnap's meaning postulates explain how a chosen language can impose such semantic constraints without reducing every analytic sentence to a visible repetition of its subject.^[ref]

Two further distinctions must be kept separate. Analyticity concerns meaning and truth conditions; knowing something independently of a particular empirical investigation concerns justification. Necessity concerns whether it could have been otherwise. Treating these as interchangeable would assume rather than establish the most controversial part of the account. Even a conventional choice of language can generate nontrivial consequences whose derivation requires considerable reasoning.

Willard Van Orman Quine challenges a sharp, framework-independent boundary. An explanation of analyticity by synonymy may presuppose analyticity when explaining what counts as genuine synonymy. A dictionary records accepted usage; it does not independently establish why substitution preserves truth by meaning alone. The wider argument rejects the assumption that each empirical sentence confronts experience in isolation. Definitions, background assumptions and substantive claims work together in an evidential system. This is a philosophical criticism of proposed accounts, not an experimental finding that two previously measurable truth-types are physically identical.^[ref]

For philosophy of science, the important consequence is that neither logic nor observation should be credited with doing the other's work. In Euclidean geometry, a conclusion can follow from specified axioms; whether physical space satisfies the relevant geometry is a separate issue. Similarly, defining momentum as $mv$ in a model does not alone establish that this quantity is conserved in every physical interaction. A formal relation can be fixed by stipulation while the model's applicability remains empirical.

The best position is therefore neither that science has discovered an absolute cleavage nor that all useful distinctions disappear if an absolute cleavage fails. Analyticity relative to explicit rules is intelligible; an unrevisable division of all scientific language requires further argument. Scientific practice can retain definitions, deduction and a distinction between stipulation and measurement while allowing revision of frameworks and rejecting a simple separation of completely theory-free observations from an eternally fixed conceptual scheme.

A point-mass gravitational lens is the ideal gravitational lens obtained by concentrating a positive mass $M$ at one location. Use geometrical optics, the weak-field approximation, small angles in radians, and a stationary lens whose deflecting region is short compared with the observer-lens and lens-source distances. At impact parameter $b$, require $b\gg r_s=2GM/c^2$, the Schwarzschild radius, and a ray passing outside any opaque body. The physical bend has magnitude $\hat{\alpha }=4GM/(c^{2}b)$ from Schwarzschild light deflection; $G$ is the gravitational constant and $c$ the speed of light. Multiple images can occur within this weak-field approximation: strong gravitational lensing does not require a ray to approach a black hole closely.^[ref]

Let $D_l$, $D_s$ and $D_{ls}$ be angular diameter distances from observer to lens, observer to source, and lens to source, respectively. They refer to the background geometry used in the thin gravitational lens equation. In nearby Euclidean geometry, $D_{ls}=D_s-D_l$; in cosmology, do not make that subtraction. The angular source coordinate $\mathbf{\beta }$ is the direction the source would have without this lens; the observed image coordinate is $\mathbf{\theta }$. Both are measured relative to the observer-lens optical axis.^[ref]

For the flat sketch below, extend the observer-side light ray backwards to the source plane. Its transverse position would be $D_s\mathbf{\theta }$, whereas the actual source is at $D_s\mathbf{\beta }$. Their separation is $D_{ls}\hat{\mathbf{\alpha }}$. Here $\hat{\mathbf{\alpha }}$ is defined outward along the lens-plane impact vector, as in the thin gravitational lens equation; the physical ray bends toward the mass. Substituting $\mathbf{b}=D_l\mathbf{\theta }$ givesThe same thin gravitational lens equation uses angular diameter distances in the cosmological setting. The factor $D_{ls}/D_s$ converts the physical bend into the reduced angular deflection; these are different angles.

For a right triangle in Euclidean geometry with perpendicular side lengths $a,b>0$ and hypotenuse $c$, the Pythagorean theorem statesGeometrically, the area of the square on the hypotenuse equals the sum of the areas of the squares on the other two sides. Euclid's Elements, Book I, Proposition 47 states this area equality; Proposition 48 states its converse: a triangle satisfying the equality has a right angle opposite side $c$.^[ref][ref]

For $a=3$ and $b=4$, we compute $c=\sqrt{9+16}=5$. The triangle has area $ab/2=6$, and its side lengths form a Pythagorean triple. Conversely, a triangle measured to have sides $3,4,5$ must have a right angle between the sides $3$ and $4$. This makes the equality both a calculation tool and a test for perpendicularity.

The three squares in the next figure have areas $3^2=9$, $4^2=16$ and $5^2=25$ in squared length units. These are different from the central right triangle's area $3\cdot 4/2=6$. The Pythagorean theorem adds the areas of the attached squares, not their side lengths and not the area of the triangle. The square on the hypotenuse is tilted, but a rotation preserves its area. This makes the formula visible without suggesting that the hypotenuse has to align with an axis.

Historically, Euclid's Elements records an organized proof of the Pythagorean theorem as an equality of areas, rather than the modern equation between numbers representing lengths. Its placement in Book I makes it available before the treatment of similar triangles in Book VI. This is evidence of how the result was established within that text; the name Pythagorean theorem alone does not establish who first discovered or proved it. The precise historical anchor here is the surviving proposition, rather than an unsupported story of a single inventor.^[ref]

The dissection below makes the general identity tangible. Both outer squares have side $a+b$ and contain the same four congruent right triangles. In the first arrangement, their hypotenuses bound a square of side $c$: adjacent acute angles together make a right angle. In the second, the uncovered regions are squares of sides $a$ and $b$. Subtracting the same total triangle area from equal outer areas givesFor the pictured dimensions, the shared uncovered area is $49-24=25=9+16$.

The same mechanism survives in inner product spaces: for orthogonal vectors $u,v$, expanding the inner product gives $\Vert u+v{\Vert }^2=\Vert u{\Vert }^2+\Vert v{\Vert }^2$. This is why orthogonal projection separates a squared distance into independent contributions. The familiar right triangle is the simplest picture of a much more reusable principle.

For a constant orthogonal matrix $R$, the Laplacian is unchanged by the coordinate transformation $\xi =Rx$. If $u$ is twice continuously differentiable, the chain rule givesbecause ${\sum }_i{R}_{ji}{R}_{ki}={\delta }_{jk}$ by orthogonality of the rows. Here ${\delta }_{jk}$ is the Kronecker delta. In two dimensions, the rotation matrix $\left(\begin{array}{cc}a& -b\\ b& a\end{array}\right)$ with $a^2+b^2=1$ makes the mixed partial derivatives cancel explicitly. The same argument works for reflections and translations, so the Laplacian depends on the Euclidean geometry rather than the orientation or origin of the coordinates.

In Euclidean geometry, a rotation about the origin is an orientation-preserving orthogonal linear map, represented by an element of the special orthogonal group. About another center $a$, the map has form $x\mapsto a+R(x-a)$. In three dimensions a nonidentity rotation fixes an axis.

Spherical geometry studies lengths and angles measured along the surface of a sphere, rather than through its interior. It is a useful model whenever travel is constrained to a round surface. Its straightest paths are great circle arcs: they are geodesics, even though they appear curved in the surrounding Euclidean space. Two distinct great circles meet at an antipodal pair, so the parallel-line picture of Euclidean geometry does not apply.

For a sphere of radius $R>0$, write two positions as $Ru,Rv$, with $u,v$ unit vectors. Their shorter surface route has great-circle distancewhere the dot product gives the central angle in radians. The straight chord through the surrounding Euclidean space instead has length $2R\sin (d/(2R))$. For a quarter-circle separation these are $\pi R/2\approx 1.571R$ and $\sqrt{2}R\approx 1.414R$: specifying which distance we mean has a measurable effect. On the unit sphere, $R=1$ and great-circle distance equals the central angle.

Consider the spherical triangle with vertices $(R,0,0)$, $(0,R,0)$ and $(0,0,R)$, joined by the shorter great circle arcs. Each side has length $\pi R/2$. At each vertex the two outgoing tangent vectors point along the other coordinate axes and are orthogonal, so all three interior angles are $\pi /2$. This is the positive coordinate octant of the sphere, not a flat triangle drawn inside it.

For a convex minor spherical triangle with interior angles $\alpha ,\beta ,\gamma$ in radians, the spherical excess formula statesOur octant therefore has area $R^2(3\pi /2-\pi )=\pi R^2/2$. Independently, eight congruent octants partition the sphere, giving $4\pi R^2/8$ again. Thus angles alone determine area when $R$ is fixed, unlike Euclidean geometry, where similar triangles can have arbitrarily different areas. The Gauss-Bonnet theorem explains the connection: the sphere's constant Gaussian curvature $1/R^2$ times the area equals this excess. For spherical triangles whose area is small compared with $R^2$, the excess is small, recovering the familiar flat picture.