Method of Interior Parallels

• Method of Interior Parallels is a set of geometric procedures that use finite interior constructions to encode global properties such as parallelism and symmetry.
• It applies to diverse settings including Euclidean angle copying, convex inner offsets via Minkowski difference, and rotation-based extraction to produce parallelograms and squares.
• This method underpins key results ranging from perimeter bounds for inner parallel bodies to constructive proofs of the Fifth Postulate and related geometric inequalities.

Searching arXiv for the cited papers to ground the article in current records. In the cited literature, the expression method of interior parallels is used for several geometric procedures that share a common structural motif: a global property is accessed through an interior or inward construction. In Euclidean geometry, the phrase refers to Euclid’s construction of the line through a point $P\notin \ell$ by copying an angle so that alternate interior angles are equal, together with the constructive justification supplied by Proposition I.29 and the Fifth Postulate (Petrakis, 2022). In convex geometry, it refers to the deformation $K_t=K\sim tB$ or $K\sim tC$ by inner parallel bodies and to the resulting bounds and monotonicity formulas for perimeter, anisotropic perimeter, quermassintegrals, and isoperimetric quotients (Larson, 2015). A separate planar construction uses interior angle bisection and compositions of rotations to extract a parallelogram from any quadrilateral, and a square from any parallelogram (Godard, 2012). This suggests a unifying theme: an interior finite operation is used to encode a more global geometric relation.

1. Meanings and formal settings

The term is not univocal. In the material considered here, it appears in three distinct settings: classical line geometry, convex-geometric inner offsets, and a polygonal rotation construction.

Setting	Basic object	Principal operation
Euclidean geometry	A line through $P\notin \ell$ parallel to $\ell$	Copy an angle so alternate interior angles are equal
Convex geometry	Inner parallel body $K_t$ or $\Omega_t$	Minkowski difference $K\sim tB$ or $K\sim tC$
Planar quadrilaterals	A derived quadrilateral $P^e$	Interior angle bisection and compositions of rotations

In Euclid’s case, the operative relation is the alternate-interior-angle criterion. In convex geometry, the central definition is inward erosion by a ball or by a fixed convex body. In the quadrilateral construction, the interior data are the half-angles at the vertices and the fixed points of certain rotation compositions. The commonality is therefore not terminological accident alone; it lies in the passage from interior auxiliary structure to a statement about parallelism, inward motion, or a derived polygonal form.

2. Euclid’s construction through alternate interior angles

The Euclidean problem is: given a straight line $K_t=K\sim tB$0 in the plane and a point $K_t=K\sim tB$1 not on $K_t=K\sim tB$2, construct by ruler-and-compass a new line $K_t=K\sim tB$3 through $K_t=K\sim tB$4 such that $K_t=K\sim tB$5. Proposition I.31 proceeds in three moves: choose an arbitrary point $K_t=K\sim tB$6 on $K_t=K\sim tB$7, draw the transversal $K_t=K\sim tB$8, and then construct at $K_t=K\sim tB$9 a second line $K\sim tC$0 so that the alternate interior angles with respect to $K\sim tC$1 are equal (Petrakis, 2022).

In the detailed reconstruction, one lets $K\sim tC$2, $K\sim tC$3, and $K\sim tC$4. The relevant finite property is $K\sim tC$5, “$K\sim tC$6 meets $K\sim tC$7 at $K\sim tC$8 making alternate interior angles equal,” and the target infinite property is $K\sim tC$9, “$P\notin \ell$0.” With the notation

$P\notin \ell$1

Euclid I.27 gives the implication

$P\notin \ell$2

The angle-copy step is Euclid I.23. At $P\notin \ell$3, one constructs a ray $P\notin \ell$4 such that

$P\notin \ell$5

