这是用户在 2025-5-4 22:17 为 https://app.immersivetranslate.com/pdf-pro/85e6fcc5-1daa-4b86-8810-22b9c82c78d9/ 保存的双语快照页面,由 沉浸式翻译 提供双语支持。了解如何保存?
bildung im Kebnekaise-Gebiet hat Quensel 1 1 ^(1){ }^{1} ) darauf hingewiesen, dass - auch wenn die Umkristallisation über die Kataklase überwiegt - zuerst die mechanische Zertrümmerung sich vollzogen hat und dass erst später Umkristallisationserscheinungen diese Struktur mehr oder weniger verhüllt haben. Es ist verständlich, dass in seinen Orthohartschiefern erst die Verkleinerung des Korns und die Ausbildung der Schieferung die Zirkulation der Lösungen erleichtern musste, bevor die Umkristallisation rich rig vor sich gehen konnte. In den untersuchten Hartschiefern vom Abiskojokk sind kataklastische Erscheinungen verhältnismässig selten. In den. grobkörnigen Quarz-Feldspat-Einlagerungen sind sie deutlich entwickelt. Es ist möglich, dass durch ein ursprünglich feineres Korn und eine ursprüngliche Schichtung die Umkristallisation beschleunigt wurde und in vielen Gesteinen die kataklastischen Stadien in geringerem Masz als im Kebnekaise-Gebiet oder gar nicht durchlaufen wurden.
Kebnekaise 地区的形成,Quensel 1 1 ^(1){ }^{1} )指出,尽管变晶作用优于破裂作用,但最初是机械破碎发生,随后变晶现象或多或少地掩盖了这一结构。可以理解的是,在其正硬片岩中,首先是晶粒的细化和片理的形成促进了溶液的循环,随后变晶作用才能顺利进行。在所研究的 Abiskojokk 硬片岩中,破裂现象相对较少。在粗粒的石英-长石夹杂物中,这些现象表现得较为明显。可能由于原始晶粒较细且存在原始层理,变晶作用得以加速,许多岩石中的破裂阶段比 Kebnekaise 地区少,甚至未经历。

Zusammenfassung.  摘要。

Wie in den östlichen Randgebieten kommen auch im westlichen Teil des Gebirges südlich vom Torne Träsk rein klastische Gesteine - vorwiegend Arkosen und Schiefer - zwischen den Hochgebirgsbildungen und dem Grundgebirge eingelagert vor 2 2 ^(2){ }^{2} ). Die epi-bis mesometamorphen Hartschiefer liegen höher als die rein klastischen Gesteine. Bewegung und Kristallisation weisen auf eine kaledonische Dynamometamorphose, die während der Bildung der Ueberschiebungen in Zonen starker Bewegung stattfand. Die Kennzeichen der Hartschiefer weisen auf eine hauptsächlich parakristalline Deformation von einer z. T. aus Sandsteinen und Arkosen bestehenden. Schichtserie, und es ist möglich, dass vom Anfang der Metamorphose an die Kristallisationsgeschwindigkeit in Hauptsache gleich oder grösser war als die Deformationsgeschwindigkeit. Ein einigermassen bedeutender Altersunterschied zwischen den sedimentären Hartschiefern und den rein klastischen Sedimenten kann aus dem metamorphen Charakter der von uns untersuchten Hartschiefer nicht abgeleitet werden.
正如在东部边缘地区一样,在 Torne Träsk 以南的山脉西部,也存在纯碎屑岩石——主要是长英质砂岩和页岩——夹在高山地层和基底岩之间( 2 2 ^(2){ }^{2} )。上变质至中变质的硬页岩位于纯碎屑岩石之上。运动和结晶表明发生了加里东动力变质作用,这种变质作用发生在强烈运动带中的推覆体形成期间。硬页岩的特征表明其主要经历了副晶质变形,岩层部分由砂岩和长英质砂岩组成。并且有可能从变质作用开始时,结晶速度基本上等于或大于变形速度。根据我们所研究的硬页岩的变质特征,无法推断沉积硬页岩与纯碎屑沉积物之间存在显著的年龄差异。
In einem Teil der, durch prä- bis parakristalline Deformation gekennzeichneten, überschobenen Glimmerschiefer am Ostabhang des Nuolja kann eine ältere und eine jüngere Metamorphose unterschieden werden. Die jüngere ist - wie die der Hartschiefer - eine kaledonische Dynamometamorphose. Sie hat hier destruktiv gewirkt und hat manchen Gestei nen ein ,jüngeres" Aussehen verliehen. Die ältere Metamorphose kann in den von uns untersuchten Gesteinen zeitlich nicht genau festgelegt werden; sie kann kaledonisch oder alter sein. In vielen Gebirgen sind die metamorphen Gesteine durch petrographische Vergleiche vielfach für älter
在努奥尔贾东坡一部分由前晶至准晶变形特征的推覆云母片岩中,可以区分出较早和较晚的变质作用。较晚的变质作用——如硬片岩的变质作用——是一种加里东动力变质作用。它在这里起到了破坏作用,使许多岩石呈现出“较年轻”的外观。较早的变质作用在我们研究的岩石中时间上无法精确确定;它可能是加里东期的或更早的。在许多山脉中,通过岩石学比较,变质岩常被认为比实际年龄更老。
gehalten als sie in Wirklichkeit sind. Sie sind allmählich in höhere stratigraphische Horizonte hinaufgerückt. Aber umgekehrt können Gesteine durch retrograde Metamorphose jüngeren Gesteinen petrographisch ähnlich werden. Die genaue Abschätzung des proportionalen Anteils der älteren konstruktiven und der jüngeren destruktiven Metamorphose in den Glimmerschiefern und Phylliten des Nuolja ist für die Tektonik dieses Gebiets von grosser Bedeutung.
它们逐渐上升到更高的地层地平面。但相反,通过逆变质作用,岩石在岩石学上可能与较年轻的岩石相似。准确估计努奥尔贾云母片岩和千枚岩中较早的构造性变质作用与较晚的破坏性变质作用的比例,对于该地区的构造学具有重要意义。

Mathematics. - Arithmetische Eigenschaften einer Klasse von Dezimal-
数学。——一类十进制数的算术性质—

brüchen von Kurt Mahler in Krefeld. (Communicated by Prof. J. G. van der Corput).
Kurt Mahler 在克雷费尔德的分数。(由 J. G. van der Corput 教授传达)。

(Communicated at the meeting of April 24, 1937).
(于 1937 年 4 月 24 日会议上传达)。

Da über die Dezimalbruchentwicklung der klassischen transzendenten Zahlen, z.B. e und π π pi\pi, auch heute noch fast nichts bekannt ist 1 1 ^(1){ }^{1} ), so hat es ein gewisses Interesse, spezielle Dezimalbrüche zu konstruieren, deren Transzendenz sich zeigen lässt, ohne trivial zu sein. Ich behandle hier Dezimalbrüche folgender Gestalt: Unter f ( k ) f ( k ) f(k)f(k) werde ein ganzwertiges nichtkonstantes Polynom verstanden, das für k 1 k 1 k >= 1k \geqslant 1 positiv ist und mit k k kk gegen + + +oo+\infty strebt. Alsdann bedeute σ σ sigma\sigma den Dezimalbruch, der entsteht, wenn hinter das Komma der Reihe nach nacheinander die dezimal dargestellten natürlichen Zahlen f ( 1 ) , f ( 2 ) , f ( 3 ) , f ( 1 ) , f ( 2 ) , f ( 3 ) , f(1),f(2),f(3),dotsf(1), f(2), f(3), \ldots hingeschrieben werden; z.B. wird also so dem Polynom f ( k ) = 1 2 ( k 2 + k ) f ( k ) = 1 2 k 2 + k f(k)=(1)/(2)(k^(2)+k)f(k)=\frac{1}{2}\left(k^{2}+k\right) der Dezimalbruch
关于经典超越数的小数展开,例如 e 和 π π pi\pi ,直到今天几乎一无所知 1 1 ^(1){ }^{1} ),因此构造一些特殊的小数,其超越性可以被证明且不平凡,具有一定的兴趣。我在这里处理以下形式的小数:在 f ( k ) f ( k ) f(k)f(k) 下,理解为一个整数值的非恒定多项式,该多项式对于 k 1 k 1 k >= 1k \geqslant 1 是正的,并且随着 k k kk 趋近于 + + +oo+\infty 。然后, σ σ sigma\sigma 表示这样一个小数:在小数点后依次写入以十进制表示的自然数 f ( 1 ) , f ( 2 ) , f ( 3 ) , f ( 1 ) , f ( 2 ) , f ( 3 ) , f(1),f(2),f(3),dotsf(1), f(2), f(3), \ldots ;例如,这样就将多项式 f ( k ) = 1 2 ( k 2 + k ) f ( k ) = 1 2 k 2 + k f(k)=(1)/(2)(k^(2)+k)f(k)=\frac{1}{2}\left(k^{2}+k\right) 关联到小数

0 , 13610152128364555667891105120 0 , 13610152128364555667891105120 0,13610152128364555667891105120 dots dots0,13610152128364555667891105120 \ldots \ldots.

zugeordnet. Für alle Zahlen σ σ sigma\sigma dieser Gestalt wird bewiesen:
。对于所有形如 σ σ sigma\sigma 的数,证明了:

, σ σ sigma\sigma ist transzendent, aber keine Liouville-Zahl."
σ σ sigma\sigma 是超越数,但不是李奥维尔数。

