オイラーのトーシェント関数

Core idea

Overview

オイラーのトーシェント関数について、主要な入力値と式の関係を整理し、計算結果の意味を解釈するための説明です。条件、単位、前提を確認しながら使うことで、結果を比較、判断、見積もり、リスク確認に結びつけやすくなります。必要に応じて値を変え、結果の変化も確認してください。

When to use: オイラーのトーシェント関数は、与えられた値から必要な結果を求めたいときに使います。入力の単位、範囲、前提条件を確認してから代入し、計算結果を現実の条件や問題文の目的と照らし合わせてください。

Why it matters: オイラーのトーシェント関数の結果は、数値を比較し、傾向、制約、リスク、設計上の判断を説明するために役立ちます。答えを単独の数値として扱わず、条件が変わったときの意味や妥当性も確認できます。

Symbols

Variables

$ϕ$ (n) = Totient Value, n = Input Integer

ϕ (n)

Totient Value

Variable

n

Input Integer

Variable

Walkthrough

Derivation

オイラーのトーシェント関数の導出/理解

この導出は、与えられた整数nまででnと互いに素な正の整数の個数を数えるオイラーのトーシェント関数が、nの素因数分解を用いて表現できることを示しています。

1

定義と乗法的性質:

まずオイラーのトーシェント関数を定義し、その重要な乗法的性質を述べます。これにより、合成数の計算をその素因数冪の計算に分解できます。

Euler’s totient function ϕ (n) counts the positive integers up to n that are relatively prime to n . It is a multiplicative function, meaning if g cd (m, n) = 1, then ϕ (mn) = ϕ (m) ϕ (n) .

2

素数の冪の場合:

素数の冪 $p^{k}$ に対して、それと互いに素でない唯一の数は $p$ の倍数です。これらを総数 $p^{k}$ から引くことで、 $ϕ (p^{k})$ の公式が得られます。

Consider n = p^{k} for a prime p and integer k \geq 1. The integers not relatively prime to p^{k} are multiples of p : p, 2 p, \dots, p^{k - 1} p . There are p^{k - 1} such multiples up to p^{k} . ϕ (p^{k}) = p^{k} - p^{k - 1} = p^{k} (1 - \frac{1}{p}) .

3

素因数分解を用いた一般の場合:

算術の基本定理を用いると、任意の正の整数 $n$ は一意に素数の冪の積として表されます。 $ϕ (n)$ の乗法的性質により、各因子に素数の冪の公式を適用できます。

Let the prime factorization of n be n = p_{1}^{k_{1}} p_{2}^{k_{2}} \dots p_{r}^{k_{r}} . Due to the multiplicative property, we can write: ϕ (n) = ϕ (p_{1}^{k_{1}}) ϕ (p_{2}^{k_{2}}) \dots ϕ (p_{r}^{k_{r}}) .

4

代入と簡略化:

各素因数冪に対して $ϕ (p^{k})$ の導出された公式を代入し項を整理することで、オイラーのトーシェント関数の積公式が得られます。ここで積は $n$ のすべての異なる素因数 $p$ に対して取られます。

Substitute the formula for ϕ (p^{k}) into the expression: ϕ (n) = p_{1}^{k_{1}} (1 - \frac{1}{p _{1}}) \cdot p_{2}^{k_{2}} (1 - \frac{1}{p _{2}}) \dots p_{r}^{k_{r}} (1 - \frac{1}{p _{r}}) ϕ (n) = (p_{1}^{k_{1}} p_{2}^{k_{2}} \dots p_{r}^{k_{r}}) (1 - \frac{1}{p _{1}}) (1 - \frac{1}{p _{2}}) \dots (1 - \frac{1}{p _{r}}) Recognizing that n = p_{1}^{k_{1}} p_{2}^{k_{2}} \dots p_{r}^{k_{r}}, we get: ϕ (n) = n p ∣ n \prod (1 - \frac{1}{p}) .

Result