The exposition specifies the standard compass construction: draw a circle centered at $P\notin \ell$6 meeting $P\notin \ell$7 at $P\notin \ell$8; draw a circle centered at $P\notin \ell$9 of the same radius meeting $\ell$0 at $\ell$1; draw arcs centered at $\ell$2 and $\ell$3 with radius $\ell$4; let them meet at $\ell$5; join $\ell$6 to $\ell$7. By construction, the angle at $\ell$8 equals the angle on $\ell$9, so the alternate interior angles are equal, and I.27 yields $K_t$0.

At the level of geometric practice, the method is entirely finite: one chooses one point on $K_t$1, one transversal, and one copied angle. The deeper issue is not how to draw $K_t$2, but how this finite act can count as a construction of the infinite relation expressed in Euclid’s Definition 23, namely that parallel lines, “produced indefinitely, do not meet.”

3. Constructive legitimacy and the Fifth Postulate

Petrakis’s reconstruction assigns a genuinely constructive role to the Fifth Postulate. The key point is that Euclid I.31 by itself produces the finite property $K_t$3, not yet the full infinite property $K_t$4. The converse implication,

$K_t$5

is Proposition I.29, and Euclid proves it by invoking the Fifth Postulate in its original form: if a straight line falling on two straight lines makes the interior angles on one side less than two right angles, then the two lines, if produced indefinitely, meet on that side (Petrakis, 2022).

Only after both directions are available,

$K_t$6

may one infer the equivalence

$K_t$7

Petrakis formulates this through four constructive principles. $K_t$8 requires constructing “as accurately as possible,” so the target is the definition of parallel itself. $K_t$9 requires that there be no gaps: each auxiliary step must appeal only to earlier postulates or already established propositions. $\Omega_t$0 distinguishes the generality hierarchy, according to which “parallel” is an infinite property and “alternate interior angles equal” is a finite property, hence strictly weaker until equivalence is proved. $\Omega_t$1 permits equivalent-property interchange: once $\Omega_t$2 is established, a construction of the finite property can count as a construction of the infinite one.

On this reading, the Fifth Postulate is not an external consistency condition appended to an otherwise complete construction. It is the ingredient that legitimates the passage from a copied angle to a genuinely constructed parallel line. The construction is therefore finite in execution but epistemologically dependent on the equivalence supplied by I.29.

The same paper contrasts this with Bolyai’s construction of limiting parallels in a hyperbolic plane with Lobachevsky’s Hyperbolic Axiom $\Omega_t$3. Bolyai erects perpendiculars, constructs a right-angled transversal, chooses a point $\Omega_t$4 on $\Omega_t$5, erects from $\Omega_t$6 a perpendicular to the transversal, and then uses a circle centered at $\Omega_t$7 through $\Omega_t$8 to obtain a point $\Omega_t$9, declaring $K\sim tB$0 to be the limiting parallel. By an elementary continuity principle, the circle meets the relevant line; but the construction presupposes the existence of a limiting parallel ray via $K\sim tB$1. In Petrakis’s analysis, this violates $K\sim tB$2 and does not supply a finite equivalence analogous to I.27 and I.29.

4. Inner parallel bodies and sharp perimeter bounds

In convex geometry, the basic object is the inner parallel body, also called the interior parallel set. For a convex body $K\sim tB$3 with nonempty interior and for $K\sim tB$4,

$K\sim tB$5

where $K\sim tB$6 is the unit ball and $K\sim tB$7 denotes Minkowski difference,

$K\sim tB$8

The inradius is

$K\sim tB$9

Larson’s main theorem gives a sharp lower bound for the perimeter of inner parallel sets: $K\sim tC$0 For $K\sim tC$1, this is

$K\sim tC$2

and the bound depends only on the perimeter and inradius of the original body; it is independent of regularity properties of $K\sim tC$3 (Larson, 2015).

A principal structural lemma is the inradius drop: $K\sim tC$4 for the inradius $K\sim tC$5 of $K\sim tC$6. The proof strategy reduces the estimate to an extremal reverse problem. For fixed $K\sim tC$7 and $K\sim tC$8, one considers the family

