• トノイテ、オ、、ソケヤ、マ、ウ、ホソァ、ヌ、ケ。」
  • コス、オ、、ソケヤ、マ、ウ、ホソァ、ヌ、ケ。」
  • 1、ホクカサマnセ霄ャ 、リケヤ、ッ。」

*フワシ。 [#rb5a4c40]

#contents


*1、ホクカサマnセ霄ャ [#o0019879]

#divid(s,thorem)
[トオチ]'''1、ホクカサマnセ霄ャ'''、ネ、マトセエムナェ、ヒ、、、ィ、ミnセ隍キ、ニス鬢皃ニ1、ヒ、ハ、[[1、ホnセ霄ャ]]、ホ、ウ、ネ、ヌ、「、。」
[トオチ]''1、ホクカサマnセ霄ャ''、ネ、マトセエムナェ、ヒ、、、ィ、ミnセ隍キ、ニス鬢皃ニ1、ヒ、ハ、[[1、ホnセ霄ャ]]、ホ、ウ、ネ、ヌ、「、。」
#divid(e,thorem)

。。1、ホnセ霄ャ、マ。「nセ隍キ、ニ1、ヒ、ハ、xSUP{n};-1=0、ホイ、ヌ、「、。」xSUP{n};=1、ホイ、マシ。、ヌ、「、。」

&mimetex("\zeta_n");~
&mimetex("={(e^{\frac{2 \pi i}{n}})}^k");~
&mimetex("=e^{\frac{2 \pi ki}{n}}");~
&mimetex("=\cos{\frac{2 \pi k}{n}}+i \cdot \sin{\frac{2 \pi k}{n}} \, (k=0,1,\cdots,n-1)");。。。ハ「鐚[・ェ・、・鬘シ、ホクシー]]。ヒ

。。&mimetex("\zeta_0 = 1");、ヌ、「、、ホ、ヌ。「イ、マ&mimetex("\{1, \zeta_n, \zeta_n^2, \cdots, \zeta_n^{n-1} \}");、ホ、隍ヲ、ハ[[ス茣キイ]]、タョ、キ、ニ、、、。」

#divid(s,thorem)
[トヘ]。ヨ&mimetex("\zeta_n^k");、ャ1、ホクカサマnセ霄ャ。ラ「ホ。ヨ(k,n)=1。ラ
#divid(e,thorem)

#divid(s,proof)
[セレフタ]1、ヒ、ハ、1、ホnセ霄ャ、ネ、ハ、、隍ヲ、ハk、ホタュシチ、ケヘ、ィ、ニ、゚、。」

&mimetex("(\zeta_n^k)^h=1");~
&mimetex("\Longleftrightarrow \cos{\frac{2 \pi kh}{n}} + i \cdot \sin{\frac{2 \pi kh}{n}} = 1");~
&mimetex("\Longleftrightarrow \frac{2 \pi kh}{n} = 2 \pi m");。。。ハm。ァ、「、ターソ。ヒ~
&mimetex("\Longleftrightarrow \frac{kh}{n} = m");~
「ホh、マn/d、ホヌ、ーユ、ホヌワソ。ハ、ソ、タ、キ。「d=(k,n)。ヒ

、ウ、ホ、隍ヲ、ハh、ホコヌセョテヘ、ャn、ヌ、「、、ホ、マd=1、ヒクツ、。」。。「「
#divid(e,proof)


#divid(s,thorem)
[トヘ][[1、ホnセ霄ャ]]1,ヲリ,ヲリSUP{2};,。ト,ヲリSUP{n-1};。ハヲリSUP{n};=1。ヒ、ホテ讀ヌ。「1、ホクカサマnセ霄ャ、マヲユ(n)クト、「、。」
#divid(e,thorem)

#divid(s,proof)
[セレフタ]、ウ、ホ1、ホクカサマpセ霄ャ、ホクトソ、マヲユ(p)クト、「、、ホ、マ[[オラホアナ遑ヲ・ェ・、・鬘シエリソ]]、ホトオチ、隍フタ、鬢ォ、ヌ、「、。」。。「「
#divid(e,proof)

#divid(s,thorem)
[トヘ]p、ャチヌソ、ハ、鬢ミ。「1,2,。ト,p-1、マ、ケ、ル、ニp、ネク゚、、、ヒチヌ、タ、ォ、鬘「1、ホpセ霄ャ1,ヲリ,ヲリSUP{2};,。ト,ヲリSUP{p-1};、ホテ讀ヌ。「1ーハウー、ホp-1クト、マ、ケ、ル、ニ1、ホクカサマpセ霄ャ、ヒ、ハ、。」
#divid(e,thorem)

#divid(s,notice)
[ホ緇n=7、ネ、ケ、。」

&mimetex("\zeta_7 = e^{\frac{2 \pi i}{p}}");、ネ、ケ、、ネ。「1、ホ7セ霄ャ、ホスクケ遉マ&mimetex("\{1, \zeta_7, \zeta_7^2, \cdots , \zeta_7^6\}");、ヌ、「、p=7、ネチヌ、ハ、筅ホ、マ1,2,。ト,6、ヌ、「、遙「タ隍ロ、ノ、ホキイフ、隍遙「1、ホクカサマ7セ霄ャ、ホスクケ遉マ&mimetex("\{\zeta_7, \zeta_7^2, \cdots , \zeta_7^6\}");、ヌ、「、。」。。。
#divid(e,notice)

*サイケヘハクク・ [#qb552578]

-。リ・ャ・ヲ・ケ。。ターソマタ、リ、ホニサ。ル