Reciprocal Additivity (Optic Equation)¶

Version: v2 · 2026-09-01 · History
Prime #: 1493
Origin domain: Mathematics
Also from: Physics, Engineering & Design
Aliases: Reciprocal-additive relation, Optic equation
Related primes: prime:relation, prime:inversion, prime:ratio

Core Idea¶

Reciprocal additivity is the relation in which two or more nonzero input magnitudes combine into a result whose reciprocal equals the sum of their reciprocals. For two inputs,

\[ \frac{1}{a}+\frac{1}{b}=\frac{1}{c}. \]

The equation is called the optic equation in number theory when \(a\), \(b\), and \(c\) are required to be positive integers.^[1] The prime retains the more general role structure because the identical transform–add–invert relation governs thin-lens imaging, equivalent resistance of parallel branches, and equivalent capacitance of series elements.^[2]^[3]^[4] In every case the inputs are first expressed on a reciprocal scale, those transformed contributions add, and inversion returns the effective quantity.

For positive \(a\) and \(b\), the result is

\[ c=\frac{ab}{a+b}. \]

Consequently \(c\) is smaller than either input. This is not an accidental feature of one application: it follows directly from positive reciprocal additivity. Domain sign conventions can change that inequality, however. Virtual-image distances in optics can be signed, for example, so the general prime requires nonzero denominators but does not impose universal positivity.

Structural Signature¶

Recognition roles:

Nonzero inputs: magnitudes \(a_1,\ldots,a_n\) for which reciprocals exist.
Reciprocal transform: each input is mapped to \(1/a_i\).
Additive transformed domain: the reciprocal contributions are summed without cross terms.
Effective result: a magnitude \(c\) is defined by \(1/c=\sum_i1/a_i\).
Inverse return: the summed reciprocal is inverted to recover the result in the original units.
Role-preserving interpretation: inputs and result are quantities of the same dimensional kind in the application.
Local admissibility: positivity, orientation, sign, integrality, finiteness, or network assumptions remain stated by the domain.
Diagnostic inequality: for positive finite inputs, the result must be positive and strictly smaller than the smallest input when at least two terms are present.

A candidate passes the recognition test only if all three places are present: input reciprocals, their additive constraint, and the reciprocal result. Merely taking a reciprocal is insufficient. So is merely adding quantities. A harmonic mean is related but includes an additional factor: for two inputs \(H=2ab/(a+b)=2c\), whereas reciprocal additivity yields \(c=ab/(a+b)\).

What It Is Not¶

Reciprocal Additivity is not a universal law saying that all parallel objects combine this way. Parallel resistances do; parallel capacitances add directly. Series capacitances use reciprocal additivity, while series resistances add directly.^[3]^[4] The physical topology and constitutive law determine which parameter becomes additive.

It is not the accepted Inversion prime by itself. Inversion describes reversal of a relation or structure; the present abstraction requires a particular quantitative invariant after reciprocal transformation. It is not Aggregation in the catalog's many-to-one, information-discarding sense: although several inputs produce one effective value, the defining identity is algebraic and can be checked without interpreting the operation as a summary. It is not Ratio, because no numerator-to-reference comparison alone entails a sum of reciprocal inputs.

The number-theoretic optic equation is one constrained realization, not the whole prime. Conversely, a Diophantine equation of another form is not reciprocal additivity. The prime also does not collapse the thin-lens equation, parallel-circuit derivation, or integer parameterization into one causal explanation. It transfers the relation and its diagnostics, not the domain mechanism that makes the relation true.

Broad Use¶

In number theory, the optic equation asks for positive integers satisfying \(1/a+1/b=1/c\). Clearing denominators gives \(ab=c(a+b)\), a Diophantine equation. Dickson records the family in his history of Diophantine analysis.^[1] One parameterization is

\[ a=k m(m+n),\qquad b=k n(m+n),\qquad c=k mn, \]

with positive parameters and the usual coprimality normalization when uniqueness of the primitive description matters.

