オイラーのトーシェント関数(φ関数)
-
0:02 - 0:05オイラーは、数の性質(特に素数の分布)を
-
0:05 - 0:09調査し続けました。
-
0:09 - 0:10彼の扱った重要な関数の1つに
-
0:10 - 0:12φ(ファイ)関数があります。
-
0:12 - 0:15φ関数は、数字の分割性を示します。
-
0:15 - 0:17例えば Nという数が与えられた時、
-
0:17 - 0:21φ関数では N 以下の数のうち、
-
0:21 - 0:24Nと公約数を持たない数の個数が解となります。
-
0:24 - 0:28例えば、8のφを見てみましょう。
-
0:28 - 0:30まず1から8までの数を並べます。
-
0:30 - 0:32そして、2以上の整数で8と公約数のないものを数えます。
-
0:32 - 0:35そして、2以上の整数で8と公約数のないものを数えます。
-
0:35 - 0:37たとえば6は数えることができません。
-
0:37 - 0:398と6は共に2で割ることができるからです。
-
0:39 - 0:42一方、1、3、5、7は数えることができます。
-
0:42 - 0:44これらは、8との公約数を1以外で持たないからです。
-
0:44 - 0:48よって、 φ(8)=4 です。
-
0:48 - 0:50φ関数の面白いところは、
-
0:50 - 0:54ある特別な場合に
簡単に計算ができることです。 -
0:54 - 0:56このグラフは、
-
0:56 - 1:011から1000までの整数の
φ(N)の値を図にしたものです。 -
1:01 - 1:04さて、なにか予測可能なパターンに気づくでしょうか?
-
1:04 - 1:07直線に見える部分が、全て素数を表しているのです。
-
1:07 - 1:11直線に見える部分が、全て素数を表しているのです。
-
1:11 - 1:14素数は1以外に公約数を持たないので、
-
1:14 - 1:19どんな素数(P)でも φ関数の値は(P-1)となります。
-
1:19 - 1:22φ(7)を計算してみましょう。
-
1:22 - 1:247は素数なので、7以外の数は数えることができます。
-
1:24 - 1:277以外は公約数がないですからね。
-
1:27 - 1:31φ(7)=6になります。
-
1:31 - 1:37だから、もし素数である21377のφを求めよ
といわれたら、 -
1:37 - 1:41ただそこから1をひくだけで答えが出ます。
つまり、21376 です。 -
1:41 - 1:44ただそこから1をひくだけで答えが出ます。
つまり、21376 です。 -
1:44 - 1:48どんな素数でもφを計算することは簡単です。
-
1:48 - 1:50他にも、応用可能な面白い性質があります。
-
1:50 - 1:53それはφ関数はかけ算もできるということです。
-
1:53 - 2:00つまりは、φ(A×B)=φ(A)×φ(B)という関係です。
-
2:00 - 2:02もし、ある数Nが2つの素数(P1,P2) の積で
あらわされることが分かっている時、 -
2:02 - 2:06もし、ある数Nが2つの素数(P1,P2) の積で
あらわされることが分かっている時、 -
2:06 - 2:09φ(N)は、それぞれのφのかけ算と同じになります。
-
2:09 - 2:13φ(N)は、それぞれのφのかけ算と同じになります。
-
2:13 - 2:17つまり、(P1−1)×(P2−1)です。
![]() |
linoal.13 edited Japanese subtitles for Euler's Totient Function (phi function) | |
![]() |
linoal.13 edited Japanese subtitles for Euler's Totient Function (phi function) | |
![]() |
linoal.13 edited Japanese subtitles for Euler's Totient Function (phi function) | |
![]() |
nobuko hamaguchi edited Japanese subtitles for Euler's Totient Function (phi function) | |
![]() |
nobuko hamaguchi edited Japanese subtitles for Euler's Totient Function (phi function) | |
![]() |
Kazuaki Kumagai edited Japanese subtitles for Euler's Totient Function (phi function) | |
![]() |
Kazuaki Kumagai edited Japanese subtitles for Euler's Totient Function (phi function) | |
![]() |
Kazuaki Kumagai edited Japanese subtitles for Euler's Totient Function (phi function) |