2. 거듭제곱의 단순화 및 계산 (Simplification of Powers)

큰 수의 거듭제곱을 계산하거나 증명할 때, 실제 값을 구하지 않고 나머지만을 추적하여 증명합니다. 특히 **음수(-1)**를 활용하는 것이 핵심 테크닉입니다.

• 원리: a≡b(modp)이면 an≡bn(modp)입니다. 이를 이용해 밑(base)을 작은 수로 바꿔 계산합니다.

• 실제 예시: 8100을 3으로 나눈 나머지를 구할 때, 8≡−1(mod3)임을 이용합니다. 그러면 (−1)100=1이 되어, 나머지가 1임을 즉시 증명할 수 있습니다,.

• 활용: 1335+⋯=n5와 같은 복잡한 방정식에서 n5의 나머지를 구할 때, 큰 수들을 mod 3이나 mod 5 상에서 작은 수(0, 1, -1 등)로 치환하여 n의 성질을 특정합니다,.

3. 부정방정식의 해 존재 여부 판별 (Existence check / Contradiction)

방정식의 양변을 특정 수로 나눈 나머지가 서로 다르다면, **등식이 성립할 수 없음(모순)**을 보여 해가 없음을 증명하거나 후보를 걸러냅니다.

• 원리: 등식 A=B가 성립한다면, 임의의 법 p에 대해 A≡B(modp)여야 합니다. 만약 하나라도 성립하지 않는 법 p가 있다면 그 등식은 성립하지 않습니다.

• 실제 예시: 어떤 식의 값이 제곱수인지 판별할 때, 제곱수를 3이나 4로 나눈 나머지는 0 또는 1만 가능하다는 성질을 이용하여, 나머지가 2나 3이 나오는 경우 제곱수가 될 수 없음을 증명합니다.

• 일의 자리수 판별: mod 10 혹은 mod 5 등을 이용하여 방정식의 해가 가져야 할 일의 자리 숫자를 특정하여 후보를 좁히는 데 사용합니다.

요약하자면, 모듈로 연산을 활용한 증명은 **"무한한 정수를 유한한 케이스로 분류하여 전수 조사를 가능하게 하고, 거대한 수를 작은 나머지로 치환하여 등식의 성립 여부를 판별하는 방식"**입니다.