In geometrical optics, the reciprocal thin-lens equation is \(1/f=1/d_o+1/d_i\), relating focal length to object and image distance under the thin-lens approximation and a declared sign convention.^[2] Here \(d_o\) and \(d_i\) are the two inputs and \(f\) occupies the effective-result role.

In electrical networks, resistors in parallel satisfy \(1/R_{\mathrm{eq}}=\sum_i1/R_i\). OpenStax derives the formula from common branch voltage, Ohm's law, and conservation of current.^[3] Series capacitors satisfy the same role mapping, \(1/C_{\mathrm{eq}}=\sum_i1/C_i\), under their corresponding charge-and-voltage relations.^[4]

These domains are materially distinct: integer solution theory, image formation, resistive current division, and capacitive charge storage. The same variables do not denote the same physical thing, but reciprocal transformation, addition, inverse return, and positive-input diagnostics recur literally.

Clarity¶

Take \(a=6\) and \(b=3\). Then

\[ \frac{1}{c}=\frac{1}{6}+\frac{1}{3}=\frac{1}{2}, \qquad c=2. \]

As an integer optic equation, \((6,3,2)\) is a solution. As a circuit calculation, parallel resistors of \(6\,\Omega\) and \(3\,\Omega\) have equivalent resistance \(2\,\Omega\). As a positive-distance thin-lens calculation, an object distance of 6 units and image distance of 3 units correspond to a focal length of 2 units under the applicable sign convention. The numerical tuple is identical; the mechanisms and admissibility conditions are not.

The reciprocal domain explains why the combination looks nonlinear in the original units. Define \(u_i=1/a_i\). Then \(u_c=\sum_i u_i\) is ordinary addition. The apparent nonlinearity arises only when the effective reciprocal is inverted back to \(c\).

Manages Complexity¶

The prime compresses a recurring calculation into one reusable schema. A reader does not have to memorize each two-input formula \(ab/(a+b)\) as an isolated identity. The \(n\)-input form follows immediately, repeated combination is associative in the reciprocal domain, and limit behavior is transparent. Adding another positive input increases the reciprocal sum and therefore decreases the effective result.

The abstraction also exposes common errors. Directly adding parallel resistances, forgetting the final inversion, or confusing the result with the harmonic mean can be diagnosed by role. Dimensional checking becomes easy: every reciprocal term must have the same inverse unit, and inversion must restore the input unit. If one purported term carries incompatible dimensions, the relation has been misapplied.

Compression does not replace domain derivation. The thin-lens equation depends on a paraxial, thin-lens model; the circuit equations depend on network arrangement and element behavior; integer optic equations impose arithmetic restrictions absent from physical calculations. Keeping those assumptions local prevents a shared algebraic skeleton from becoming a false universal mechanism.

Abstract Reasoning¶

For positive inputs, several deductions require no domain-specific facts. First,

\[ \frac{1}{c}=\sum_i\frac{1}{a_i}>\frac{1}{a_j} \]

for every component \(a_j\) when at least two finite positive terms occur, hence \(c<a_j\). Second, scaling all inputs by a positive factor \(\lambda\) scales the result by the same factor:

\[ c(\lambda a_1,\ldots,\lambda a_n)=\lambda c(a_1,\ldots,a_n). \]

Third, the operation is commutative and associative because addition is commutative and associative after reciprocal transformation. Fourth, making any positive input larger decreases its reciprocal contribution and therefore increases the effective result toward the combination of the remaining inputs.

For two positive inputs, \(c=ab/(a+b)\). This is half their harmonic mean, not their harmonic mean. If signed inputs are admitted, cancellation may make the reciprocal sum zero, corresponding to no finite result. Those edge cases are meaningful only when the domain's sign and infinity conventions license them.

Knowledge Transfer¶

Transfer should preserve roles rather than surface words. To move from a circuit to optics, map branch resistances to object and image distances, equivalent resistance to focal length, conductances to reciprocal distances, and current-sum arithmetic to the lens model's reciprocal constraint. The last mapping is algebraic, not causal: electrical current conservation does not explain refraction.