Substitute the formula for ϕ (p^{k}) into the expression: ϕ (n) = p_{1}^{k_{1}} (1 - \frac{1}{p _{1}}) \cdot p_{2}^{k_{2}} (1 - \frac{1}{p _{2}}) \dots p_{r}^{k_{r}} (1 - \frac{1}{p _{r}}) ϕ (n) = (p_{1}^{k_{1}} p_{2}^{k_{2}} \dots p_{r}^{k_{r}}) (1 - \frac{1}{p _{1}}) (1 - \frac{1}{p _{2}}) \dots (1 - \frac{1}{p _{r}}) Recognizing that n = p_{1}^{k_{1}} p_{2}^{k_{2}} \dots p_{r}^{k_{r}}, we get: ϕ (n) = n p ∣ n \prod (1 - \frac{1}{p}) .

Source: Rosen, K. H. (2011). Elementary Number Theory and Its Applications (6th ed.). Pearson.

Why it behaves this way

Intuition

1からnまでのすべての数から始め、nの各異なる素因数の倍数を体系的にふるい落として、nと共通因数を持たない数のみを残すふるいを想像してください。

ϕ (n)

n以下でnと互いに素な正の整数の個数。

nまでの数の「互いに素な密度」または「相対的な素数性」を表します。

ϕ

(n) が大きいほど、nと共通の素因数を持たない数が多いことを意味します。

n

トーシェントが計算される正の整数。

考慮される整数の範囲の上限;1からnまでの数の「宇宙」。

p

nの異なる素因数。

これらはnの基本的な素数の構成要素であり、共有されると他の数がnと互いに素であることを防ぎます。

(1 - \frac{1}{p})

pで割り切れないn以下の数の割合。

この因子は、nと素因数pを共有する数を「除去」し、pに基づいて非互いに素な数を効果的に除外します。

Signs and relationships

(1 - \frac{1}{p}): 減算「1 - ...」は除外の原理を表しています。全体の集合(1で表される)から、素因数pで割り切れる数の割合(1/p)を引くことです。

Free study cues

Insight

Canonical usage

オイラーのトーシェント関数は整数カウントに作用し、整数カウントを返すため、物理的な意味では本質的に無次元量です。

Dimension note

この関数は整数の個数を計算するため、その入力と出力はいずれも本質的に無次元量です。物理単位や物理次元は関与しません。

One free problem

Practice Problem

次の条件を使って、オイラーのトーシェント関数を求めてください。必要な値を式に代入し、単位と桁数を確認して答えてください。条件: 12, 12, 1。

Hint: オイラーのトーシェント関数の式に既知の値を代入し、単位、符号、分母と分子の対応を確認しながら計算してください。問題文で与えられた条件を先に整理すると解きやすくなります。

The full worked solution stays in the interactive walkthrough.

Where it shows up

Real-World Context

オイラーのトーシェント関数は、実務、学習、分析の場面で具体的な値を代入して結果を確認するときに使えます。計算結果を単なる数値として扱うのではなく、条件の比較、判断、見積もり、リスク確認に結びつけて解釈するのに役立ちます。関連する記号: \phi。

Study smarter

Tips

n が素数なら、φ(n) = n - 1 です。
一意な素因数だけを特定してください。因数分解に同じ因数が複数回現れても繰り返さないでください。
素数冪 pᵏ の場合、その値は pᵏ - pᵏ⁻¹ です。
この関数は乗法的です。m と n が互いに素なら、φ(m ×n) = φ(m) ×φ(n) です。

Avoid these traps

Common Mistakes

積の公式において、一意の素因数のみを含むべきところを、すべての約数を含めてしまう誤り。
φ(n) を約数の個数 $τ$ (n) と混同すること。

Keep going

Related Formulas

Common questions

Frequently Asked Questions

この導出は、与えられた整数nまででnと互いに素な正の整数の個数を数えるオイラーのトーシェント関数が、nの素因数分解を用いて表現できることを示しています。

オイラーのトーシェント関数は、与えられた値から必要な結果を求めたいときに使います。入力の単位、範囲、前提条件を確認してから代入し、計算結果を現実の条件や問題文の目的と照らし合わせてください。

オイラーのトーシェント関数の結果は、数値を比較し、傾向、制約、リスク、設計上の判断を説明するために役立ちます。答えを単独の数値として扱わず、条件が変わったときの意味や妥当性も確認できます。

積の公式において、一意の素因数のみを含むべきところを、すべての約数を含めてしまう誤り。 φ(n) を約数の個数 \tau(n) と混同すること。