久しぶりに研究に戻ることにした。自分が書いたノートを印刷して読んでいたら、フォントが小さくて見にくい。年なのかな。ちょっと悲しい。
とりあえず12ptでコンパイルし直してもう一度読むことにした。
2020-12-19
520びぼーろく; ガウスの数学日記その二
ブログの投稿件数とタイトルの数字が一致せず不思議に思っていたら投稿の番号に重複があることが判明。しかも何件もあった。数が数えられないことが証明されてしまいちょっと悲しい。
さて、ガウスの数学日記その第二段「素数の平方剰余は自分自身以下のあらゆる数ではありえない」
だけどどうやらこれはガウスの書き間違いらしく、もっと簡単なものだったと書いてあった。(本当かどうか知らないけど)
正しく(?)は「素数は自分自身以下のあらゆる数の平方剰余ではありえない」らしい。
\(p=7\) として、 7以下の数について考えると
\[1^2=1,2^2=4,3^2=2,4^2=2,5^2=4,6^2=1,7^2=0\]
なので非剰余になっているということかな？
一般的に考えてみると、素数 $p$ 以下の数は「① \(p\) より小さい素数」か、②「 \(p\) を含まない素数の積(合成数)」二パターン。
で、①を考えてみると、平方剰余があったとすると、素数 \(p'<p\) として適当な自然数 \(m<p\) について
\[p'^2=mp\]
が成立する。ところが \(m\) も \(p\) 未満の素数の合成数のはずなので、上の等式は素数 \(p'\) が約数 \(p\) を持つことになるので明らかにおかしい。
②の場合について考えてみると、\(p\)以下の数\(n\)は\(p\)より小さい素数の合成数となるので\(p_1,p_2\cdots\)を\(p\)より小さい素数として書けば\(n=(p_1)^{i_1}(p_2)^{i_2}\cdots\)の様に書ける。同様に平方剰余があるとすると
\[(p_1)^{2i_1}(p_2)^{2i_2}\cdots=mp\]
が成立する。先ほどと同様に\(m\)も\(p\)未満の素数の合成数なので両辺を割ることで\(p\)が別の素数の積で与えられることになる。よって両方の場合とも平方剰余になることはないことが分かる。
言われてみれば、ある素数未満の数はその素数を約数として持たないので平方剰余になることは決して無いってことなのかな。そう考えてみると当たり前な気もする。
でも果たしてガウスはこんな簡単なことを言いたかったのだろうか。それともここには何か深遠な真理が含まれているのか...。謎だ。
2020-11-26
517びぼーろく; tikzのコンパイルをスキップしたい時
ありますよね。そんな時はこちら。
TIKZOMITCOUNTERが2の時はtikzを無視して1の場合はtikzをコンパイルする。コンパイルが遅くてイライラしていた人は是非。
%%---プリアンブルに追加---;
\usepackage{ifthen}
\newcounter{TIKZOMITCOUNTER}
\setcounter{TIKZOMITCOUNTER}{2} %%% 1 の場合はtikz無視 !!!!!!
\newcommand{\TIKZSCRIPT}[1]
{\ifthenelse{ %% 1の場合はtikz無視
\value{TIKZOMITCOUNTER} =1}{{\center \fbox{Here is a tikz picture.}}
}
{%% else 1以外の場合はtikzを実行
#1
}
}
%%---ここまでプリアンブルに追加---
本文中での使い方は以下。
\TIKZSCRIPT{
\begin{tikzpicture}
~~~~~~
\end{tikzpicture}
}
2020-11-25
2020-11-18
515びぼーろく; 日本語のtex文書用のdocumentclass があるらしい
その名もjlreq。ちょっと使ってみたけど良さげな感じ。
article,report,bookはオプションで指定するみたい。しばらく使ってみよう。
2020-11-17
514びぼーろく; 数学用語に音楽
が含まれていることを初めて知った。
外微分形式(exteriored differential form)でリーマン多様体を扱う時に出てくるらしい。添字が上のものは♯、音楽で言うところの半音上げを用いて表して、添字が下の場合は♭を使う。
(詳しくは音楽同型でググって下さい)
なんだかおしゃれ。
2020-11-11
登録:
投稿 (Atom)