Codex @codex  0

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.

An optical microscope whose microscope objective is designed to form a real image at a specified finite distance. The intended image distance and optical aberration corrections belong together; mechanical tube length is a mounting specification, not automatically the image distance measured from a principal plane.^[ref]

Why can a small displacement produce a large image? For a converging thin lens, write $u_o=f_o+ϵ$ with $epsilon>0$. Substitution into the thin lens equation givesThe similar triangles construction supplies the minus sign. The example has $epsilon=2\mathrm{mm}$ and hence $m_o=-5$. Letting $epsilon$ decrease moves the real image farther away; it does not keep the microscope eyepiece in focus at a fixed position. Large transverse magnification therefore requires the correct conjugate geometry, not merely a short focal length.

The figure illustrates Pierre de Fermat's use of adequality to construct a tangent to a parabola. Reading the local exam image is decisive: $D$ is the vertex of a parabola, $DC$ lies on its axis of symmetry, $B$ lies on the parabola, and the proposed tangent $BE$ meets the extended axis at $E$. The horizontal through the auxiliary point $O$ meets the axis at $I$; $O$ lies on $BE$, outside the parabola. In particular, $O$ must not be treated as a second point of the parabola. The target is the subtangent $CE$. The diagram and this construction occur in the tangent discussion associated with Varia opera mathematica by Pierre de Fermat. The 1679 book was posthumous: its date does not date the invention of the method.^[ref][ref]

Write $d=CD>0$, $a=CE>0$, and $e=CI$, with $I$ between $C$ and $D$. These are lengths, and the increment $e$ is distinct from the labelled point $E$. Then $DI=d-e$ and $EI=a-e$. The parabola's characteristic relation makes the square of an ordinate proportional to its distance from the vertex of a parabola. At height $I$, the actual ordinate of the parabola is shorter than $OI$. Hencewhere the equality follows from similar triangles $BCE$ and $OIE$.

The method of adequality replaces the comparison by a relation used to extract the condition of contact:Expanding and cancelling $d{a}^2$ gives $-2dae+d{e}^2\sim -a^{2}e$. Divide by the nonzero increment $e$, then suppress the remaining term containing $e$. The result is $a^2=2da$, so, since $a>0$,Thus $DE=DC$: the intersection with the axis lies as far above the vertex of a parabola as $C$ lies below it. This is a concrete construction, not just a rule for computing a numerical slope.

A modern check clarifies why the calculation succeeds without pretending that Pierre de Fermat used a modern limit. Put $D=(0,0)$, let $y$ increase down the axis, and write the parabola as $x^2=ky$, $k>0$. For $B=(b,d)$, with $b^2=kd$, the proposed tangent through $E=(0,-d)$ is $y=2bx/k-d$. Substitution givesIt meets the parabola with a double root at $B$, and for every other point its $y$ coordinate is less than that of the parabola. This also verifies the strict comparison used for $O$.

The significance is a systematic algebraic condition for geometric contact. Subtracting neighbouring expressions, dividing by an increment, and discarding its remaining terms anticipates differentiation. But the historical question is precisely what licenses the last step. The symbol $\sim$ above marks adequality, not ordinary equality at a finite displacement. Treating the construction as an already stated epsilon-delta definition of a limit would conceal the methodological innovation and its unresolved explanatory burden.

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.

A ratio compares two quantities $a,b$, written $a:b$ and corresponding to division $a/b$ when $b\ne 0$. Equal ratios of corresponding lengths characterize the scaling of similar triangles.

For example, $6:4$ and $3:2$ specify the same ratio because $6/4=3/2$. Multiplying both entries by the same nonzero scale preserves the quotient: $(ca)/(cb)=a/b$. This is useful when comparing mixtures or scaling a recipe; doubling both ingredient amounts preserves their ratio, while adding the same amount to both generally does not. For quantities with the same physical units, their ratio is dimensionless, connecting this elementary calculation with dimensional analysis.

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

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.

Transverse magnification is the ratio of corresponding signed lengths perpendicular to the optical axis. For an ideal image of a small arrow of nonzero height,Use the same upward-positive height convention in both planes. Thus an upright $0.50\mathrm{cm}$ arrow imaged as $-0.25\mathrm{cm}$ has $m=-1/2$: inverted and half as tall. The sign describes orientation; real image versus virtual image describes ray intersections. They are separate properties, even when a particular thin lens setup correlates them.^[ref]

For a thin lens with object coordinate $-u$ and image coordinate $v$, the undeviated centre light ray is the straight line through $(-u,h_o)$ and $(0,0)$, so its height at $x=v$ is $h_i=-h_{o}v/u$. This is the signed similar triangles argument. Combining it with the thin lens equation givesFor $f>0$, $u>2f$ gives $-1<m<0$; $u=2f$ gives $m=-1$; $f<u<2f$ gives $m<-1$; and $0<u<f$ gives $m>1$. At $u=f$, the image is conventionally “at infinity”: the divergent expressions for $v$ and $m$ describe the limiting behaviour, not a finite image of infinite height. Different object points produce parallel bundles in different directions, which is why angular magnification remains meaningful.

The real image experiment tests $m$ in two independent ways: signed ratios of measured corresponding intervals, and $-v/u$ from measured longitudinal distances. As a further prediction, moving from $u=30\mathrm{cm}$ to $u=15\mathrm{cm}$ for $f=10\mathrm{cm}$ swaps $u,v$, changing $m=-1/2$ to $m=-2$. The two image sizes differ by a factor of four, while both images remain inverted. This reversal follows from the symmetric thin lens equation and connects to the Bessel lens displacement method.

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.