8/13训练日记

今天没有练习打字……呜呜呜，内疚ing

看书让我深刻的理解到了数论到底有多难，我的数学不好啊啊啊啊啊！

还有证明……想起来看高数的日子，话说高数都比这个简单。

今天看到了最大公约数的九章算术——更相减损术，就是一般来说的辗转相减法，还有欧几里得算法，就是辗转相除法。在做题的时候可以不背过这些最大公约数和最小公倍数的缩写（gcd()、lcm())，但是看这本书必须背过，但是吧，就算不背反正看两遍也背过了……

互质就是最大公约数为一的几个数字。

三个数两两互质显然比三个数互质条件更强。

欧拉函数：1~n中与n互质的数的个数就叫欧拉函数。

欧拉函数和质因子有种特殊的关系：ans=(ans/i)*(i-1)。i为质因子，ans就是最后的结果。利用分解质因子的那个模板，稍改之后，加上这一步即可算出欧拉函数的值。

性质（这种东西性质好不好记啊）：

1.1~n中与n互质的数的和为：n*欧拉(n）/2

2.若a、b互质，那么欧拉(ab)=欧拉(a)欧拉(b)

积性函数：

a、b互质时，有f(ab)=f(a)*f(b)，则称f为积性函数；

性质里面的一些符号，额……看不懂，那个|莫非还有我不知道的含义！可能就算按位或吧……

而且啊，那个长得像Π一样的字符，到底是什么意思啊！从来没见过啊，这种东西高中初中都不普及啊，大学高数也不讲啊！结果还是要自己拓展，嗯果然应该靠自己，老师们也太不靠谱：Π符号。

而且啊，那个|之后是true还是false对我而言，确实是太陌生了，不是很理解两者有什么具体的关系（化为十进制，因为十进制比较熟悉），所以就很难理解着背，被不过啊！

还看了同余。

同余就是a和b除以m的余数相等。记号……三条杠的a=b。

对于任意的a，a~a+km所有模数m同余，余数都是a，称为一个同余类。

模m的同余类一共有m-1个，分别是1、2、…m-1，他们构成m的完全剩余系。与m互质的数的同余类构成简化剩余系。

还有很多定理，推论……都是那种死难记的！

但是啊，费马小定理和欧拉定理居然跟前面的快速幂有关系！有了这两个定理，快速幂那里终于在今天理解了！

看例题知道|莫非跟倍数有关？？！是倍数就是true，否则是false。

看拓展欧几里得算法的时候，还是不知道欧几里得算法是啥，还要返回去再看……