1 정의 [a, b] = x1y1 + x2y2 +......xnyn 여기서 a = (x1, x2,......a2,...an)이면 q의 열 벡터는 (b1, b2,...bn)b1=a1/mola1bi=ai-[ai,b1]b1-[ai,b2]b2-...[ai,bi- 1]bi-1입니다. 두 번째 종류의 귀납법 증명 Ra1+...Ras=Rb1+...Rbs(1<=s<=n)s=1 분명히 s=k가 참이라고 가정하면 a=a(k+1)+c1b1+를 취합니다. .. ...csbs(ci는 모두 실수입니다.), a, bi=0이 되도록 ci를 얻은 다음 a를 a의 모듈러스로 나누어 b(s+1)를 얻을 수 있습니다. 기본적으로 다음과 같습니다.