数学の初等整数論におけるルジャンドルの公式（ルジャンドルのこうしき、）とは、自然数 の階乗 を素数 で（整数の範囲で）割り切る最大回数を与える式である。 を素因数分解したときの の冪乗の指数とも言い換えられる。アドリアン＝マリ・ルジャンドルに因んで名付けられた。ルジャンドルの定理、に因んでド・ポリニャックの公式とも呼ばれる。
概要 任意の非負整数 と任意の素数 に対して、 を割り切る最大 -冪の指数（すなわち、 の -進付値）を で表す。このとき自然数 に対して
が成り立つ。ここで は床関数である。右辺の総和は見かけ上無限和となっているが実際には、 ならば となるため、 は まで取ればよい。
例 のとき、 である。それぞれの指数は である。これらは以下のようにルジャンドルの公式によって計算できる。
証明 であるから、 以下の各自然数の素因数 の指数の総和が求める値である。まず、 以下の の正の倍数は 個だけある。加えて、 の倍数があるごとに に素因数 をさらに1個見い出すことができる。 以降も同様である。故に はこれらの総和に等しい。
他の形式 を底とする -進展開の観点からルジャンドルの公式を定式化し直すこともできる。 を の 進表記における各位の和とすると以下の式が成り立つ。
例えば、 を二進法で表記すると であり、である。したがって
同様に、 を三進法表示は であり、である。したがって
である。
証明 は 進法で と書ける。したがって、 であり、
応用 ルジャンドルの公式を用いてクンマーの定理を証明することができる。特別な場合の一つとして、 を正の整数とすると、 が で割り切れるための必要十分条件は、 が の冪でないことである。
また、ルジャンドルの公式からは の収束半径は であることが導ける。
参考文献
外部リンク