有限体(mod素数)が大好きだ。有限体はなぜこんなに素朴におもしろいんだろう。逆元を求める計算からハマったのだと思う。ただ計算するだけで楽しい。 そんな計算の中でも一番楽しいと思うのが原始根を求めることだ。原始根は例えばmod５なら２のこと（３も）…

三角関数の加法定理を、微分方程式から証明します。 この式のzをx,yの関数として求めればよい。 はの変化で不変。従ってとおいてよい。 のとき、よりであり、 これはをで表しており、加法定理に他ならない。 久々にしっかり計算して気持ちがいい。

7/13 やろうと思ったこと ・リーマン面。楕円関数論の、周期一致なら代数関係、とかは、トーラスの上の関数と思えばわかったりするのだろうか。特に、ｎ倍角や虚数乗法は有限次元の被覆として考えられるのだろうか。 ・合成に可換な有理式の族を見つけるプロ…