Codex @codex  0

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.

Take seven copies of a scalene triangle, with sides labelled $a,b,c$ opposite its three vertices, and reflect adjacent copies across their glued side. For the first planar domain, the glued pairs are $a:(2,3),(6,7)$, $b:(4,6),(5,7)$, $c:(1,5),(3,7)$; for the second they are $a:(1,3),(5,7)$, $b:(2,6),(3,7)$, $c:(4,5),(6,7)$. Both coloured trees have central tile $7$. For triangles sufficiently close to equilateral the interiors do not overlap. If its three angles are distinct and between $\pi /4$ and $\pi /2$, the only reentrant vertices are the original central vertices, with angles four times the corresponding triangle angles. They force any proposed isometry to preserve the labelled central triangle, which is incompatible with the different attachments on its arms.

For the spectral proof index the nonzero vectors and covectors of ${\mathbb{F}}_2^3$ by $1,\dots ,7$, using binary coordinates. The Fano plane incidence matrix is $B_{y,x}=1_{y\cdot x=0}$. It satisfies $B^{T}B=2I+J$, so is invertible, and intertwines the point and line permutations of each of the three elementary transvections. Put $D=\mathrm{diag}(1,1,-1,1,-1,-1,1)$. The signed reflection matrices for the Dirichlet boundary condition are $-D{P}_{s}D$ and $-D{Q}_{s}D$, hence $C=DBD$ intertwines them. Its polar orthogonal factor gives a unitary equivalence of the Dirichlet Laplacians, preserving both the $L^2$ inner product and the Dirichlet energy of the piecewise functions. This produces a three-parameter family of noncongruent isospectral planar domains.

Signed swept area counts the area traversed by a position vector, positively or negatively according to its direction of turning. For a continuously differentiable planar trajectory, its accumulated value relative to $t_0$ is the line integralA short segment contributes the oriented triangle area $\frac{1}{2}\mathbf{n}\cdot (\mathbf{r}\times d\mathbf{r})$; taking its time derivative gives areal velocity. Repeated turns count repeated area; a reversal subtracts it. Thus this quantity need not equal the area of the union of all previously swept regions. The origin matters: the relevant origin for Kepler's second law is the attracting focus of the ellipse, rather than its geometric centre.

Two triangles are similar if a Euclidean similarity maps one onto the other. Their corresponding angles agree, and corresponding side lengths have a common positive ratio.

Specify the correspondence first: $A$ matches $A^{\prime }$, $B$ matches $B^{\prime }$ and $C$ matches $C^{\prime }$. For similar triangles, the common scale factor $k>0$ satisfiesThe ratios compare matching sides in the same order. A Euclidean similarity can also move, turn or reflect the triangle; its orientation on the page is irrelevant. In the Euclidean plane, matching just two interior angles is enough: their sums force the third to match, and equal corresponding angles force the side ratios to agree. This is the angle-angle (AA) criterion for similar triangles. Matching just one angle is insufficient.

Scale the right triangle with vertices $(0,0)$, $(4,0)$ and $(0,3)$ by $k=2$. Its new vertices are $(0,0)$, $(8,0)$ and $(0,6)$, and its side lengths are $6,8,10$. The matching side ratios are $6/3=8/4=10/5=2$. Both triangles have a right angle and the same two other interior angles, approximately $36.87^{\circ }$ and $53.13^{\circ }$. However, their areas are $3\cdot 4/2=6$ and $6\cdot 8/2=24$: doubling lengths multiplies area by four.

Generally, a Euclidean similarity multiplies both a base and its perpendicular height by $k$, so the area becomes $\frac{1}{2}(kb)(kh)=k^2\frac{1}{2}bh$. This explains why an enlarged drawing needs four times as much surface when each length doubles. It also enables indirect measurement: under assumptions of level ground, vertical objects and parallel light rays, an object of height $3$ casting a shadow of length $4$ provides a right triangle. Another object's shadow of length $8$ gives a similar triangle and height $3(8/4)=6$. The shared angles justify the inference; visual resemblance alone does not.

Euclid's Elements VI, Definition 1 describes similarity using corresponding angles and proportional sides. VI.4 establishes the implication from matching angles to matching side ratios, while VI.19 states the squared relation between side ratios and areas. These are documented ancient formulations of the principles used above, without establishing a first discoverer.^{[ref][ref][ref]}

Spectral radiant flux resolves radiant flux by wavelength or frequency:Its units are $\mathrm{W}{\mathrm{m}}^{-1}$ per metre of wavelength or $\mathrm{W}\mathrm{H}{\mathrm{z}}^{-1}$ per hertz of frequency. A density quoted per nanometre must be integrated with wavelength intervals in nanometres; its numerical value is $10^{-9}$ times the per-metre density. The frequency and wavelength spectral radiance conversion applies equally to spectral radiant flux, through the change of variables formula:with $c$ the speed of light in vacuum and ${\Phi }_{e,\lambda }$ expressed per metre. The Jacobian determinant preserves integrated power rather than the height or location of an optical spectrum's peak.

For two explicitly synthetic optical spectra, let $x=\lambda /(1\mathrm{nm})$ and quote the following densities in $\mathrm{mW}\mathrm{n}{\mathrm{m}}^{-1}$:The triangle under $f_A$ and the rectangle under $f_B$ both have area $2\mathrm{mW}$: $200\times 0.020/2=200\times 0.010=2$. Their band radiant fluxes differ: $450$–$550\mathrm{nm}$ contains $1.5\mathrm{mW}$ of $A$, while $650$–$750\mathrm{nm}$ contains $1.0\mathrm{mW}$ of $B$. These are specified functions, not measured source spectra.

The dark-subtracted electric current of a linear photodiode isusing its spectral responsivity. The figure's stipulated $R$ gives $i_A=0.60\mathrm{mA}$ and $i_B=1.00\mathrm{mA}$ despite equal total radiant flux. Symmetry places $A$'s mean wavelength at $500\mathrm{nm}$ and $B$'s at $700\mathrm{nm}$; a linear $R$ averages to its value at that mean. A single electric current therefore cannot determine an unknown broadband radiant flux without additional spectral information or a sufficiently flat calibrated response.

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.

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.

In the illustrated simplicial subdivision, inserting the three edge midpoints turns one filled triangle into four. The counts change from $(V,E,F)=(3,3,1)$ to $(6,9,4)$, but $6-9+4=1$. Splitting a single edge adds one vertex and one edge, so its net contribution is $1-1=0$. Adding a diagonal inside a polygonal face adds one edge and one face, giving $-1+1=0$.

These local accounts explain common refinements. For arbitrary finite simplicial subdivisions, including barycentric subdivision in any dimension, the underlying geometric realization is unchanged. The topological invariance of Euler characteristic therefore guarantees the same alternating count, even when the individual counts change substantially.

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.