min
オンラインでお試しください!
数値文字列を取り、その最小桁を最小文字として出力します。たとえば、254
を与え2
ます。これらの数字で始まる小数
0.0123456789011111111101222222220123333333012344444401234555550123456666012345678801234567
これはOEIS A054054です。
申し立て:この番号c
は超越的です
証明:c
非常にまばら であることに注意してください:ほとんどすべての数字がゼロです。これは、large n
がn
ゼロ桁である可能性が高く、最小桁がゼロになるためです。さらに、c
連続したゼロの長い実行があります。これc
は超越的であることを示す既存の結果を使用します。
このmath.SEの質問に続いてZ(k)
、のk
'ゼロ番目以外の桁の位置を表しc
、とのc_k
間の整数であるゼロ以外の桁1
とし9
ます。その後、我々はの小数展開を表現するc
が、唯一のオーバー和としてとして、ゼロ以外の数字を取るk=1,2,3,...
のc_k/10^Z(k)
。
George Lowtherによるこの回答のポイント4の結果を使用しますc
。これは、これまでに桁数の少なくとも一定の割合であるゼロの実行が無限に多い場合、超越的です。正式には、ε>0
そのようZ(k+1)/Z(k) > 1+ε
に無限に多く存在する必要がありますk
。使用しますε=1/9
桁の任意の数のためにd
、取るk
にZ(k) = 99...99
してd
華やかに。このようなa k
は、この数字がでc
あり、9
ゼロ以外であるために存在します。からカウントアップすると99...99
、これらの数値はすべてゼロ桁を含むため、でゼロの長い実行の開始をマークしc
ます。次の非ゼロの数字はまでではないZ(k+1) = 1111...11
とd+1
するもの。比率はZ(k+1)/Z(k)
わずかに超えてい1+1/9
ます。
これは、すべての条件を満たし、d
結果を意味します。