$K\sim tC$9

and shows that the unique maximizer of perimeter in this family is

$P^e$0

where $P^e$1 is the support function and $P^e$2 is the set of outward unit normals at the regular boundary points of $P^e$3.

Mixed volumes enter through the characterization

$P^e$4

together with multilinearity, symmetry, translation invariance, and monotonicity under inclusion. The proof compares the extremal body with a dilation of $P^e$5 by using the support-function inequality

$P^e$6

A notable feature is that no direct analog of Steiner’s formula for inner sets is used, because none holds in general.

Equality occurs for some $P^e$7 if and only if $P^e$8 is homothetic to its form-body

$P^e$9

In that case equality holds for all $K_t=K\sim tB$00. The paper also notes that, combined with Steinhagen’s inequality, the result yields width-based perimeter-drop bounds, and in the planar case this resolves a conjecture of Geisinger–Laptev–Weidl.

5. Anisotropic interior parallels and eikonal abrasion

Crasta extends the isotropic theory to an anisotropic setting. Let $K_t=K\sim tB$01 be a convex body and let $K_t=K\sim tB$02 be a norm with unit ball $K_t=K\sim tB$03. Then

$K_t=K\sim tB$04

More generally, for a convex body $K_t=K\sim tB$05 containing $K_t=K\sim tB$06 in its interior,

$K_t=K\sim tB$07

The anisotropy is encoded by a strictly positive, even, convex, one-homogeneous gauge $K_t=K\sim tB$08, equivalently the support function of a convex body $K_t=K\sim tB$09: $K_t=K\sim tB$10 For a convex body $K_t=K\sim tB$11 with outer unit normal $K_t=K\sim tB$12, the $K_t=K\sim tB$13-anisotropic perimeter is

$K_t=K\sim tB$14

and the associated anisotropic isoperimetric quotient is

$K_t=K\sim tB$15

The principal inequality is the anisotropic inner-parallel perimeter bound

$K_t=K\sim tB$16

for every $K_t=K\sim tB$17, where $K_t=K\sim tB$18 is the inradius of $K_t=K\sim tB$19 (Crasta, 2021). The proof uses mixed volumes and Brunn–Minkowski concavity. With

$K_t=K\sim tB$20

one has $K_t=K\sim tB$21, $K_t=K\sim tB$22, and $K_t=K\sim tB$23. For each fixed $K_t=K\sim tB$24, the function

$K_t=K\sim tB$25

is concave in $K_t=K\sim tB$26. In particular,

$K_t=K\sim tB$27

is concave on $K_t=K\sim tB$28, vanishes at $K_t=K\sim tB$29, and therefore satisfies

$K_t=K\sim tB$30

which yields the perimeter bound after raising to the $K_t=K\sim tB$31-st power.

The same framework gives monotonicity of the anisotropic isoperimetric quotient along inward motion. Writing $K_t=K\sim tB$32, the right derivative is computed as

$K_t=K\sim tB$33

An equivalent level-set viewpoint uses the dual gauge $K_t=K\sim tB$34 and the anisotropic distance

$K_t=K\sim tB$35

so that $K_t=K\sim tB$36 evolves formally by the Hamilton–Jacobi equation

$K_t=K\sim tB$37

The paper also lists applications to quantitative bounds on eigenvalues of Dirichlet–Laplace operators on convex domains, geometric inequalities in convex analysis, and modeling of abrasion and shape evolution in materials science.

6. Quermassintegrals, form bodies, and corrected monotonicity results

A further development studies inner parallel bodies relative to a fixed convex body $K_t=K\sim tB$38 with interior. The relative inradius is

$K_t=K\sim tB$39

and for $K_t=K\sim tB$40,

$K_t=K\sim tB$41

Equivalently,

$K_t=K\sim tB$42

For outer parallels, the relative Steiner polynomial is

