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結果を意味します。