在多数情况下，三角矩阵的常数c为零。1定义[a,b]=x1y1+x2y2+……xnyn其中a=(x1,x2,……xn)b=(y1,y2,……yn)记a为(a1，a2,……an)则b的列向量为(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 均为实数)则可取到ci使得【a，bi】=0再把a除以a的模即得到b(s+1)基本就这样了