Three diagnostic questions travel safely. Are all denominators nonzero? Do the reciprocal terms carry compatible units? Under positive inputs, is the result below every input? The scaling and monotonicity deductions also transfer. Sign conventions, physical approximations, admissible integer solutions, and interpretations of a divergent result do not transfer automatically.

This distinction makes the prime useful. It lets one recognize a familiar structure and reuse its algebra without asserting that a lens, a resistor network, and a Diophantine equation are the same system.

Examples¶

Number-theoretic solution. \((a,b,c)=(6,3,2)\) satisfies the optic equation. Clearing denominators verifies \(18=2(9)\).
Equal inputs. If \(a=b=r>0\), then \(c=r/2\). Two equal parallel resistors therefore halve resistance; two equal positive reciprocal inputs likewise halve the effective magnitude.
Thin lens. \(d_o=30\,\mathrm{cm}\) and \(d_i=60\,\mathrm{cm}\) give \(1/f=1/30+1/60=1/20\,\mathrm{cm}^{-1}\), so \(f=20\,\mathrm{cm}\).^[2]
Parallel resistance. \(R_1=4\,\Omega\) and \(R_2=12\,\Omega\) give \(R_{\mathrm{eq}}=3\,\Omega\), below the smaller branch resistance.^[3]
Series capacitance. \(C_1=1\,\mu\mathrm{F}\) and \(C_2=5\,\mu\mathrm{F}\) give \(C_{\mathrm{eq}}=5/6\,\mu\mathrm{F}\), below either component.^[4]
Harmonic-mean nonexample. The harmonic mean of 6 and 3 is 4, whereas their reciprocal-additive result is 2.
Direct-addition nonexample. Two resistors in series add as \(R_1+R_2\); they do not instantiate this prime merely because an effective value is computed.

Structural Tensions¶

Shared equation versus different mechanism. Literal algebraic recurrence invites causal overreach. Diagnostic: transfer the roles and consequences of the equation, but require a separate domain derivation.
Positive diagnostic versus signed convention. The result-below-input rule is powerful but fails when signed quantities cancel. Diagnostic: state positivity and sign conventions before applying inequalities.
Effective value versus arithmetic average. The result resembles a harmonic aggregate but differs by a factor equal to the number of inputs. Diagnostic: calculate \(1/c=\sum_i1/a_i\) rather than selecting a named mean by resemblance.
Compact two-input formula versus scalable relation. \(ab/(a+b)\) is convenient but hides the \(n\)-ary structure. Diagnostic: move to the reciprocal domain before adding more inputs.
Prime autonomy versus component operations. Reciprocal transformation and addition are familiar separately. Diagnostic: require their fixed input–result role composition plus recurring transferred deductions; isolated inversion or summation does not qualify.

Structural–Framed Character¶

Reciprocal Additivity sits at the pure structural pole of the structural–framed spectrum — unanimous zeros on all five criteria. The prime is a bare arithmetic identity: quantities that combine by the rule one-over-a plus one-over-b equals one-over-c, the transform-add-invert structure in which the reciprocal, not the quantity itself, is the additive parameter.

Every criterion reads clean. The vocabulary is the formula's own role names — no optics lexicon needs to travel for the identity to apply to parallel resistors or series capacitors, and none does. There is no valence: nothing is better for combining reciprocally. The origin is mathematics, whatever the "optic equation" label commemorates. No agent, convention, or institution is presupposed — lenses focused light this way before anyone wrote the thin-lens equation, and parallel conductances summed before Ohm. And application is recognition in its strictest sense: the question is always whether a domain's constitutive law already makes the reciprocal the thing that adds, which the physics settles before the analyst arrives. A textbook case of one structure wearing different costumes across domains.

Substrate Independence¶

