蓝桥杯入门题斐波那契的求余问题

问题描述
Fibonacci数列的递推公式为：Fn=Fn-1+Fn-2，其中F1=F2=1。
 
当n比较大时，Fn也非常大，现在我们想知道，Fn除以10007的余数是多少。
 
输入格式
输入包含一个整数n。
输出格式
输出一行，包含一个整数，表示Fn除以10007的余数。
说明：在本题中，答案是要求Fn除以10007的余数，因此我们只要能算出这个余数即可，而不需要先计算出Fn的准确值，再将计算的结果除以10007取余数，直接计算余数往往比先算出原数再取余简单。
 
样例输入
10
样例输出
55
样例输入
22
样例输出
7704
数据规模与约定
1 <= n <= 1,000,000。

上面是这道题，我本来觉得入门题很简单，结果第一道就和求余有关，我一下子就卡在那里了，因为求余的操作实在诡异。而且我一度认为网上给的题解有点问题，但是最终还是理解了。这主要是因为对于求余的四则运算 不太清楚。
先贴上它的运算规则，方便找：

**基本性质

若p|(a-b)，则a≡b (% p)。例如 11 ≡ 4 (% 7)， 18 ≡ 4(% 7)
(a % p)=(b % p)意味a≡b (% p)
对称性：a≡b (% p)等价于b≡a (% p)
传递性：若a≡b (% p)且b≡c (% p) ，则a≡c (% p)

运算规则

模运算与基本四则运算有些相似，但是除法例外。其规则如下：
(a + b) % p = (a % p + b % p) % p （1）
(a - b) % p = (a % p - b % p ) % p （2）
(a * b) % p = (a % p * b % p) % p （3）
a ^ b % p = ((a % p)^b) % p （4）

结合律：
((a+b) % p + c) % p = (a + (b+c) % p) % p （5）
((ab) % p * c)% p = (a * (bc) % p) % p （6）

交换律：
(a + b) % p = (b+a) % p （7）
(a * b) % p = (b * a) % p （8）

分配律：
(a+b) % p = ( a % p + b % p ) % p （9）
((a +b)% p * c) % p = ((a * c) % p + (b * c) % p) % p （10）

重要定理
若a≡b (% p)，则对于任意的c，都有(a + c) ≡ (b + c) (%p)；（11）
若a≡b (% p)，则对于任意的c，都有(a * c) ≡ (b * c) (%p)；（12）
若a≡b (% p)，c≡d (% p)，则 (a + c) ≡ (b + d) (%p)，(a - c) ≡ (b - d) (%p)，
(a * c) ≡ (b * d) (%p)； （13）**

信息很多，我也记不住，这里用的是第一条
（a + b）% mod=(a%mod + b%mod)%mod
多多通过这个式子来理解代码会比较好。
以下是我的代码：

#include<cstdio>
int main(void)
{
	int a, b, c;
	long long n;
	scanf("%lld", &n);
	a = 1 % 10007;//原来我看的题解里这里都没有模10007，但是为了方便我理解，我还是模了，这里运用的知识是（a+b)%mod=((a%mod)+(b%mod))%mod;
	b = 1 %10007;
	c = 2 % 10007;
	if (n >= 3)
	{
		for (int i = 3; i <= n; i++)
		{
			c = (a + b) % 10007;//这样所有计算过程的数都相当于取了模；而且因为是求C，所以公式最后的mod，也就是这里的Mod;
			a = b;
			b = c;
		}
	}
	if (n <= 2)
	{
		printf("1");
	}
	else {
		printf("%d", c);
	}
}