$K_t=K\sim tB$43

where $K_t=K\sim tB$44 are the relative quermassintegrals. Re-indexing yields for the inner parallels

$K_t=K\sim tB$45

Thus each $K_t=K\sim tB$46 is a polynomial in $K_t=K\sim tB$47 of degree $K_t=K\sim tB$48 (Cifre et al., 2019).

The corresponding isoperimetric quotient and deficit are

$K_t=K\sim tB$49

for $K_t=K\sim tB$50. The corrected theory emphasizes that earlier monotonicity arguments depended on a relation between form bodies that fails in general.

The form body relative to $K_t=K\sim tB$51 is defined using the set $K_t=K\sim tB$52 of extreme normal directions: $K_t=K\sim tB$53 Under the technical condition

$K_t=K\sim tB$54

one obtains the inclusion

$K_t=K\sim tB$55

and from this the revised theorem that

$K_t=K\sim tB$56

is non-increasing on $K_t=K\sim tB$57.

A second route uses the classes $K_t=K\sim tB$58, defined by the differentiability identities

$K_t=K\sim tB$59

It is known that

$K_t=K\sim tB$60

and smooth strictly convex bodies belong to $K_t=K\sim tB$61. If $K_t=K\sim tB$62, then $K_t=K\sim tB$63 is non-increasing on $K_t=K\sim tB$64; if $K_t=K\sim tB$65, then $K_t=K\sim tB$66 is non-decreasing there. For the classical case $K_t=K\sim tB$67, the deficit

$K_t=K\sim tB$68

is non-decreasing on $K_t=K\sim tB$69 without any extra boundary condition.

The same paper gives both positive and negative examples. Smooth strictly convex bodies satisfy the required conditions. Tangential bodies of $K_t=K\sim tB$70 obey

$K_t=K\sim tB$71

so all corresponding quotients and deficits are constant. By contrast, there exists a three-dimensional polytope $K_t=K\sim tB$72 with

$K_t=K\sim tB$73

showing that the form-body inclusion may fail and that the earlier monotonicity proof breaks down without the added hypotheses.

7. Rotation-based extraction of parallelograms and squares

A distinct planar construction, presented as an “interior-parallels” tutorial, starts from any quadrilateral

$K_t=K\sim tB$74

with $K_t=K\sim tB$75 denoting one-half of the interior angle at $K_t=K\sim tB$76. At each vertex, let

$K_t=K\sim tB$77

Because

$K_t=K\sim tB$78

the compositions $K_t=K\sim tB$79 and $K_t=K\sim tB$80 are half-turns and therefore involutions with unique fixed points. More generally, for any permutation $K_t=K\sim tB$81 of $K_t=K\sim tB$82, one sets

$K_t=K\sim tB$83

The first-pass quadrilateral

$K_t=K\sim tB$84

is always a parallelogram (Godard, 2012). The key identity is

$K_t=K\sim tB$85

obtained from the fact that the product of two half-turns through centers $K_t=K\sim tB$86 is the translation by twice the vector $K_t=K\sim tB$87. The same symmetry argument produces six such first-pass parallelograms.

If the original quadrilateral is itself a parallelogram, then

$K_t=K\sim tB$88

Using the vector formulas

$K_t=K\sim tB$89

and

$K_t=K\sim tB$90

one finds

$K_t=K\sim tB$91

Thus two adjacent sides of $K_t=K\sim tB$92 have equal length and meet at a right angle; since $K_t=K\sim tB$93 is already a parallelogram, it is a square. In this sense, one application of the method extracts a parallelogram from any quadrilateral, and a second application extracts a square from that parallelogram.

Taken together with the Euclidean and convex-geometric cases, this planar construction shows that the label interior parallels can attach to rather different procedures. What they share is not a single formalism but a recurrent strategy: interior angle or inward-offset data are organized so as to recover a global geometric figure or inequality.