Domain breadth: 4/4. The relation occurs in Diophantine number theory, geometrical optics, resistive networks, and capacitive networks.^[1]^[2]^[3]^[4]
Structural abstraction: 4/4. Nonzero inputs, reciprocal transform, additive constraint, effective result, and inverse return specify the identity without one substrate.
Transfer evidence: 4/4. Scaling, positive monotonicity, the below-each-input bound, dimensional checking, and \(n\)-ary extension recur literally.
Survival under substrate replacement: 4/4. Replacing integers with distances, resistances, or capacitances preserves the formal roles even though the derivation changes.

Composite score: 16/16. This is not a broad metaphor about “inverse relationships.” The exact relation and its reasoning licenses survive across at least three materially distinct domains.

Relationships to Other Abstractions¶

Current abstraction Reciprocal Additivity (Optic Equation) Prime

Parents (1) — more general patterns this builds on

Reciprocal Additivity (Optic Equation) is a kind of Relation Prime

The accepted reference-grade review places Reciprocal Additivity (Optic Equation) under Relation because the child instantiates or depends on the parent's broader structure while retaining its own constitutive identity.

Hierarchy path (1) — routes to 1 parentless root

Reciprocal Additivity (Optic Equation) → Relation

Neighborhood in Abstraction Space¶

Reciprocal Additivity (Optic Equation) sits in a sparse region of abstraction space (79^th percentile for distinctiveness): few abstractions share its structure, so a faithful description tends to retrieve it precisely rather than landing on a neighbor.

Family — Signal Gain, Feedback & Control Dynamics (24 primes)

Nearest neighbors

Symmetric Response to Asymmetric State — 0.71
Distortion — 0.70
Coaxiality — 0.69
Linearity — 0.69
Conjugate-Observable Complementarity — 0.69

Computed from structural-signature embeddings · 2026-09-10

Not to Be Confused With¶

Optic equation: the positive-integer Diophantine realization and historical source surface; it is an alias only when the broader role is made explicit.
Inversion: a general reversal operation, not the fixed reciprocal-sum constraint.
Aggregation: cataloged as information-reducing many-to-one summary construction, not arithmetic reciprocal composition.
Ratio: an ordered quotient relative to a reference; it does not require adding reciprocal inputs.
Harmonic mean: the reciprocal of the arithmetic mean of reciprocals, equal to \(n\) times the reciprocal-additive result for \(n\) inputs.
Parallel sum: a closely related operator notation, often \(a:b=(a^{-1}+b^{-1})^{-1}\); terminology and operator domains vary.
Thin-lens equation: a domain law with approximation and sign conventions that instantiates the prime.
Series and parallel circuits: topology plus constitutive laws determines whether resistance or capacitance instantiates reciprocal rather than direct additivity.
Egyptian fraction: represents a rational number as a sum of unit fractions; the optic equation is one three-place equality within that wider subject.

Solution Archetypes¶

No catalogued solution archetypes reference this prime yet.

References¶

[1] Leonard Eugene Dickson, History of the Theory of Numbers, Volume II: Diophantine Analysis (Carnegie Institution of Washington, 1920), especially the reciprocal-equation material on pp. 688–691, https://archive.org/details/historyoftheoryo02dick. registry ↩a ↩b ↩c

[2] Samuel J. Ling, Jeff Sanny, and William Moebs, University Physics, Volume 3, §2.4 “Thin Lenses” (OpenStax, 2016), https://openstax.org/books/university-physics-volume-3/pages/2-4-thin-lenses. registry ↩a ↩b ↩c ↩d

[3] Paul Peter Urone and Roger Hinrichs, Physics, §19.3 “Parallel Circuits” (OpenStax, 2020), equations 19.21–19.28, https://openstax.org/books/physics/pages/19-3-parallel-circuits. registry ↩a ↩b ↩c ↩d ↩e

[4] Samuel J. Ling, Jeff Sanny, and William Moebs, University Physics, Volume 2, §8.2 “Capacitors in Series and in Parallel” (OpenStax, 2016), https://openstax.org/books/university-physics-volume-2/pages/8-2-capacitors-in-series-and-in-parallel. registry ↩a ↩b ↩c ↩d ↩e