組合せ数学において、階乗進法とは順列を数え上げるのに適する、複数の底が混在した位取り記数法である。
定義
階乗進法は複数の底が混在した位取り記数法であり、下からi桁目の仮数が0からi-1、底がiとなる。
桁 | 8 | 7 | 6 | 5 | 4 | 3 | 2 | 1 |
桁の重み | 7! | 6! | 5! | 4! | 3! | 2! | 1! | 0! |
桁の重み(十進法) | 5040 | 720 | 120 | 24 | 6 | 2 | 1 | 1 |
桁の仮数 | 7 | 6 | 5 | 4 | 3 | 2 | 1 | 0 |
ただし、最下位は常に0となるため、省略されることもある。また、下から11桁目以降の桁には10以上の数が入るため、アルファベットが用いられる場合が多い。
以下、この記事中では階乗進法で表記されていることを表すための添字として、"!"を用いることにする。
例えば、323100!は、
- 323100!
- = 3×5! + 2×4! + 3×3! + 1×2! + 0×1! + 0×0!
- = ((((3×5 + 2)×4 + 3)×3 + 1)×2 + 0)×1 + 0
- = 42810
と変換することができる。
異なる記数法への変換方法は階乗進法においても同様に適用できる。例えば、42810を階乗進法に変換するためには、以下のような操作を行えば良い。
- 428 ÷ 1 = 428 あまり 0
- 428 ÷ 2 = 214 あまり 0
- 214 ÷ 3 = 71 あまり 1
- 71 ÷ 4 = 17 あまり 3
- 17 ÷ 5 = 3 あまり 2
- 3 ÷ 6 = 0 あまり 3
|
この計算によって出たあまりを下からたどって、42810=323100!
また、階乗進法によって任意の整数を一意の小数として表せることは、以下の式から導かれる。
![{\displaystyle \sum _{i=0}^{n}{i\cdot i!}={(n+1)!}-1}](https://wikimedia.org/api/rest_v1/media/math/render/svg/03f973dc6d0947757c009b52fe0ee7255f2d9828)
この恒等式は、数学的帰納法によって容易に証明することができる。
順列
整数が階乗進法で表現されている場合、整数0,...,n!−1(または階乗進法でn桁の数)と辞書式順序でのn個の要素の順列の間には自然な写像があり、この写像はレーマー符号と呼ばれている。たとえば n=3 の場合、写像は以下の表の通りとなる
10進法 | 階乗進法 | 順列 |
010 | 0:0:0! | (0,1,2) |
110 | 0:1:0! | (0,2,1) |
210 | 1:0:0! | (1,0,2) |
310 | 1:1:0! | (1,2,0) |
410 | 2:0:0! | (2,0,1) |
510 | 2:1:0! | (2,1,0) |
小数
この記数法の拡張として、小数を表すために小数第n位の重みを1/n!とする方法があり、これによって任意の有理数を有限小数で表現できるという特徴がある。この方法で拡張した場合、小数第1位は常に0となる。 以下に一部の変換表を示す。ただし、全て左辺は十進法である。
![{\displaystyle 1/2=0.0\ 1_{!}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/3fa1816af7397a2171a8f1238d24571b171f05ce)
![{\displaystyle 1/3=0.0\ 0\ 2_{!}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/909f49562e5a911fa8ee2821a6fa3ccf487950c5)
![{\displaystyle 2/3=0.0\ 1\ 1_{!}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/b9eb4e5f1031ccbebcab00a417b2a2a1a41a1493)
![{\displaystyle 1/4=0.0\ 0\ 1\ 2_{!}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/35dca9983eb5a30bb4391b159a8342b00a02f0a8)
![{\displaystyle 3/4=0.0\ 1\ 1\ 2_{!}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/488f5894aec8e96a47d57eb838112434e6bfa116)
![{\displaystyle 1/5=0.0\ 0\ 1\ 0\ 4_{!}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/17875a4e469b50acc93cdc78443076a14d9c4385)
![{\displaystyle 1/6=0.0\ 0\ 1_{!}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/6876c839ba36b83113cf5f6686b7313d538fa140)
![{\displaystyle 5/6=0.0\ 1\ 2_{!}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/710ef50c82341f7002639cdb59c9abaa8144d616)
![{\displaystyle 1/7=0.0\ 0\ 0\ 3\ 2\ 0\ 6_{!}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/935fe7e736555aa5c8b1ecdb417af8e89ef81d96)
![{\displaystyle 1/8=0.0\ 0\ 0\ 3_{!}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/d496078099cca22d7b3c9acd2343f202ed19337c)
![{\displaystyle 1/9=0.0\ 0\ 0\ 2\ 3\ 2_{!}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/bf87a50a444c3e4844397d41e23ec896b5590286)
![{\displaystyle 1/10=0.0\ 0\ 0\ 2\ 2_{!}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/1aab6e65276924395e3a9c4f743472db9d36ffc1)
![{\displaystyle 1/11\ \ =0.0\ 0\ 0\ 2\ 0\ 5\ 3\ 1\ 4\ 0\ A_{!}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/7493580fe82c5bf422ab8838e4e434ab3ee01768)
![{\displaystyle 2/11\ \ =0.0\ 0\ 1\ 0\ 1\ 4\ 6\ 2\ 8\ 1\ 9_{!}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/7a28452b79e4480f7b27a2724bbd6025d2d953f8)
![{\displaystyle 9/11\ \ =0.0\ 1\ 1\ 3\ 3\ 1\ 0\ 5\ 0\ 8\ 2_{!}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/b945c1bc578232fa6a10b5db97043c4f32e2cd3b)
![{\displaystyle 10/11=0.0\ 1\ 2\ 1\ 4\ 0\ 3\ 6\ 4\ 9\ 1_{!}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/bac181a5013cdb58f63e9429cae24202006019ef)
![{\displaystyle 1/12\ \ =0.0\ 0\ 0\ 2_{!}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/7c877c2049c00a96d98e7ce303807df5e730a40a)
![{\displaystyle 5/12\ \ =0.0\ 0\ 2\ 2_{!}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/90d6136468e157736ba6cb8a2830e133d7ecffbe)
![{\displaystyle 7/12\ \ =0.0\ 1\ 0\ 2_{!}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/1fbbbc909234a1e5a59e795ad50be9489925221b)
![{\displaystyle 11/12=0.0\ 1\ 2\ 2_{!}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/579c065d2588e90129c1faf7f4b24e066b78496a)
![{\displaystyle 1/15=0.0\ 0\ 0\ 1\ 3_{!}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/1957287f437b2d70374d0c70526ff7382e7a8129)
![{\displaystyle 1/16=0.0\ 0\ 0\ 1\ 2\ 3_{!}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/c99cbe1feaec40d18377d38073f3ecb0db44ca35)
![{\displaystyle 1/18=0.0\ 0\ 0\ 1\ 1\ 4_{!}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/5912dcf1de845789c808c2b4d2a91b373d6b9548)
![{\displaystyle 1/20=0.0\ 0\ 0\ 1\ 1_{!}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/8e8eadc98837f64da224abcf5db1876b0124f2dd)
![{\displaystyle 1/24=0.0\ 0\ 0\ 1_{!}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/67d6d6d710551b1043b4410d597b47008869b92e)
![{\displaystyle 1/30=0.0\ 0\ 0\ 0\ 4_{!}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/439ac2a7cd90876583e8e27ed1923dd2ea7471b1)
![{\displaystyle 1/36=0.0\ 0\ 0\ 0\ 3\ 2_{!}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/fa3a414b24a8faea9b786c588bdf4499ea13094b)
![{\displaystyle 1/60=0.0\ 0\ 0\ 0\ 2_{!}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/c9a3a152c808559a025f24febc17183c063d28a3)
![{\displaystyle 1/72=0.0\ 0\ 0\ 0\ 1\ 4_{!}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/e07a0fcde8588fb92d0646aa7e13b01ebf89153b)
![{\displaystyle 1/120=0.0\ 0\ 0\ 0\ 1_{!}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/defc33e2a88f42a34f73aa05e2b7b9c419e8c7ce)
![{\displaystyle 1/144=0.0\ 0\ 0\ 0\ 0\ 5_{!}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/6b5b1f76819a36770881124bbb35b8c23dd73142)
![{\displaystyle 1/240=0.0\ 0\ 0\ 0\ 0\ 3_{!}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/e5e9889d652941a3bbb912b9eb77ae7750da40b0)
![{\displaystyle 1/360=0.0\ 0\ 0\ 0\ 0\ 2_{!}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/9c7cd337602485c846b4c413392081f085f7907e)
![{\displaystyle 1/720=0.0\ 0\ 0\ 0\ 0\ 1_{!}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/7f72b91478a6db9ff22bc670b111b0c2eac763f9)
一部の無理数は、階乗進法に変換したときに特徴的な小数表示を持つ。例えば以下のようなものである。
![{\displaystyle e=1\ 0.0\ 1\ 1\ 1\ 1\ 1\ 1\ 1\ 1\ 1\ 1\ 1\ 1\ 1\ 1\ 1\cdots _{!}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/452b359553cb703bfea5db7c9632fe90cd6285a7)
![{\displaystyle e^{-1}=0.0\ 0\ 2\ 0\ 4\ 0\ 6\ 0\ 8\ 0\ A\ 0\ C\ 0\ E\cdots _{!}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/68f152e7c99a642f8ca96c777adcc0e3d2fb803a)
![{\displaystyle \sin(1)=0.0\ 1\ 2\ 0\ 0\ 5\ 6\ 0\ 0\ 9\ A\ 0\ 0\ D\ E\cdots _{!}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/2d6b9546f6aaae86f200dd339becdf9697bcf668)
![{\displaystyle \cos(1)=0.0\ 1\ 0\ 0\ 4\ 5\ 0\ 0\ 8\ 9\ 0\ 0\ C\ D\ 0\cdots _{!}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/6f2e9d8aa492996d9ebfa077f81e1f3dad82da13)
![{\displaystyle \sinh(1)=1.0\ 0\ 1\ 0\ 1\ 0\ 1\ 0\ 1\ 0\ 1\ 0\ 1\ 0\ 1\ 0\cdots _{!}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/9e8398ef37d23228074f5a0dcba68ab63199dd62)
![{\displaystyle \cosh(1)=1.0\ 1\ 0\ 1\ 0\ 1\ 0\ 1\ 0\ 1\ 0\ 1\ 0\ 1\ 0\ 1\cdots _{!}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/58c23e2c997cb2f7a18bc6a008394e17ad20ec58)
素数階乗進法
階乗進法によく似た位取り記数法として、素数階乗進法が存在する。これは下からn桁目の重みを
としたものである。
桁 | 8 | 7 | 6 | 5 | 4 | 3 | 2 | 1 |
桁の重み | (p7=17)# | (p6=13)# | (p5=11)# | (p4=7)# | (p3=5)# | (p2=3)# | (p1=2)# | (p0=1)# |
桁の重み(十進法) | 510510 | 30030 | 2310 | 210 | 30 | 6 | 2 | 1 |
桁の仮数 | 18 | 16 | 12 | 10 | 6 | 4 | 2 | 1 |
この記数法の一意性は以下の恒等式によって保証される。
![{\displaystyle \sum _{i=0}^{n}(p_{i+1}-1)\cdot p_{i}\#=p_{n+1}\#-1}](https://wikimedia.org/api/rest_v1/media/math/render/svg/2ddf3fb83c75b9e8e6a5e9628b0b98c4626420f0)
ただし、
は素数階乗を表す。
関連項目