Optic equation

In number theory, the optic equation is an equation that requires the sum of the reciprocals of two positive integers $a$ and $b$ to equal the reciprocal of a third positive integer $c$ :^[1]

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

Multiplying both sides by abc shows that the optic equation is equivalent to a Diophantine equation (a polynomial equation in multiple integer variables).

Solution

All solutions in integers $a, b, c$ are given in terms of positive integer parameters $m, n, k$ by^[1]

$a=km(m+n),\quad b=kn(m+n),\quad c=kmn$

where $m, n$ are coprime.

Appearances in geometry

The optic equation, permitting but not requiring integer solutions, appears in several contexts in geometry.

In a bicentric quadrilateral, the inradius $r$ , the circumradius $R$ , and the distance $x$ between the incenter and the circumcenter are related by Fuss' theorem according to

{\frac {1}{(R-x)^{2}}}+{\frac {1}{(R+x)^{2}}}={\frac {1}{r^{2}}},

and the distances of the incenter $I$ from the vertices $A, B, C, D$ are related to the inradius according to

{\frac {1}{IA^{2}}}+{\frac {1}{IC^{2}}}={\frac {1}{IB^{2}}}+{\frac {1}{ID^{2}}}={\frac {1}{r^{2}}}.

Crossed ladders. ${\tfrac {1}{h}}={\tfrac {1}{A}}+{\tfrac {1}{B}}.$

In the crossed ladders problem,^[2] two ladders braced at the bottoms of vertical walls cross at the height $h$ and lean against the opposite walls at heights of $A$ and $B$ . We have ${\tfrac {1}{h}}={\tfrac {1}{A}}+{\tfrac {1}{B}}.$ Moreover, the formula continues to hold if the walls are slanted and all three measurements are made parallel to the walls.

Let $P$ be a point on the circumcircle of an equilateral triangle $△ ABC$ , on the minor arc $AB$ . Let $a$ be the distance from $P$ to $A$ and $b$ be the distance from $P$ to $B$ . On a line passing through $P$ and the far vertex $C$ , let $c$ be the distance from $P$ to the triangle side $AB$ . Then^[3]^{: p. 172} ${\tfrac {1}{a}}+{\tfrac {1}{b}}={\tfrac {1}{c}}.$

In a trapezoid, draw a segment parallel to the two parallel sides, passing through the intersection of the diagonals and having endpoints on the non-parallel sides. Then if we denote the lengths of the parallel sides as $a$ and $b$ and half the length of the segment through the diagonal intersection as $c$ , the sum of the reciprocals of $a$ and $b$ equals the reciprocal of $c$ .^[4]

The special case in which the integers whose reciprocals are taken must be square numbers appears in two ways in the context of right triangles. First, the sum of the reciprocals of the squares of the altitudes from the legs (equivalently, of the squares of the legs themselves) equals the reciprocal of the square of the altitude from the hypotenuse. This holds whether or not the numbers are integers; there is a formula (see here) that generates all integer cases.^[5]^[6] Second, also in a right triangle the sum of the squared reciprocal of the side of one of the two inscribed squares and the squared reciprocal of the hypotenuse equals the squared reciprocal of the side of the other inscribed square.

The sides of a heptagonal triangle, which shares its vertices with a regular heptagon, satisfy the optic equation.

Other appearances

Thin lens equation

For a lens of negligible thickness, and focal length $f$ , the distances from the lens to an object, $S 1$ , and from the lens to its image, $S 2$ , are related by the thin lens formula:

{\frac {1}{S_{1}}}+{\frac {1}{S_{2}}}={\frac {1}{f}}.

Electrical engineering

Components of an electrical circuit or electronic circuit can be connected in what is called a series or parallel configuration. For example, the total resistance value $R t$ of two resistors with resistances $R 1$ and $R 2$ connected in parallel follows the optic equation:

{\frac {1}{R_{1}}}+{\frac {1}{R_{2}}}={\frac {1}{R_{t}}}.

Similarly, the total inductance $L t$ of two inductors with inductances $L 1, L 2$ connected in parallel is given by:

{\frac {1}{L_{1}}}+{\frac {1}{L_{2}}}={\frac {1}{L_{t}}},

