Reciprocal Additivity (Optic Equation)¶
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,
The equation is called the optic equation in number theory when \(a\), \(b\), and \(c\) are required to be positive integers. 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. In every case the inputs are first expressed on a reciprocal scale, those transformed contributions add, and inversion returns the effective quantity.
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. One parameterization is
with positive parameters and the usual coprimality normalization when uniqueness of the primitive description matters.
Clarity¶
Take \(a=6\) and \(b=3\). Then
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.
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.
Abstract Reasoning¶
For positive inputs, several deductions require no domain-specific facts. First,
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:
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?
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