Ein ganz gleichlautendes Resultat gilt auch noch, wenn statt solcher Dezimalbrüche analog gebildete Brüche in bezug auf eine beliebige Zahlsystem-Basis q 2 q 2 q >= 2q \geqslant 2 betrachtet werden; darum wird in der vorliegenden Arbeit sogleich der Fall eines allgemeinen natürlichen q 2 q 2 q >= 2q \geqslant 2 zugrunde gelegt. Jedoch mache ich die Annahme, dass f ( x ) f ( x ) f(x)f(x) für alle reellen x 1 x 1 x >= 1x \geqslant 1 monoton im strengen Sinn zunimmt, weil dies die Betrachtungen wesentlich vereinfacht. Hierin liegt aber nur eine scheinbare Einschränkung; lässt man nämlich endlichviele Anfangsziffern von σ σ sigma\sigma fort, was auf eine ganze lineare Transformation von σ σ sigma\sigma mit rationalen Koeffizienten hinaus kommt, so ist diese Forderung für die Folge der Restziffern von selbst erfüllt.
如果不是这样的十进制小数,而是关于任意数制基数 q 2 q 2 q >= 2q \geqslant 2 类似构造的分数,也同样适用完全相同的结果;因此本文立即以一般自然数 q 2 q 2 q >= 2q \geqslant 2 的情况为基础。然而,我假设 f ( x ) f ( x ) f(x)f(x) 对所有实数 x 1 x 1 x >= 1x \geqslant 1 严格单调递增,因为这大大简化了讨论。但这只是表面上的限制;实际上,如果舍去 σ σ sigma\sigma 的有限多个初始数字,这相当于对 σ σ sigma\sigma 进行一个有理系数的全线性变换,那么对于剩余数字的序列,这一要求自然得到满足。
Der Beweis der beiden Aussagen über σ σ sigma\sigma beruht wesentlich auf einer
关于 σ σ sigma\sigma 的两个命题的证明主要基于一个事实。
auch an sich merkwürdigen Reihenentwicklung ( A A AA ) für diese Zahl. Indem man diese Reihe nach beliebig vielen Gliedern abbricht, erhält man eine Folge von Brüchen, die sehr schnell gegen σ σ sigma\sigma konvergieren. Die Nenner dieser Brüche sind bis auf einen Faktor geringerer Grössenordnung reine Potenzen von q q qq; mittels eines wichtigen neuen Satzes von Schneider kann hieraus die Transzendenz von σ σ sigma\sigma hergeleitet werden. Dass σ σ sigma\sigma keine Liouviles-Zah1 ist, ergibt sich schliesslich direkt aus einem Irrationalitätsmass ( B B BB ) für σ σ sigma\sigma, das leicht aus den Eigenschaften seiner Näherungsbrüche folgt.
对于这个数,也有一种本身就很奇特的级数展开( A A AA )。通过任意截断该级数的若干项,可以得到一列分数,这些分数非常快速地收敛到 σ σ sigma\sigma 。这些分数的分母除了一个较低阶的因子外,纯粹是 q q qq 的幂;利用施奈德(Schneider)的一条重要新定理,可以由此推导出 σ σ sigma\sigma 的超越性。最终, σ σ sigma\sigma 不是李乌维尔数这一点,直接由 σ σ sigma\sigma 的一个无理性度量( B B BB )得出,而该度量很容易从其近似分数的性质中推导出来。
  1. Sei f ( x ) f ( x ) f(x)f(x) ein ganzwertiges Polynom in x x xx genau vom Grad m 1 m 1 m >= 1m \geqslant 1, das für alle x 1 x 1 x >= 1x \geqslant 1 selbst 1 1 >= 1\geqslant 1 ist und monoton im strengen Sinn zunimmt. Die Umkehrfunktion x = g ( y ) x = g ( y ) x=g(y)x=g(y) von y = f ( x ) y = f ( x ) y=f(x)y=f(x) nimmt folglich für y f ( 1 ) y f ( 1 ) y >= f(1)y \geqslant f(1) ebenfalls monoton im strengen Sinn z u z u zuz u und ist stets 1 1 >= 1\geqslant 1.
    f ( x ) f ( x ) f(x)f(x) 是一个关于 x x xx 的整系数多项式,且恰好为 m 1 m 1 m >= 1m \geqslant 1 次,对于所有 x 1 x 1 x >= 1x \geqslant 1 ,其值均为 1 1 >= 1\geqslant 1 ,且严格单调递增。 y = f ( x ) y = f ( x ) y=f(x)y=f(x) 的反函数 x = g ( y ) x = g ( y ) x=g(y)x=g(y) 因此对于 y f ( 1 ) y f ( 1 ) y >= f(1)y \geqslant f(1) 也严格单调递增,且始终为 1 1 >= 1\geqslant 1
Bedeutet q 2 q 2 q >= 2q \geqslant 2 eine feste natürliche Zahl, so gestattet jede der natürlichen Zahlen f ( k ) ( k = 1 , 2 , 3 , ) f ( k ) ( k = 1 , 2 , 3 , ) f(k)(k=1,2,3,dots)f(k)(k=1,2,3, \ldots) eine eindeutig bestimmte Darstellung
q 2 q 2 q >= 2q \geqslant 2 表示一个固定的自然数,则每个自然数 f ( k ) ( k = 1 , 2 , 3 , ) f ( k ) ( k = 1 , 2 , 3 , ) f(k)(k=1,2,3,dots)f(k)(k=1,2,3, \ldots) 都允许有一个唯一确定的表示。
f ( k ) = λ = 0 N k Z k k q N k 2 = Z k 0 Z k 1 Z k 2 Z k N k f ( k ) = λ = 0 N k Z k k q N k 2 = Z k 0 Z k 1 Z k 2 Z k N k f(k)=sum_(lambda=0)^(N_(k))Z_(kk)q^(N_(k)-2)=Z_(k0)Z_(k1)Z_(k2)dotsZ_(kN_(k))f(k)=\sum_{\lambda=0}^{N_{k}} Z_{k k} q^{N_{k}-2}=Z_{k 0} Z_{k 1} Z_{k 2} \ldots Z_{k N_{k}}
im Zahlsystem zur Basis q q qq; dabei gehören die Ziffern Z k 0 , Z k 1 , , Z k N k Z k 0 , Z k 1 , , Z k N k Z_(k0),Z_(k1),dots,Z_(kN_(k))Z_{k 0}, Z_{k 1}, \ldots, Z_{k N_{k}} der endlichen Folge 0 , 1 , , q 1 0 , 1 , , q 1 0,1,dots,q-10,1, \ldots, q-1 an und es ist speziell Z k 0 > 0 Z k 0 > 0 Z_(k0) > 0Z_{k 0}>0. Indem die einzelnen Ziffern der Darstellungen aller l ^ ( k ) l ^ ( k ) hat(l)(k)\hat{l}(k) der Reihe nach hinter dem Komma niedergeschrieben werden, ergibt sich der Bruch
在基数为 q q qq 的计数系统中,数字 Z k 0 , Z k 1 , , Z k N k Z k 0 , Z k 1 , , Z k N k Z_(k0),Z_(k1),dots,Z_(kN_(k))Z_{k 0}, Z_{k 1}, \ldots, Z_{k N_{k}} 属于有限序列 0 , 1 , , q 1 0 , 1 , , q 1 0,1,dots,q-10,1, \ldots, q-1 ,且特别是 Z k 0 > 0 Z k 0 > 0 Z_(k0) > 0Z_{k 0}>0 。通过将所有 l ^ ( k ) l ^ ( k ) hat(l)(k)\hat{l}(k) 的表示中的各个数字依次写在小数点后,得到分数
σ = 0 , Z 10 Z 11 Z 1 N 1 Z 20 Z 21 Z 2 N 2 Z 30 Z 31 Z 3 N 3 σ = 0 , Z 10 Z 11 Z 1 N 1 Z 20 Z 21 Z 2 N 2 Z 30 Z 31 Z 3 N 3 sigma=0,Z_(10)Z_(11)dotsZ_(1N_(1))Z_(20)Z_(21)dotsZ_(2N_(2))Z_(30)Z_(31)dotsZ_(3N_(3))dots\sigma=0, Z_{10} Z_{11} \ldots Z_{1 N_{1}} Z_{20} Z_{21} \ldots Z_{2 N_{2}} Z_{30} Z_{31} \ldots Z_{3 N_{3}} \ldots
zur Basis q q qq, dessen arithmetische Eigenschaften im folgenden untersucht werden sollen. Zu diesem Z Z ZZ weck werden wir zunächst eine einfachere Reihenentwicklung für σ σ sigma\sigma herleiten.
基数为 q q qq ,其算术性质将在下文中进行研究。对于这个 Z Z ZZ ,我们首先将推导出一个更简单的 σ σ sigma\sigma 的级数展开式。

