BT BR y(t)= (t)+ /(t) AR+ bs AR+ Bs (33) AT Bs l(t)= u (t) v() AR+ Bs AR+ Bs AR+bs= (34) Diophantine方程, Bezout恒等式( ) ( ) v(t) AR BS BS u t AR BS AT u t c + − + = ( ) ( ) v(t) AR BS BR u t AR BS BT y t c + + + = (3.3) AR + BS = Ac (3.4) Diophantine方程,Bezout恒等式