联立得 AR(t)P(t)+BR(t)Q(t)+C=0,整理得
(Ap2+Bq2+Cr2)t2+(Ap1+Bq1+Cr1)t+(Ap0+Bq0+Cr0)=0
由两根存在,根据韦达定理,
t1t2=Ap2+Bq2+Cr2Ap0+Bq0+Cr0,t1+t2=−Ap2+Bq2+Cr2Ap1+Bq1+Cr1
由 α2t1t2+α1t1+α1t2+α0=0 整理得
A(α0p0−α1p1+α2p2)+B(α0q0−α1q1+α2q2)+C(α0r0−α1r1+α2r2)=0
即 l 过定点 (α2r0−α1r1+α2r2α2p0−α1p1+α2p2,α2r0−α1r1+α2r2α2q0−α1q1+α2q2)。
联立并整理得
i=0∑n(Api+Bqi+Cri)ti=0
令 Ki=Api+Bqi+Cri,因为方程有 n 个根,则方程可化为
F(t)=tn+KnKn−1tn−1+⋯+KnK1t+KnK0=0
设方程的根为 t1,t2,…,tn,则方程可表示为
F(t)=i=1∏t(t−ti)=S⊆T∑(−1)∣S∣tn−∣S∣t∈S∏ti
比对系数得
KnKn−i=(−1)iS⊆T∣S∣=i∑t∈S∏t
由
S⊆T∑α∣S∣t∈S∏t=i=0∑nαiS⊆T∣S∣=i∑t∈S∏t=i=0∑n(−1)iαiKnKn−i=0
有
i=0∑n(−1)iαiKn−i=A(i=0∑n(−1)iαipn−i)+B(i=0∑n(−1)iαiqn−i)+C(i=0∑n(−1)iαirn−i)=0
于是 l 过定点 (∑i=0n(−1)iαkrn−i∑i=0n(−1)iαipn−i, ∑i=0n(−1)iαkrn−i∑i=0n(−1)iαiqn−i)。
在 E 中选 m 项改变,有 Cnm 种方案,而每项有 3 种改变结果,于是共有 3mCnm 种。
注意到 E∈Br(F)⟺F∈Br(E),
记 [a∈S]={1,0,a∈Sa∈/S,则有
=4nm1E1∑E2∑⋯Em∑Br(E1)∩Br(E2)∩⋯∩Br(E2)=4nm1E1∑E2∑⋯Em∑F∑[F∈Br(E1)∩Br(E2)∩⋯∩Br(E2)]=4nm1F∑E1∑E2∑⋯Em∑[E1∈Br(F)][E2∈Br(F)]⋯[Em∈Br(F)]=4nm1F∑(E1∑[E1∈Br(F)])(E2∑[E2∈Br(H)])⋯(Em∑[Em∈Br(F)])=4nm14nbrm=4n−nmbrm
设 [a=b]={1,0,a=ba=b,记 ci,j={k=1∑m[Ek,i=j]},i=1,…,n,j∈S,由
i=k∑md(Ek,F)=k=1∑mi=1∑n[Ek,i=Fi]=i=1∑ncn,Fi
与任意 Fi 无关,可知 ∀i,j,k,ci,j=ci,k。
设 m=4s,在 4s 个序列中分别选 s 项各填上 A,T,G,C,共有 (s!)4(4s)! 种填法。于是共有
⎩⎨⎧((s!)4(4s)!)n,0,m=4s,s∈Notherwise
种方案。