2. Sei n n nn die durch die Ungleichungen
2. 设 n n nn 是由不等式定义的自然数,
q n 1 f ( 1 ) q n 1 q n 1 f ( 1 ) q n 1 q^(n-1) <= f(1) <= q^(n)-1q^{n-1} \leqslant f(1) \leqslant q^{n}-1
definierte natürliche Zahl, ferner
进一步定义的自然数,此外
j n 1 = 0 , j v = [ g ( q ν 1 ) ] für ν = n , n + 1 , n + 2 , j n 1 = 0 , j v = g q ν 1  für  ν = n , n + 1 , n + 2 , j_(n-1)=0,j_(v)=[g(q^(nu)-1)]" für "nu=n,n+1,n+2,dotsj_{n-1}=0, j_{v}=\left[g\left(q^{\nu}-1\right)\right] \text { für } \nu=n, n+1, n+2, \ldotsü
Für jede natürliche Zahl v n v n v >= nv \geqslant n werde unter J v J v J_(v)J_{v} die Menge aller natürlichen Zahlen k k kk mit
对于每个自然数 v n v n v >= nv \geqslant n ,定义 J v J v J_(v)J_{v} 下的所有自然数 k k kk 的集合
q ν 1 f ( k ) q ν 1 q ν 1 f ( k ) q ν 1 q^(nu-1) <= f(k) <= q^(nu)-1q^{\nu-1} \leqslant f(k) \leqslant q^{\nu}-1
verstanden. Man sieht leicht ein, dass k k kk dann und nur dann z u J v z u J v zuJ_(v)z u J_{v} gehört, wenn
可以很容易看出, k k kk 当且仅当属于 z u J v z u J v zuJ_(v)z u J_{v}
j v 1 + 1 k j v j v 1 + 1 k j v j_(v-1)+1 <= k <= j_(v)j_{v-1}+1 \leqslant k \leqslant j_{v}
ist; J v J v J_(v)J_{v} enthält also j v j v 1 j v j v 1 j_(v)-j_(v-1)j_{v}-j_{v-1} Elemente. Da f ( k ) f ( k ) f(k)f(k) im System zur Basis q q qq dann und nur dann ν ν nu\nu stellig wird, wenn k k kk in J v J v J_(v)J_{v} liegt, so ist demnach die Gesamtanzah1 der Ziffern aller ν ν nu\nu-stelligen Zahlen f ( k ) f ( k ) f(k)f(k) gleich
是;因此 J v J v J_(v)J_{v} 包含 j v j v 1 j v j v 1 j_(v)-j_(v-1)j_{v}-j_{v-1} 个元素。由于在以 q q qq 为底的系统中, f ( k ) f ( k ) f(k)f(k) 当且仅当 k k kk 位于 J v J v J_(v)J_{v} 时为 ν ν nu\nu 位数,因此所有 ν ν nu\nu 位数的数字总数 f ( k ) f ( k ) f(k)f(k) 等于
ν ( j v j v 1 ) ν j v j v 1 nu(j_(v)-j_(v-1))\nu\left(j_{v}-j_{v-1}\right)
und folglich die Gesamtanzahl der Ziffern aller höchstens ( ν 1 ν 1 nu-1\nu-1 )-stelligen Zahlen f ( k ) f ( k ) f(k)f(k) für ν = n ν = n nu=n\nu=n gleich 0 und für ν > n ν > n nu > n\nu>n gleich
因此所有最多为 ( ν 1 ν 1 nu-1\nu-1 ) 位数的数字总数 f ( k ) f ( k ) f(k)f(k) 对于 ν = n ν = n nu=n\nu=n 等于 0,对于 ν > n ν > n nu > n\nu>n 等于
μ = n ν 1 μ ( j μ j μ 1 ) . μ = n ν 1 μ j μ j μ 1 . sum_(mu=n)^(nu-1)mu(j_(mu)-j_(mu-1)).\sum_{\mu=n}^{\nu-1} \mu\left(j_{\mu}-j_{\mu-1}\right) .
Ferner entsteht für v n v n v >= nv \geqslant n die kleinste, bzw. die grösste γ γ gamma\gamma-stellige Zahl f ( k ) f ( k ) f(k)f(k), wenn k = j ν 1 + 1 k = j ν 1 + 1 k=j_(nu-1)+1k=j_{\nu-1}+1, bezw. k = j v k = j v k=j_(v)k=j_{v} ist.
此外,对于 v n v n v >= nv \geqslant n ,当 k = j ν 1 + 1 k = j ν 1 + 1 k=j_(nu-1)+1k=j_{\nu-1}+1 k = j v k = j v k=j_(v)k=j_{v} 时,最小或最大的 γ γ gamma\gamma 位数为 f ( k ) f ( k ) f(k)f(k)
Somit ist der additive Beitrag, den die Ziffern von f ( k ) z u σ f ( k ) z u σ f(k)zu sigmaf(k) z u \sigma liefern, für k k kk in J n J n J_(n)J_{n} gleich
因此, f ( k ) z u σ f ( k ) z u σ f(k)zu sigmaf(k) z u \sigma 的数字对 k k kk J n J n J_(n)J_{n} 中的加法贡献等于
f ( k ) q n k f ( k ) q n k f(k)q^(-nk)f(k) q^{-n k}
und für k k kk in J v J v J_(v)J_{v} mit ν > n ν > n nu > n\nu>n gleich
对于 k k kk J v J v J_(v)J_{v} 中,且 ν > n ν > n nu > n\nu>n 时等于
f ( k ) q v Σ ¯ μ 1 μ n ( j μ j μ 1 ) v ( k j v 1 ) , f ( k ) q v Σ ¯ μ 1 μ n j μ j μ 1 v k j v 1 , f(k)q^(-^(v) bar(Sigma)^(mu)^(1)mu_(n)(j_(mu)-j_(mu-1))-v(k-j_(v-1))),f(k) q^{-{ }^{v} \bar{\Sigma}^{\mu}{ }^{1} \mu_{n}\left(j_{\mu}-j_{\mu-1}\right)-v\left(k-j_{v-1}\right)},
denn eine etwaige λ λ lambda\lambda-te Stelle Z Z ZZ hinter dem Komma in der Entwicklung von σ σ sigma\sigma zur Basis q q qq liefert den Beitrag Z q 2 Z q 2 Zq^(-2)Z q^{-2} zum Wert von σ σ sigma\sigma. Indem die z u z u zuz u allen k = 1 , 2 , 3 , k = 1 , 2 , 3 , k=1,2,3,dotsk=1,2,3, \ldots gehörigen Teilbeiträge addiert werden, ergibt sich damit für σ σ sigma\sigma die folgende Reihenentwicklung:
因为在以 q q qq 为底的 σ σ sigma\sigma 展开中,小数点后第 λ λ lambda\lambda 位的 Z Z ZZ 可能对 σ σ sigma\sigma 的值贡献为 Z q 2 Z q 2 Zq^(-2)Z q^{-2} 。通过将所有属于 k = 1 , 2 , 3 , k = 1 , 2 , 3 , k=1,2,3,dotsk=1,2,3, \ldots z u z u zuz u 个部分贡献相加,得到 σ σ sigma\sigma 的以下级数展开:
σ = k = 1 j n f ( k ) q n k + ν = n + 1 q ν 1 μ = n μ ( j μ j μ 1 ) + γ j v 1 k = f v 1 + 1 j ν f ( k ) q > k σ = k = 1 j n f ( k ) q n k + ν = n + 1 q ν 1 μ = n μ j μ j μ 1 + γ j v 1 k = f v 1 + 1 j ν f ( k ) q > k sigma=sum_(k=1)^(j_(n))f(k)q^(-nk)+sum_(nu=n+1)^(oo)q^(-^(nu-1)summu=nmu(j_(mu)-j_(mu-1))+gammaj_(v-1))sum_(k=f_(v-1)+1)^(j_(nu))f(k)q^(- > k)\sigma=\sum_{k=1}^{j_{n}} f(k) q^{-n k}+\sum_{\nu=n+1}^{\infty} q^{-^{\nu-1} \sum^{\mu=n} \mu\left(j_{\mu}-j_{\mu-1}\right)+\gamma j_{v-1}} \sum_{k=f_{v-1}+1}^{j_{\nu}} f(k) q^{->k}
  1. Diese Entwicklung kann noch vereinfacht werden, da die Summen
    这一发展还可以进一步简化,因为总和