and the total capacitance $C t$ of two capacitors with capacitances $C 1, C 2$ connected in series is as follows:

{\frac {1}{C_{1}}}+{\frac {1}{C_{2}}}={\frac {1}{C_{t}}}.

Paper folding

The optic equation of the crossed ladders problem can be applied to folding rectangular paper into three equal parts. One side (the left one illustrated here) is partially folded in half and pinched to leave a mark. The intersection of a line from this mark to an opposite corner, with a diagonal is exactly one third from the bottom edge. The top edge can then be folded down to meet the intersection.^[7]

Harmonic mean

The harmonic mean of $a$ and $b$ is ${\tfrac {2}{{\frac {1}{a}}+{\frac {1}{b}}}}$ or $2 c$ . In other words, $c$ is half the harmonic mean of $a$ and $b$ .

Relation to Fermat's Last Theorem

Fermat's Last Theorem states that the sum of two integers each raised to the same integer power $n$ cannot equal another integer raised to the power $n$ if $n > 2$ . This implies that no solutions to the optic equation have all three integers equal to perfect powers with the same power $n > 2$ . For if ${\tfrac {1}{x^{n}}}+{\tfrac {1}{y^{n}}}={\tfrac {1}{z^{n}}},$ then multiplying through by $(xyz)^{n}$ would give $(yz)^{n}+(xz)^{n}=(xy)^{n},$ which is impossible by Fermat's Last Theorem.

References

^ ^a ^b Dickson, L. E., History of the Theory of Numbers, Volume II: Diophantine Analysis, Chelsea Publ. Co., 1952, pp. 688–691.
^ Gardner, M. Mathematical Circus: More Puzzles, Games, Paradoxes and Other Mathematical Entertainments from Scientific American. New York: Knopf, 1979, pp. 62–64.
^ Posamentier, Alfred S., and Salkind, Charles T., Challenging Problems in Geometry, Dover Publ., 1996.
^ GoGeometry, [1], Accessed 2012-07-08.
^ Voles, Roger (July 1999), "83.27 Integer solutions of $a^{-2}+b^{-2}=d^{-2}$ ", The Mathematical Gazette, 83 (497): 269–271, doi:10.2307/3619056, JSTOR 3619056
^ Richinick, Jennifer (July 2008), "92.48 The upside-down Pythagorean theorem", The Mathematical Gazette, 92 (524): 313–316, doi:10.1017/s0025557200183275, JSTOR 27821792
^ Meyer, Daniel; Meyer, Jeanine; Meyer, Aviva (March 2000), "Teaching mathematical thinking through origami", Academic.Writing: Interdisciplinary Perspectives on Communication Across the Curriculum, 1 (9), doi:10.37514/awr-j.2000.1.9.41; see in particular section "Dividing into thirds"

[Dickson-1] Dickson, L. E., History of the Theory of Numbers, Volume II: Diophantine Analysis, Chelsea Publ. Co., 1952, pp. 688–691.

[2] Gardner, M. Mathematical Circus: More Puzzles, Games, Paradoxes and Other Mathematical Entertainments from Scientific American. New York: Knopf, 1979, pp. 62–64.

[Posamentier-3] Posamentier, Alfred S., and Salkind, Charles T., Challenging Problems in Geometry, Dover Publ., 1996.

[4] GoGeometry, [1], Accessed 2012-07-08.

[5] Voles, Roger (July 1999), "83.27 Integer solutions of $a^{-2}+b^{-2}=d^{-2}$ ", The Mathematical Gazette, 83 (497): 269–271, doi:10.2307/3619056, JSTOR 3619056

[Richinik-6] Richinick, Jennifer (July 2008), "92.48 The upside-down Pythagorean theorem", The Mathematical Gazette, 92 (524): 313–316, doi:10.1017/s0025557200183275, JSTOR 27821792

[7] Meyer, Daniel; Meyer, Jeanine; Meyer, Aviva (March 2000), "Teaching mathematical thinking through origami", Academic.Writing: Interdisciplinary Perspectives on Communication Across the Curriculum, 1 (9), doi:10.37514/awr-j.2000.1.9.41; see in particular section "Dividing into thirds"

[1]

[2]

[3]

[4]

[5]

[6]

[7]