Discovered New Theorem while solving Chinese Remainder Theorem
I was working through some Chinese Remainder Theorem (CRT) problems today (9/24/22), using a new technique introduced in the UKMT Introduction to Number Theory Book. And I noticed a pattern: \[9a \equiv 1 \pmod 7 \rightarrow a = 4\] \[7b \equiv 1 \pmod 9 \rightarrow b = 4\] Which is cool. But it continues: \[7c \equiv 1 \pmod 5 \rightarrow c = 3\] \[5d \equiv 1 \pmod 7 \rightarrow d = 3\] And: \[35e \equiv 1 \pmod 33 \rightarrow e = 17\] \[33f \equiv 1 \pmod 35 \rightarrow f = 17\] Each modular inverse for these pairs were the same! I formed a conjecture, and proved it as a new theorem: Theorem : The solutions $a, b$ to the modular equivalences \[(n-1)a \equiv 1 \pmod {n+1}\] \[(n+1)b \equiv 1 \pmod {n-1}\] for positive even integers $n$ satisfy $a = b = \frac{n}{2}$. Update (12/25/23): More intuitive understanding of Chinese Remainder Theorem (CRT) process. I was looking back at this post, and realized that I had forgotten how the Chinese Remainder Theorem process ...