S v = k = j ν 1 + 1 j ν f ( k ) q ν k ( ν = n , n + 1 , n + 2 , S v = k = j ν 1 + 1 j ν f ( k ) q ν k ( ν = n , n + 1 , n + 2 , S_(v)=sum_(k=j_(nu-1)+1)^(j_(nu))f(k)q^(-nu k)quad(nu=n,n+1,n+2,dotsS_{v}=\sum_{k=j_{\nu-1}+1}^{j_{\nu}} f(k) q^{-\nu k} \quad(\nu=n, n+1, n+2, \ldots
sich bekanntlich explizit angeben lassen. Am einfachsten gelingt dies mittels der folgenden Formel aus der Differenzenrechnung 2 2 ^(2){ }^{2} ):
众所周知,可以明确给出。最简单的方法是使用差分计算中的以下公式 2 2 ^(2){ }^{2} ):
z = 0 F ( z ) x z = h = 0 x h h F ( 0 ) ( 1 x ) h + 1 . z = 0 F ( z ) x z = h = 0 x h h F ( 0 ) ( 1 x ) h + 1 . sum_(z=0)^(oo)F(z)x^(z)=sum_(h=0)^(oo)(x^(h)/_\^(h)F(0))/((1-x)^(h+1)).\sum_{z=0}^{\infty} F(z) x^{z}=\sum_{h=0}^{\infty} \frac{x^{h} \triangle^{h} F(0)}{(1-x)^{h+1}} .
Dabei bedeutet F ( z ) F ( z ) F(z)F(z) eine für z = 0 , 1 , 2 , z = 0 , 1 , 2 , z=0,1,2,dotsz=0,1,2, \ldots definierte Funktion und
其中 F ( z ) F ( z ) F(z)F(z) 表示为 z = 0 , 1 , 2 , z = 0 , 1 , 2 , z=0,1,2,dotsz=0,1,2, \ldots 定义的函数,且
h F ( z ) = i = 0 h ( h i ) ( 1 ) F ( z + h i ) ( 0 F ( z ) = F ( z ) ) h F ( z ) = i = 0 h ( h i ) ( 1 ) F ( z + h i ) 0 F ( z ) = F ( z ) /_\^(h)F(z)=sum_(i=0)^(h)((h)/(i))(-1)^(')F(z+h-i)quad(/_\^(0)F(z)=F(z))\triangle^{h} F(z)=\sum_{i=0}^{h}\binom{h}{i}(-1)^{\prime} F(z+h-i) \quad\left(\triangle^{0} F(z)=F(z)\right)
ihre h h hh-te Differenz an der Stelle z ( h = 0 , 1 , 2 , ) z ( h = 0 , 1 , 2 , ) z(h=0,1,2,dots)z(h=0,1,2, \ldots).
它在点 z ( h = 0 , 1 , 2 , ) z ( h = 0 , 1 , 2 , ) z(h=0,1,2,dots)z(h=0,1,2, \ldots) 处的第 h h hh 阶差分。

Um von dieser Formel Gebrauch zu machen, werde S v S v S_(v)S_{v} in der Form S ν = q ν ( j ν 1 + 1 ) z = 0 f ( z + j ν 1 + 1 ) q ν z q ν ( j ν + 1 ) z = 0 f ( z + j ν + 1 ) q v z S ν = q ν j ν 1 + 1 z = 0 f z + j ν 1 + 1 q ν z q ν j ν + 1 z = 0 f z + j ν + 1 q v z S_(nu)=q^(-nu(j_(nu)-1+1))sum_(z=0)^(oo)f(z+j_(nu-1)+1)q^(-nu z)-q^(-nu(j_(nu)+1))sum_(z=0)^(oo)f(z+j_(nu)+1)q^(-vz)S_{\nu}=q^{-\nu\left(j_{\nu}-1+1\right)} \sum_{z=0}^{\infty} f\left(z+j_{\nu-1}+1\right) q^{-\nu z}-q^{-\nu\left(j_{\nu}+1\right)} \sum_{z=0}^{\infty} f\left(z+j_{\nu}+1\right) q^{-v z} geschrieben und x = q ν x = q ν x=q^(-nu)x=q^{-\nu} gesetzt. Da die Differenzen ( m + 1 m + 1 m+1m+1 ) -ten und
为了使用该公式,将 S v S v S_(v)S_{v} 写成 S ν = q ν ( j ν 1 + 1 ) z = 0 f ( z + j ν 1 + 1 ) q ν z q ν ( j ν + 1 ) z = 0 f ( z + j ν + 1 ) q v z S ν = q ν j ν 1 + 1 z = 0 f z + j ν 1 + 1 q ν z q ν j ν + 1 z = 0 f z + j ν + 1 q v z S_(nu)=q^(-nu(j_(nu)-1+1))sum_(z=0)^(oo)f(z+j_(nu-1)+1)q^(-nu z)-q^(-nu(j_(nu)+1))sum_(z=0)^(oo)f(z+j_(nu)+1)q^(-vz)S_{\nu}=q^{-\nu\left(j_{\nu}-1+1\right)} \sum_{z=0}^{\infty} f\left(z+j_{\nu-1}+1\right) q^{-\nu z}-q^{-\nu\left(j_{\nu}+1\right)} \sum_{z=0}^{\infty} f\left(z+j_{\nu}+1\right) q^{-v z} 的形式,并设定 x = q ν x = q ν x=q^(-nu)x=q^{-\nu} 。由于差分( m + 1 m + 1 m+1m+1 )阶和

2 2 ^(2){ }^{2} ) Siehe z.B.: Cesaro-Kowalewski, Elementares Lehrbuch der algebraischea Analysis und der Infinitesimalrechnung (Leipzig 1904), §807c. Offenbar erübrigt sich im betrachteten Fall jeder Konvergenzbeweis.
2 2 ^(2){ }^{2} )参见例如:Cesaro-Kowalewski,《代数分析与微积分基础教科书》(莱比锡,1904 年),§807c。在所考虑的情况下,显然不需要任何收敛性证明。
Proceedings Royal Acad. Amsterdam, Vol. XL, 1937.
阿姆斯特丹皇家科学院会议录,第 40 卷,1937 年。

höheren Grades der beiden Polynome f ( z + j ν 1 + 1 ) f z + j ν 1 + 1 f(z+j^(nu)-1+1)f\left(z+j^{\nu}-1+1\right) und f ( z + j v + 1 ) f z + j v + 1 f(z+j_(v)+1)f\left(z+j_{v}+1\right) identisch in z z zz verschwinden, so folgt alsdann
如果两个多项式 f ( z + j ν 1 + 1 ) f z + j ν 1 + 1 f(z+j^(nu)-1+1)f\left(z+j^{\nu}-1+1\right) f ( z + j v + 1 ) f z + j v + 1 f(z+j_(v)+1)f\left(z+j_{v}+1\right) 的高次项在 z z zz 中完全消失,则随之得到
S ν = q j ν 1 A ν q j v B v S ν = q j ν 1 A ν q j v B v S_(nu)=q^(-j_(nu)-1)A_(nu)-q^(-j_(v))B_(v)S_{\nu}=q^{-j_{\nu}-1} A_{\nu}-q^{-j_{v}} B_{v}
mit den Abkürzungen  使用以下缩写方式
A v = h = 0 m h f ( j v 1 + 1 ) ( q γ 1 ) h + 1 , B v = h = 0 m h f ( j v + 1 ) ( q γ 1 ) h + 1 A v = h = 0 m h f j v 1 + 1 q γ 1 h + 1 , B v = h = 0 m h f j v + 1 q γ 1 h + 1 A_(v)=sum_(h=0)^(m)(/_\^(h)f(j_(v-1)+1))/((q^(gamma)-1)^(h+1)),quadB_(v)=sum_(h=0)^(m)(/_\^(h)f(j_(v)+1))/((q^(gamma)-1)^(h+1))A_{v}=\sum_{h=0}^{m} \frac{\triangle^{h} f\left(j_{v-1}+1\right)}{\left(q^{\gamma}-1\right)^{h+1}}, \quad B_{v}=\sum_{h=0}^{m} \frac{\triangle^{h} f\left(j_{v}+1\right)}{\left(q^{\gamma}-1\right)^{h+1}}
Mittels dieser Gleichung lassen sich alle Teilsummen S v S v S_(v)S_{v} aus der im vorigen Paragraphen abgeleiteten Gleichung für σ σ sigma\sigma eliminieren. Das ergibt:
通过这个方程,可以消去前一段推导出的关于 σ σ sigma\sigma 的方程中的所有部分和 S v S v S_(v)S_{v} 。结果为:
σ = ( A n q n j n B n ) + v = n + 1 q ν n 1 μ ( j μ j μ 1 ) + j j 1 ( q v j ν 1 A ν q j v B v ) σ = A n q n j n B n + v = n + 1 q ν n 1 μ j μ j μ 1 + j j 1 q v j ν 1 A ν q j v B v sigma=(A_(n)-q^(-nj_(n))B_(n))+*sum_(v=n+1)^(oo)q^(-^(nu)sum_(n)^(1)mu(j_(mu)-j_(mu-1))+j_(j)-1)(q^(-vj_(nu)-1)A_(nu)-q^(-j_(v))B_(v))\sigma=\left(A_{n}-q^{-n j_{n}} B_{n}\right)+\cdot \sum_{v=n+1}^{\infty} q^{-{ }^{\nu} \sum_{n}^{1} \mu\left(j_{\mu}-j_{\mu-1}\right)+j_{j}-1}\left(q^{-v j_{\nu}-1} A_{\nu}-q^{-j_{v}} B_{v}\right)
und schliesslich durch Zusammenfassen aller Glieder mit gleichem Exponenten von q q qq und Einsetzen der Werte von A v A v A_(v)A_{v} und B v B v B_(v)B_{v} :
最后通过将所有具有相同 q q qq 指数的项合并,并代入 A v A v A_(v)A_{v} B v B v B_(v)B_{v} 的值:
( A ) : σ = h = 0 m Δ h f ( 1 ) ( q n 1 ) h + 1 + + r = n + 1 q ν 1 μ 1 μ ( j μ j μ 1 ) h = 0 m Δ h f ( j ν 1 + 1 ) { 1 ( q ν 1 ) h + 1 1 ( q ν 1 + 1 ) h + 1 } ( A ) : σ = h = 0 m Δ h f ( 1 ) q n 1 h + 1 + + r = n + 1 q ν 1 μ 1 μ j μ j μ 1 h = 0 m Δ h f j ν 1 + 1 1 q ν 1 h + 1 1 q ν 1 + 1 h + 1 {:[(A):sigma=sum_(h=0)^(m)(Delta^(h)f(1))/((q^(n)-1)^(h+1))+],[+sum_(r=n+1)^(oo)q^(-^(nu-1)^(mu)^(-1)mu(j_(mu)-j_(mu-1)))sum_(h=0)^(m)Delta^(h)f(j_(nu-1)+1){(1)/((q^(nu)-1)^(h+1))-(1)/((q^(nu-1)+1)^(h+1))}]:}\begin{aligned} (A): & \sigma=\sum_{h=0}^{m} \frac{\Delta^{h} f(1)}{\left(q^{n}-1\right)^{h+1}}+ \\ & +\sum_{r=n+1}^{\infty} q^{-{ }^{\nu-1}{ }^{\mu}{ }^{-1} \mu\left(j_{\mu}-j_{\mu-1}\right)} \sum_{h=0}^{m} \Delta^{h} f\left(j_{\nu-1}+1\right)\left\{\frac{1}{\left(q^{\nu}-1\right)^{h+1}}-\frac{1}{\left(q^{\nu-1}+1\right)^{h+1}}\right\} \end{aligned}
  1. Das letzte Ergebnis führt nun leicht zur Aufstellung einer Folge von Brüchen P s / Q s P s / Q s P_(s)//Q_(s)P_{s} / Q_{s}, die ausserordentlich schnell gegen σ σ sigma\sigma konvergieren und damit den Transzendenzbeweis ermöglichen. Sei D s D s D_(s)D_{s} für jeden Index s n + 1 s n + 1 s >= n+1s \geqslant n+1 das kleinste gemeinsame Vielfache der Zahlen
    最终结果很容易导出一列分数 P s / Q s P s / Q s P_(s)//Q_(s)P_{s} / Q_{s} ,它们以极快的速度收敛到 σ σ sigma\sigma ,从而实现超越性证明。设 D s D s D_(s)D_{s} 为每个索引 s n + 1 s n + 1 s >= n+1s \geqslant n+1 对应数字的最小公倍数
q n 1 , q n + 1 1 , , q s 1 q n 1 , q n + 1 1 , , q s 1 q^(n)-1,q^(n+1)-1,dots,q^(s)-1q^{n}-1, q^{n+1}-1, \ldots, q^{s}-1
weiter  继续
Q s = D s m + 1 q s 1 Σ n μ ( j μ j μ 1 ) Q s = D s m + 1 q s 1 Σ n μ j μ j μ 1 ) Q_(s)=D_(s)^(m+1)q^((s-1)/(Sigma_(n))mu(j_(mu)-j_(mu-1)):})\mathrm{Q}_{s}=D_{s}^{m+1} q^{\frac{s-1}{\Sigma_{n}} \mu\left(j_{\mu}-j_{\mu-1)}\right.}
und  
P s = Q s { h = 0 m Δ h f ( 1 ) ( q n 1 ) h + 1 + P s = Q s h = 0 m Δ h f ( 1 ) q n 1 h + 1 + P_(s)=Q_(s){sum_(h=0)^(m)(Delta^(h)f(1))/((q^(n)-1)^(h+1))+:}P_{s}=Q_{s}\left\{\sum_{h=0}^{m} \frac{\Delta^{h} f(1)}{\left(q^{n}-1\right)^{h+1}}+\right.
+ ν = n + 1 s q μ = n i μ ( j j μ j μ 1 ) h = 0 m h f ( j v 1 + 1 ) ( 1 ( q ν 1 ) h + 1 1 ( q ν 1 1 ) h + 1 ) } + ν = n + 1 s q μ = n i μ j j μ j μ 1 h = 0 m h f j v 1 + 1 1 q ν 1 h + 1 1 q ν 1 1 h + 1 {:+sum_(nu=n+1)^(s)q^({:-sum_(mu=n)^(sum_(i))mu^((jj_(mu)-j_(mu-1):})))sum_(h=0)^(m)/_\^(h)f(j_(v-1)+1)((1)/((q^(nu)-1)^(h+1))-(1)/((q^(nu-1)-1)^(h+1)))}\left.+\sum_{\nu=n+1}^{s} q^{\left.-\sum_{\mu=n}^{\sum_{i}} \mu^{\left(j j_{\mu}-j_{\mu-1}\right.}\right)} \sum_{h=0}^{m} \triangle^{h} f\left(j_{v-1}+1\right)\left(\frac{1}{\left(q^{\nu}-1\right)^{h+1}}-\frac{1}{\left(q^{\nu-1}-1\right)^{h+1}}\right)\right\}.
ferner  此外
R s = v = s + 1 q μ = n ν 1 μ μ j μ 1 ) h = 0 m Δ h f ( j v 1 + 1 ) ( 1 ( q v 1 ) h + 1 1 ( q ν 1 1 ) h + 1 ) R s = v = s + 1 q μ = n ν 1 μ μ j μ 1 h = 0 m Δ h f j v 1 + 1 1 q v 1 h + 1 1 q ν 1 1 h + 1 R_(s)=sum_(v=s+1)^(oo)q^({:-sum_(mu=n)^(nu-1)mu_(mu)-j_(mu)-1))sum_(h=0)^(m)Delta^(h)f(j_(v-1)+1)((1)/((q^(v)-1)^(h+1))-(1)/((q^(nu-1)-1)^(h+1)))R_{s}=\sum_{v=s+1}^{\infty} q^{\left.-\sum_{\mu=n}{ }^{\nu-1} \mu_{\mu}-j_{\mu}-1\right)} \sum_{h=0}^{m} \Delta^{h} f\left(j_{v-1}+1\right)\left(\frac{1}{\left(q^{v}-1\right)^{h+1}}-\frac{1}{\left(q^{\nu-1}-1\right)^{h+1}}\right).
Es besteht also die Gleichung
因此存在方程
σ P s Q s = R s σ P s Q s = R s sigma-(P_(s))/(Q_(s))=R_(s)\sigma-\frac{P_{s}}{Q_{s}}=R_{s}
Q s Q s Q_(s)Q_{s} ist definitionsgemäss eine natürliche Zahl. Aber auch P s P s P_(s)P_{s} ist ganz rational, denn die Koeffizienten
Q s Q s Q_(s)Q_{s} 根据定义是一个自然数。但 P s P s P_(s)P_{s} 也是完全有理的,因为系数
Δ h f ( 1 ) und Δ h f ( j v 1 + 1 ) Δ h f ( 1 )  und  Δ h f j v 1 + 1 Delta^(h)f(1)" und "Delta^(h)f(j_(v-1)+1)\Delta^{h} f(1) \text { und } \Delta^{h} f\left(j_{v-1}+1\right)
sind als Differenzen ganzwertiger Polynome an natürlichen Stellen des Arguments ganze rationale Zahlen, so dass die Nenner der einzelnen Summanden von P s P s P_(s)P_{s} durch den Faktor Q s Q s Q_(s)Q_{s} weggehoben werden. Wir werden für log Q s log Q s log Q_(s)\log Q_{s} und log R s log R s log R_(s)\log R_{s} asymptotische• Formeln ableiten und bem ginnen dazu mit einer solchen Formel für
作为在自然数点处的整数多项式差,得到整数有理数,使得各个项的分母通过因子 Q s Q s Q_(s)Q_{s} 被消去。我们将为 log Q s log Q s log Q_(s)\log Q_{s} log R s log R s log R_(s)\log R_{s} 推导渐近公式,并从这样一个公式开始。
i ν = μ = n ν 1 μ ( j μ j μ 1 ) = ( ν 1 ) j v 1 ( j n + j n + 1 + + j v 2 ) i ν = μ = n ν 1 μ j μ j μ 1 = ( ν 1 ) j v 1 j n + j n + 1 + + j v 2 i_(nu)=sum_(mu=n)^(nu-1)mu(j_(mu)-j_(mu-1))=(nu-1)j_(v-1)-(j_(n)+j_(n+1)+dots+j_(v-2))i_{\nu}=\sum_{\mu=n}^{\nu-1} \mu\left(j_{\mu}-j_{\mu-1}\right)=(\nu-1) j_{v-1}-\left(j_{n}+j_{n+1}+\ldots+j_{v-2}\right)
Als Polynom m-ten Grades, das für x + x + x rarr+oox \rightarrow+\infty gegen + + +oo+\infty strebt, gestattet f ( x ) f ( x ) f(x)f(x) eine Darstellung
作为一个 m 次多项式,当 x + x + x rarr+oox \rightarrow+\infty 趋近于 + + +oo+\infty 时, f ( x ) f ( x ) f(x)f(x) 允许表示为
f ( x ) = a m x m ( 1 + α 1 x + α 2 x 2 + + α m x m ) f ( x ) = a m x m 1 + α 1 x + α 2 x 2 + + α m x m f(x)=a^(-m)x^(m)(1+(alpha_(1))/(x)+(alpha_(2))/(x^(2))+dots+(alpha_(m))/(x^(m)))f(x)=a^{-m} x^{m}\left(1+\frac{\alpha_{1}}{x}+\frac{\alpha_{2}}{x^{2}}+\ldots+\frac{\alpha_{m}}{x^{m}}\right)
wo α α alpha\alpha eine positive Konstante und α 1 , α 2 , , α m α 1 , α 2 , , α m alpha_(1),alpha_(2),dots,alpha_(m)\alpha_{1}, \alpha_{2}, \ldots, \alpha_{m} gewisse reelle Zahlen sind. Die Umkehrfunktion von y = f ( x ) y = f ( x ) y=f(x)y=f(x) wird alsdann gleich
其中 α α alpha\alpha 是一个正常数, α 1 , α 2 , , α m α 1 , α 2 , , α m alpha_(1),alpha_(2),dots,alpha_(m)\alpha_{1}, \alpha_{2}, \ldots, \alpha_{m} 是某些实数。 y = f ( x ) y = f ( x ) y=f(x)y=f(x) 的反函数随后被定义为
x = g ( y ) = a y 1 / m + O ( 1 ) x = g ( y ) = a y 1 / m + O ( 1 ) x=g(y)=ay^(1//m)+O(1)x=g(y)=a y^{1 / m}+O(1)
Wegen  由于
j μ = [ g ( q μ 1 ) ] j μ = g q μ 1 j_(mu)=[g(q^(mu)-1)]j_{\mu}=\left[g\left(q^{\mu}-1\right)\right]
ist also insbesondere  因此特别是
j μ = α q μ / m + O ( 1 ) j μ = α q μ / m + O ( 1 ) j_(mu)=alphaq^(mu//m)+O(1)j_{\mu}=\alpha q^{\mu / m}+O(1)
und damit  因此
i ν = a ( ν 1 ) q ν 1 m + O ( q ν 1 m ) i ν = a ( ν 1 ) q ν 1 m + O q ν 1 m i_(nu)=a(nu-1)q^((nu-1)/(m))+O(q^((nu-1)/(m)))i_{\nu}=a(\nu-1) q^{\frac{\nu-1}{m}}+O\left(q^{\frac{\nu-1}{m}}\right)
Erstens ist nun die natürliche Zahl
首先,自然数是
D s < q q 2 q 3 q s = q s ( s + 1 ) 2 D s < q q 2 q 3 q s = q s ( s + 1 ) 2 D_(s) < q*q^(2)*q^(3)dotsq^(s)=q^((s(s+1))/(2))D_{s}<q \cdot q^{2} \cdot q^{3} \ldots q^{s}=q^{\frac{s(s+1)}{2}}
so dass sich aus der vorigen Formel für i , i i_(", ")i_{\text {, }} und der Definition von Q s Q s Q_(s)Q_{s} die Beziehung
因此,根据前面的 i , i i_(", ")i_{\text {, }} 公式和 Q s Q s Q_(s)Q_{s} 的定义,得出关系
log Q s cos α ( s 1 ) q s 1 m log q . log Q s cos α ( s 1 ) q s 1 m log q . log Q_(s)cos alpha(s-1)q^((s-1)/(m))log q.\log Q_{s} \cos \alpha(s-1) q^{\frac{s-1}{m}} \log q .
ergibt. Hiernach ist insbesondere
得出。特别地,根据此处,...
lim s log Q s + 1 log Q s = q 1 / m lim s log Q s + 1 log Q s = q 1 / m lim_(s rarr oo)(log Q_(s+1))/(log Q_(s))=q^(1//m)\lim _{s \rightarrow \infty} \frac{\log Q_{s+1}}{\log Q_{s}}=q^{1 / m}
Zweitens ist für ν ν nu rarr oo\nu \rightarrow \infty  其次,对于 ν ν nu rarr oo\nu \rightarrow \infty
h = 0 m Δ h f ( j ν 1 + 1 ) { 1 ( q v 1 ) h + 1 1 ( q v 1 1 ) h + 1 } h = 0 m Δ h f j ν 1 + 1 1 q v 1 h + 1 1 q v 1 1 h + 1 sum_(h=0)^(m)Delta^(h)f(j_(nu-1)+1){(1)/((q^(v)-1)^(h+1))-(1)/((q^(v-1)-1)^(h+1))}oo\sum_{h=0}^{m} \Delta^{h} f\left(j_{\nu-1}+1\right)\left\{\frac{1}{\left(q^{v}-1\right)^{h+1}}-\frac{1}{\left(q^{v-1}-1\right)^{h+1}}\right\} \infty
f ( j v 1 + 1 ) q 1 q v α m ( α q v 1 m ) m q 1 q ν = ( 1 1 q ) . f j v 1 + 1 q 1 q v α m α q v 1 m m q 1 q ν = 1 1 q . oo-f(j_(v-1)+1)(q-1)/(q^(v))oo-alpha^(-m)(alphaq^((v-1)/(m)))^(m)(q-1)/(q^(nu))=-(1-(1)/(q)).\infty-f\left(j_{v-1}+1\right) \frac{q-1}{q^{v}} \infty-\alpha^{-m}\left(\alpha q^{\frac{v-1}{m}}\right)^{m} \frac{q-1}{q^{\nu}}=-\left(1-\frac{1}{q}\right) .
da die Terme mit h 1 h 1 h >= 1h \geqslant 1 sich gegen den mit h = 0 h = 0 h=0h=0 vernachlässigen lassen. Der Summand von R s R s R_(s)R_{s} mit ν = s + 1 ν = s + 1 nu=s+1\nu=s+1 hat also offenbar höhere Grössen ordnung als alle folgenden, und man erhält
因为带有 h 1 h 1 h >= 1h \geqslant 1 的项相对于带有 h = 0 h = 0 h=0h=0 的项可以忽略。带有 ν = s + 1 ν = s + 1 nu=s+1\nu=s+1 R s R s R_(s)R_{s} 项显然具有比所有后续项更高的阶数,因此得到
R z ( 1 1 q ) q i s + 1 R z 1 1 q q i s + 1 R_(z)oo-(1-(1)/(q))q^(-i_(s+1))R_{z} \infty-\left(1-\frac{1}{q}\right) q^{-i_{s+1}}
und erst recht  更不用说
log | R s | a s q s m log q log R s a s q s m log q log|R_(s)|∼oo-asq^((s)/(m))log q\log \left|R_{s}\right| \sim \infty-a s q^{\frac{s}{m}} \log q
Hieraus folgt für alle genügend grossen s s ss
由此对于所有足够大的 s s ss 成立
R s 0 R s 0 R_(s)!=0R_{s} \neq 0
Ferner ergibt sich wegen (2) die Limesgleichung
由于(2),得出极限方程
lim s log | R s | log Q s = q 1 / m < 1 lim s log R s log Q s = q 1 / m < 1 lim_(s rarr oo)(log|R_(s)|)/(log Q_(s))=-q^(1//m) < -1\lim _{s \rightarrow \infty} \frac{\log \left|R_{s}\right|}{\log Q_{s}}=-q^{1 / m}<-1
und die asymptotische Formel
以及渐近公式
log | Q s R s | a s ( q 1 m 1 ) q s 1 m log q log Q s R s a s q 1 m 1 q s 1 m log q log|Q_(s)R_(s)|oo-as(q^((1)/(m))-1)q^((s-1)/(m))log q\log \left|Q_{s} R_{s}\right| \infty-a s\left(q^{\frac{1}{m}}-1\right) q^{\frac{s-1}{m}} \log q
so dass also von einem s a b s a b sabs a b
因此,从 s a b s a b sabs a b 出发
| Q s R s | < | Q s 1 R s 1 | . . . . . . (8) Q s R s < Q s 1 R s 1 . . . . . .  (8)  |Q_(s)R_(s)| < |Q_(s-1)R_(s-1)|*.quad.quad.quad.quad.quad.quad" (8) "\left|Q_{s} R_{s}\right|<\left|Q_{s-1} R_{s-1}\right| \cdot . \quad . \quad . \quad . \quad . \quad . \quad \text { (8) }
ist.  是。
5. Von Th. Schneider wurde vor einiger Zeit folgender Satz bewiesen:, Zut der reellen Zahl ϑ ϑ vartheta\vartheta gebe es eine Konstante x > 1 x > 1 x > 1x>1 und eine unendliche Folge von Brüchen
5. Th. Schneider 曾在一段时间前证明了以下定理:对于实数 ϑ ϑ vartheta\vartheta ,存在一个常数 x > 1 x > 1 x > 1x>1 和一个无限分数列
p 1 q 1 , p 2 q 2 , p 3 q 3 , p 1 q 1 , p 2 q 2 , p 3 q 3 , (p_(1))/(q_(1)),(p_(2))/(q_(2)),(p_(3))/(q_(3)),dots\frac{p_{1}}{q_{1}}, \frac{p_{2}}{q_{2}}, \frac{p_{3}}{q_{3}}, \ldots
deren Nenner von einem s s ss ab monoton zunehmen und Potenzen einer festen natürlichen Zahl q darstellen, derart dass
其分母从某个 s s ss 开始单调递增,并且表示固定自然数 q 的幂,使得
0 < | ϑ p s q s | q s x und lim s sup log q s + 1 log q s < 0 < ϑ p s q s q s x  und  lim s sup log q s + 1 log q s < 0 < |vartheta-(p_(s))/(q_(s))| <= q_(s)^(-x)quad" und "quadlim_(s rarr oo)s u p(log q_(s+1))/(log q_(s)) < oo0<\left|\vartheta-\frac{p_{s}}{q_{s}}\right| \leqslant q_{s}^{-x} \quad \text { und } \quad \lim _{s \rightarrow \infty} \sup \frac{\log q_{s+1}}{\log q_{s}}<\infty
ist. Dann ist ϑ ϑ vartheta\vartheta transzendent." Eine Durchsicht des Beweises dieses Satzes zeigt ohne Mühe, dass ϑ ϑ vartheta\vartheta auch dann noch transzendent ist, wenn die Bedingung, dass die q s q s q_(s)q_{s} Potenzen von q q qq sind, durch folgende schwächere Forderung ersetzt wird 3 3 ^(3){ }^{3} ): ,Für jeden Index s s ss kann q s = q s q s q s = q s q s q_(s)=q_(s)^(')q_(s)^('')q_{s}=q_{s}^{\prime} q_{s}^{\prime \prime} als Produkt einer natürlichen Zahl q s q s q_(s)^(')q_{\mathrm{s}}^{\prime} mit
是。则 ϑ ϑ vartheta\vartheta 是超越数。” 对该定理证明的审视毫不费力地表明,即使将条件“ q s q s q_(s)q_{s} q q qq 的幂”替换为以下较弱的要求 3 3 ^(3){ }^{3} ), ϑ ϑ vartheta\vartheta 仍然是超越数:对于每个索引 s s ss q s = q s q s q s = q s q s q_(s)=q_(s)^(')q_(s)^('')q_{s}=q_{s}^{\prime} q_{s}^{\prime \prime} 可以表示为一个自然数 q s q s q_(s)^(')q_{\mathrm{s}}^{\prime} 与...的乘积
lim s log q s log q s = 0 lim s log q s log q s = 0 lim_(s rarr oo)(log q_(s)^('))/(log q_(s))=0\lim _{s \rightarrow \infty} \frac{\log q_{s}^{\prime}}{\log q_{s}}=0
und einer reinen Potenz q s q s q_(s)^('')q_{s}^{\prime \prime} von q q qq dargestellt werden."
并且可以表示为 q q qq 的纯幂 q s q s q_(s)^('')q_{s}^{\prime \prime}

Identifizieren wir ϑ ϑ vartheta\vartheta mit σ σ sigma\sigma und nehmen wir eine willkürliche Zahl x x xx mit
我们将 ϑ ϑ vartheta\vartheta 识别为 σ σ sigma\sigma ,并取一个任意数 x x xx
1 < x < q 1 / m , 1 < x < q 1 / m , 1 < x < q^(1//m),1<x<q^{1 / m},
so haben die Näherungsbrüche P s / Q s P s / Q s P_(s)//Q_(s)P_{s} / Q_{s} wegen (2) von einem s s ss ab monoton zunehmende Nenner; nach Definition ist ferner Q s = D s m + 1 q i s Q s = D s m + 1 q i s Q_(s)=D_(s)^(m+1)*q^(i_(s))Q_{s}=D_{s}^{m+1} \cdot q^{i_{s}}, wo der erste Faktor der Gleichung
因为(2),近似分数 P s / Q s P s / Q s P_(s)//Q_(s)P_{s} / Q_{s} 具有单调递增的分母,且与 s s ss 相差;根据定义,此外 Q s = D s m + 1 q i s Q s = D s m + 1 q i s Q_(s)=D_(s)^(m+1)*q^(i_(s))Q_{s}=D_{s}^{m+1} \cdot q^{i_{s}} ,其中方程的第一个因子
lim s log D s m + 1 log Q s = 0 lim s log D s m + 1 log Q s = 0 lim_(s rarr oo)(log D_(s)^(m+1))/(log Q_(s))=0\lim _{s \rightarrow \infty} \frac{\log D_{s}^{m+1}}{\log Q_{s}}=0
genügt und der zweite eine reine Potenz von q q qq ist; endlich gilt wegen (1), (5) und (6) für genügend grosse s s ss
满足条件,第二个是 q q qq 的纯幂;最后,根据(1)、(5)和(6),对于足够大的 s s ss 成立。
0 < | σ P s Q s | < Q s x 0 < σ P s Q s < Q s x 0 < |sigma-(P_(s))/(Q_(s))| < Q_(s)^(-x)0<\left|\sigma-\frac{P_{s}}{Q_{s}}\right|<Q_{s}^{-x}
und es ist wegen (3)
并且这是由于(3)
lim s sup log Q s + 1 log Q s < . lim s sup log Q s + 1 log Q s < . lim_(s rarr oo)s u p(log Q_(s+1))/(log Q_(s)) < oo.\lim _{s \rightarrow \infty} \sup \frac{\log Q_{s+1}}{\log Q_{s}}<\infty .
Alle Voraussetzungen der vorigen Verallgemeinerung des Schneiderschen Satzes sind demnach erfüllt, und man kommt zu folgendem Resultat:
因此,施奈德定理先前推广的所有前提条件均已满足,得出以下结果:
Satz 1: Die Zahl σ σ sigma\sigma ist transzendent.
定理 1:数 σ σ sigma\sigma 是超越数。

6. Zu jedem Bruch P / Q P / Q P//QP / Q mit schon genügend grossem Nenner Q Q QQ kann wegen (8) ein Index s s ss mit
6. 对于每个分母 Q Q QQ 已经足够大的分数 P / Q P / Q P//QP / Q ,根据(8)可以找到一个指标 s s ss ,使得
| Q s R s | < 1 2 Q | Q s 1 R s 1 | Q s R s < 1 2 Q Q s 1 R s 1 |Q_(s)R_(s)| < (1)/(2Q) <= |Q_(s-1)R_(s-1)|\left|Q_{s} R_{s}\right|<\frac{1}{2 Q} \leqslant\left|Q_{s-1} R_{s-1}\right|
gefunden werden. Wegen der Identität
被找到。由于恒等式

σ P Q = ( P s Q s P Q ) + R s σ P Q = P s Q s P Q + R s sigma-(P)/(Q)=((P_(s))/(Q_(s))-(P)/(Q))+R_(s)\sigma-\frac{P}{Q}=\left(\frac{P_{s}}{Q_{s}}-\frac{P}{Q}\right)+R_{s}
ist alsdann entweder P s Q s = P Q P s Q s = P Q (P_(s))/(Q_(s))=(P)/(Q)\frac{P_{s}}{Q_{s}}=\frac{P}{Q} und also
因此要么是 P s Q s = P Q P s Q s = P Q (P_(s))/(Q_(s))=(P)/(Q)\frac{P_{s}}{Q_{s}}=\frac{P}{Q} ,所以

σ P Q = R s σ P Q = R s sigma-(P)/(Q)=R_(s)\sigma-\frac{P}{Q}=R_{s}
oder P s Q s P Q P s Q s P Q (P_(s))/(Q_(s))!=(P)/(Q)\frac{P_{s}}{Q_{s}} \neq \frac{P}{Q}, also | P s Q P Q s | 1 P s Q P Q s 1 |P_(s)Q-PQ_(s)| >= 1\left|P_{s} Q-P Q_{s}\right| \geqslant 1 und somit wegen (9):
或者是 P s Q s P Q P s Q s P Q (P_(s))/(Q_(s))!=(P)/(Q)\frac{P_{s}}{Q_{s}} \neq \frac{P}{Q} ,即 | P s Q P Q s | 1 P s Q P Q s 1 |P_(s)Q-PQ_(s)| >= 1\left|P_{s} Q-P Q_{s}\right| \geqslant 1 ,因此根据(9):

| σ P Q | 1 Q Q s | R s | 1 2 Q Q s 1 2 | R s | σ P Q 1 Q Q s R s 1 2 Q Q s 1 2 R s |sigma-(P)/(Q)| >= (1)/(QQ_(s))-|R_(s)| >= (1)/(2QQ_(s)) >= (1)/(2)|R_(s)|\left|\sigma-\frac{P}{Q}\right| \geqslant \frac{1}{Q Q_{s}}-\left|R_{s}\right| \geqslant \frac{1}{2 Q Q_{\mathrm{s}}} \geqslant \frac{1}{2}\left|R_{s}\right|
so dass in jedem Fall
因此在任何情况下都

| σ P Q | 1 2 | R s | σ P Q 1 2 R s |sigma-(P)/(Q)| >= (1)/(2)|R_(s)|\left|\sigma-\frac{P}{Q}\right| \geqslant \frac{1}{2}\left|R_{s}\right|
folgt.  如下。
Wenn nun aber Q Q QQ und also auch s s ss genügend gross ist, so gilt wegen (9) und (7)
如果 Q Q QQ 以及 s s ss 足够大,根据(9)和(7)成立

1 Q q 2 3 α s ( q 1 / m 1 ) q s 2 m 1 Q q 2 3 α s q 1 / m 1 q s 2 m (1)/(Q) <= q^(-(2)/(3)alpha s(q^(1//m)-1)q^((s-2)/(m)))\frac{1}{Q} \leq q^{-\frac{2}{3} \alpha s\left(q^{1 / m}-1\right) q^{\frac{s-2}{m}}}
und wegen (10) und (4)
并且根据(10)和(4)

| σ P Q | q 4 3 α q s m σ P Q q 4 3 α q s m |sigma-(P)/(Q)| >= q^(-(4)/(3)alphaq^((s)/(m)))\left|\sigma-\frac{P}{Q}\right| \geqslant q^{-\frac{4}{3} \alpha q^{\frac{s}{m}}}
also erst recht  更加成立
(B) :
| σ P Q | Q 2 q 2 / m a 1 / m 1 σ P Q Q 2 q 2 / m a 1 / m 1 |sigma-(P)/(Q)| >= Q^((2q^(2//m))/(a^(1//m)-1))\left|\sigma-\frac{P}{Q}\right| \geqslant Q^{\frac{2 q^{2 / m}}{a^{1 / m}-1}}
Damit ist bewiesen:  由此证明:
Satz 2: Alle Näherungsbrüche von σ σ sigma\sigma mit genügend grossem Nenner genügen det Ungleichung (B). Die Zahl o ist also Nicht-Liouvillesch.
定理 2:所有分母足够大的 σ σ sigma\sigma 的近似分数都满足不等式(B)。因此数 o 不是刘维尔数。
Herrn Dr. med. A. Heilbronn gewidmet.
献给医学博士 A. 海尔布隆。

Krefeld, März 1937.  克雷费尔德,1937 年 3 月。
Mathematics. - Two remarks on VAN DER Corput’s generalisation of Knopp’s inequality. By V. Levin. (Communicated by J. G. van der Corput).
数学。——关于范德科尔普特对诺普不等式推广的两点说明。作者:V. 莱文。(由 J. G. 范德科尔普特传达)。

(Communicated at the meeting of April 24, 1937).
(1937 年 4 月 24 日会议上传达)。
  1. Let a n 0 a n 0 a_(n)-=0a_{n} \equiv 0 (not all a n = 0 a n = 0 a_(n)=0a_{n}=0 ), 0 < u < 1 , q > 0 , 0 < p 1 0 < u < 1 , q > 0 , 0 < p 1 0 < u < 1,q > 0,0 < p <= 10<u<1, q>0,0<p \leqq 1. Then
    a n 0 a n 0 a_(n)-=0a_{n} \equiv 0 (非全为 a n = 0 a n = 0 a_(n)=0a_{n}=0 ), 0 < u < 1 , q > 0 , 0 < p 1 0 < u < 1 , q > 0 , 0 < p 1 0 < u < 1,q > 0,0 < p <= 10<u<1, q>0,0<p \leqq 1 。则

    F ( u ) = n = 0 u n ( a 0 ( n 0 ) q n a 1 ( n 1 ) q n 1 a n ( n n ) ) p ( q + 1 ) n q λ + 1 ( 1 λ ) 1 p { n = 0 a n } p F ( u ) = n = 0 u n a 0 ( n 0 ) q n a 1 ( n 1 ) q n 1 a n ( n n ) p ( q + 1 ) n q λ + 1 ( 1 λ ) 1 p n = 0 a n p F(u)=sum_(n=0)^(oo)u^(n)(a_(0)^(((n)/(0))q^(n))a_(1)^(((n)/(1))q^(n-1))dotsa_(n)^(((n)/(n))))^((p)/((q+1)^(n)))-=(q lambda+1)/((1-lambda)^(1-p)){sum_(n=0)^(oo)a_(n)}^(p)F(u)=\sum_{n=0}^{\infty} u^{n}\left(a_{0}^{\binom{n}{0} q^{n}} a_{1}^{\binom{n}{1} q^{n-1}} \ldots a_{n}^{\binom{n}{n}}\right)^{\frac{p}{(q+1)^{n}}} \equiv \frac{q \lambda+1}{(1-\lambda)^{1-p}}\left\{\sum_{n=0}^{\infty} a_{n}\right\}^{p}.
    where 0 < λ = λ ( u , p , q ) < 1 0 < λ = λ ( u , p , q ) < 1 0 < lambda=lambda(u,p,q) < 10<\lambda=\lambda(u, p, q)<1 is uniquely determined by
    其中 0 < λ = λ ( u , p , q ) < 1 0 < λ = λ ( u , p , q ) < 1 0 < lambda=lambda(u,p,q) < 10<\lambda=\lambda(u, p, q)<1 是唯一确定的
u = ( q + 1 ) λ 1 p q + 1 q λ + 1 u = ( q + 1 ) λ 1 p q + 1 q λ + 1 u=((q+1)lambda^(1-(p)/(q+1)))/(q lambda+1)u=\frac{(q+1) \lambda^{1-\frac{p}{q+1}}}{q \lambda+1}
The sign of equality in (1) holds for a n = c λ n ( c > 0 ) a n = c λ n ( c > 0 ) a_(n)=clambda^(n)(c > 0)a_{n}=c \lambda^{n}(c>0). Van DER CORPUT’s inequality 1 1 ^(1){ }^{1} ) is (1) with p = 1 p = 1 p=1p=1, in which case u = 1 u = 1 u=1u=1 is admitted (KNOPP’s inequality). But for p = 1 , u = 1 p = 1 , u = 1 p=1,u=1p=1, u=1 equality cannot occur in (1), the constant q + 1 q + 1 q+1q+1 remaining, however, the best possible.
等式(1)中的等号成立于 a n = c λ n ( c > 0 ) a n = c λ n ( c > 0 ) a_(n)=clambda^(n)(c > 0)a_{n}=c \lambda^{n}(c>0) 。范德科尔普特不等式 1 1 ^(1){ }^{1} )是带有 p = 1 p = 1 p=1p=1 的(1),在这种情况下允许 u = 1 u = 1 u=1u=1 (克诺普不等式)。但对于 p = 1 , u = 1 p = 1 , u = 1 p=1,u=1p=1, u=1 ,等式(1)中不可能出现等号,常数 q + 1 q + 1 q+1q+1 仍然是最佳的。

The proof of (1) runs as follows:
(1)的证明如下:
F ( u ) = n = 0 u n λ n p q + 1 ( ( a 0 p λ p .0 ) ( n 0 ) q n ( a 1 p λ p .1 ) ( n 1 ) q n 1 ( a n p λ p n ) ( n n ) ) 1 ( q + 1 ) n n = 0 u n λ n p q + 1 1 ( q + 1 ) n m = 0 n ( n m ) q n m a m p λ m p = m = 0 a m p ( u λ p q q + 1 q + 1 ) m n = m ( n m ) ( q u λ p q + 1 q + 1 ) n m = m = 0 a m p ( u λ p q q + 1 q + 1 ) m ( 1 q u λ p q + 1 q + 1 ) m 1 = ( q λ + 1 ) m = 0 a m p λ m ( 1 p ) F ( u ) = n = 0 u n λ n p q + 1 a 0 p λ p .0 ( n 0 ) q n a 1 p λ p .1 ( n 1 ) q n 1 a n p λ p n ( n n ) 1 ( q + 1 ) n n = 0 u n λ n p q + 1 1 ( q + 1 ) n m = 0 n ( n m ) q n m a m p λ m p = m = 0 a m p u λ p q q + 1 q + 1 m n = m ( n m ) q u λ p q + 1 q + 1 n m = m = 0 a m p u λ p q q + 1 q + 1 m 1 q u λ p q + 1 q + 1 m 1 = ( q λ + 1 ) m = 0 a m p λ m ( 1 p ) {:[F(u)=sum_(n=0)^(oo)u^(n)(lambda^((np)/(q+1))((a_(0)^(p)lambda^(-p.0))^(((n)/(0))q^(n))(a_(1)^(p)lambda^(-p.1))^(((n)/(1))q^(n-1))cdots(a_(n)^(p)lambda^(-pn))^(((n)/(n))))^((1)/((q+1)^(n))))/()],[ <= sum_(n=0)^(oo)u^(n)lambda^((np)/(q+1))(1)/((q+1)^(n))sum_(m=0)^(n)((n)/(m))q^(n-m)a_(m)^(p)lambda^(-mp)],[=sum_(m=0)^(oo)a_(m)^(p)((ulambda^(-(pq)/(q+1)))/(q+1))^(m)sum_(n=m)^(oo)((n)/(m))((qulambda^((p)/(q+1)))/(q+1))^(n-m)],[=sum_(m=0)^(oo)a_(m)^(p)((ulambda^(-(pq)/(q+1)))/(q+1))^(m)(1-(qulambda^((p)/(q+1)))/(q+1))^(-m-1)],[=(q lambda+1)sum_(m=0)^(oo)a_(m)^(p)lambda^(m(1-p))]:}\begin{aligned} F(u) & =\sum_{n=0}^{\infty} u^{n} \frac{\lambda^{\frac{n p}{q+1}}\left(\left(a_{0}^{p} \lambda^{-p .0}\right)^{\binom{n}{0} q^{n}}\left(a_{1}^{p} \lambda^{-p .1}\right)^{\binom{n}{1} q^{n-1}} \cdots\left(a_{n}^{p} \lambda^{-p n}\right)^{\binom{n}{n}}\right)^{\frac{1}{(q+1)^{n}}}}{} \\ & \leqq \sum_{n=0}^{\infty} u^{n} \lambda^{\frac{n p}{q+1}} \frac{1}{(q+1)^{n}} \sum_{m=0}^{n}\binom{n}{m} q^{n-m} a_{m}^{p} \lambda^{-m p} \\ & =\sum_{m=0}^{\infty} a_{m}^{p}\left(\frac{u \lambda^{-\frac{p q}{q+1}}}{q+1}\right)^{m} \sum_{n=m}^{\infty}\binom{n}{m}\left(\frac{q u \lambda^{\frac{p}{q+1}}}{q+1}\right)^{n-m} \\ & =\sum_{m=0}^{\infty} a_{m}^{p}\left(\frac{u \lambda^{-\frac{p q}{q+1}}}{q+1}\right)^{m}\left(1-\frac{q u \lambda^{\frac{p}{q+1}}}{q+1}\right)^{-m-1} \\ & =(q \lambda+1) \sum_{m=0}^{\infty} a_{m}^{p} \lambda^{m(1-p)} \end{aligned}

    1. P. Quensel. loc. cit. S. 105.
      P. Quensel。原文出处,第 105 页。

      2 2 ^(2){ }^{2} ) P. J. Holmquist, loc. cit. S. 60.
      2 2 ^(2){ }^{2} )P. J. Holmquist,原文出处,第 60 页。
  1. 1 1 ^(1){ }^{1} ) Wegen einiger elementarer Aussagen vergl. eine demnächst in Mathematica B B BB (Zutphen) erscheinende Note des Verfassers. Dort wird auch schon das Ergebnis dieser Arbeit im Spezialfall f ( x ) = x f ( x ) = x f(x)=xf(x)=x gezeigt.
    1 1 ^(1){ }^{1} ) 关于一些基本命题,参见作者即将在 Mathematica B B BB (Zutphen)发表的一篇笔记。该笔记中也已经展示了本工作在特殊情况下的结果 f ( x ) = x f ( x ) = x f(x)=xf(x)=x
  2. 3 3 ^(3){ }^{3} ) Da SCHNEIDER selbst seinen Beweis nur skizziert, so werde verwiesen nach folgender Arbeit des Verfassers: “Ein Analogon zu einem Schneiderschen Satz”, Proc. Royal. Akad., Amsterdam, 39, 633-640 u. 729–739 (1936). In dem dort in allen Einzelheiten bewiesenen Satz 2 ist der Satz von SCHNEIDER als Spezialfall enthalten.
    3 3 ^(3){ }^{3} ) 由于 SCHNEIDER 仅略述了他的证明,故请参阅作者的以下工作:“Ein Analogon zu einem Schneiderschen Satz”,发表于 Proc. Royal. Akad., Amsterdam, 39, 633-640 及 729–739 (1936)。其中详尽证明的定理 2 包含了 SCHNEIDER 定理作为特殊情况。
  3. 1 ) 1 ) ^(1)){ }^{1)} “Generalisation of an inequality by KNOPP”, these Proceedings 39 (1936), 1053 3 1055.
    1 ) 1 ) ^(1)){ }^{1)} “KNOPP 不等式的推广”,载于本会议录 39 (1936), 1053 至 1055。