OEIS/Engel expansion: Difference between revisions

From tehowiki
Jump to navigation Jump to search
imported>Gfis
No edit summary
imported>Gfis
fertig
Line 19: Line 19:
Georg Cantor remarked already in 1869 in the ''[http://opacplus.bsb-muenchen.de/title/3084944/ft/bsb10594443?page=160 Zeitschrift für Mathematik und Physik]'' that each positive number <math>\alpha > 1</math> allows for a uniquely defined product expansion
Georg Cantor remarked already in 1869 in the ''[http://opacplus.bsb-muenchen.de/title/3084944/ft/bsb10594443?page=160 Zeitschrift für Mathematik und Physik]'' that each positive number <math>\alpha > 1</math> allows for a uniquely defined product expansion
:<math>\alpha=a(1+\frac{1}{q_1})(\frac{1}{q_2})\cdots</math>
:<math>\alpha=a(1+\frac{1}{q_1})(\frac{1}{q_2})\cdots</math>
in which the <math>q_n</math> are determined iteratively in the same way as described above. Here <math>q_{v+1} = {q_{v}}^2 - 1</math> must hold, and <math>\alpha</math> is rational if and only ifm beginning at a certain <math>q_n</math>, always <math>q_{n+v+1} = {q_{n+v}}^2 </math> holds. The simple generation of product expansions which Cantor found for certain numbers like <math>\sqrt{2}, \sqrt{3}</math> etc. is based on the fact that for each positive number <math>q > 1</math>:
in which the <math>q_n</math> are determined iteratively in the same way as described above. Here <math>q_{v+1} = {q_{v}}^2 - 1</math> must hold, and <math>\alpha</math> is rational if and only if, beginning at a certain <math>q_n</math>, always <math>q_{n+v+1} = {q_{n+v}}^2 </math> holds. The simple generation of product expansions which Cantor found for certain numbers like <math>\sqrt{2}, \sqrt{3}</math> etc. is based on the fact that for each positive number <math>q > 1</math>:
 
:<math>\sqrt{\frac{q+1}{q-1}} = (1+\frac{1}{q_1})(1+\frac{1}{q_1})\cdots</math>
where ... . The ansatz
where <math>q_1=q</math> and <math>q_{v+1}=2 q_v^2 -1</math>. The ansatz
 
:<math>\frac{q+1}{q-1}} = (1+\frac{1}{q}^2)\alpha_1</math>
leads to:
leads to:
 
:<math>\alpha_1 = \frac{q^2}{q^2-1}} = \frac{2 q^2 - 1 + 1}{2q^2-1-1}<math>.
In the product expansion of the square root of an arbitrary rational number there will, beginning at a certain qn , always hold ..., but the proof of that seems not to be so easy.
In the product expansion of the square root of an arbitrary rational number there will, beginning at a certain <math>q_n</math>, always hold <math>q_{n+v+1} = 2{q_{n+v}}^2 - 1</math>, but the proof for that seems not to be so easy.


Prof. Epstein (Straßburg), privy counsil Hensel (Marburg) and Prof. Dr. Edler (Halle) participated in the discussion.
Prof. Epstein (Straßburg), privy counsil Hensel (Marburg) and Prof. Dr. Edler (Halle) participated in the discussion.

Revision as of 13:50, 12 April 2018

English translation of Friedrich Engel's speech: Entwicklung der Zahlen nach Stammbrüchen. Verhandlungen der 52. Versammlung Deutscher Philologen und Schulmänner, 1913, Marburg, pp. 190-191

Expansion of the numbers by unit fractions

Thereafter Prof. Dr. Engel (Gießen) rose to speak about Expansion of the numbers by unit fractions. The speaker explains:

For each positive number there is a uniquely defined series expansion

,

where represent integer numbers and where , while the numbers are determined iteratively by the requirement that always

must hold. One finds that must hold and that vice versa each infinite series of the form shown above which fulfills this requirement is convergent. A number is rational if and only if, beginning at a certain , always

holds.

In the same way can be developped:

.

Now is rational if and only, if beginning at a certain , always holds. For this leads to the known series expansion, and at the same time to a simple proof of the irrationality of . By the way the same holds for each power , where is a positive integer number.

Georg Cantor remarked already in 1869 in the Zeitschrift für Mathematik und Physik that each positive number allows for a uniquely defined product expansion

in which the are determined iteratively in the same way as described above. Here must hold, and is rational if and only if, beginning at a certain , always holds. The simple generation of product expansions which Cantor found for certain numbers like etc. is based on the fact that for each positive number :

where and . The ansatz

Failed to parse (syntax error): {\displaystyle \frac{q+1}{q-1}} = (1+\frac{1}{q}^2)\alpha_1}

leads to:

Failed to parse (syntax error): {\displaystyle \alpha_1 = \frac{q^2}{q^2-1}} = \frac{2 q^2 - 1 + 1}{2q^2-1-1}<math>. In the product expansion of the square root of an arbitrary rational number there will, beginning at a certain <math>q_n} , always hold , but the proof for that seems not to be so easy.

Prof. Epstein (Straßburg), privy counsil Hensel (Marburg) and Prof. Dr. Edler (Halle) participated in the discussion.

The remark of Prof. Epstein (Straßburg) should be mentioned. He notes how, by a minor modification of the method, Cantor's product expansion as well as the expansion by unit fractions stops for the case of a rational number.

The speaker replied that this also follows from his expansions, but that he emphasizes to get an infinite expansion in any case.