2楼: Originally posted by 赵_山河 at 2016-12-31 13:13:16
f(x)=(x \mod m, x \mod n)
\gcd(m,n)=1 \Rightarrow \exists x_1,x_2 s.t. x_1m+x_2n=1
\forall (s,t) \in \mathbb{Z}_m \oplus \mathbb{Z}_n, \exists a = tx_1m+sx_2n \in \mathbb{Z}_{mn}, f(a) = (a \mod m, ...