设 a = qn - t ，若 a|pm ，已知 p - q = t 且（ a , n +1)=1，求证： a | tm .

我们假设，a|pm，已知p-q=t，且(a,n-1)=1。由a|pm，我们可以知道，有p=aq+r，其中0<=r<a。因为p-q=t，所以有aq+r-q=t，即aq+r-q-t=0，则有aq-t=0，即a|t。由于(a,n-1)=1，所以a和n-1互质，则有(a,tm)=1，即a|tm。所以，a|tm。

相关问题

data = [-udiv(self.u, self.Qn[i]), 0, self.Qn[i], 0, 1, 1]

这段代码看起来像是在定义一个列表，其中包含了六个元素。具体来说，这六个元素分别是：

1. `-udiv(self.u, self.Qn[i])`
2. `0`
3. `self.Qn[i]`
4. `0`
5. `1`
6. `1`

其中，`self.u` 和 `self.Qn[i]` 可能是该类的属性或参数，根据上下文可以进一步了解。

利用组合推理的方式证明Qn=Dn+Dn-1

我们可以使用数学归纳法来证明这个式子。

当 n=1 时，Q1=D1+D0=D1+1=2，结论成立。

假设当 n=k 时，Qk=Dk+Dk-1 成立。

当 n=k+1 时，我们有：

Qk+1=Dk+1+Dk

根据递推式 Dn=Dn-1+Dn-2，我们有：

Qk+1=Dk+1+Dk=Dk+Dk-1+Dk+1=Dk-1+Dk+Dk+Dk+1

再根据递推式 Dn=Dn-1+Dn-2，我们有：

Qk+1=Dk-1+Dk+Dk+Dk+1=Dk-1+Dk-2+2Dk+Dk+1

Qk+1=Dk-1+Dk-2+Dk+Dk+Dk+1

Qk+1=Qk+Dk+Dk-1

由归纳法假设，当 n=k 时，Qk=Dk+Dk-1 成立，因此：

Qk+1=Qk+Dk+Dk-1=(Dk+Dk-1)+Dk+(Dk-1+Dk-2)=(Dk+1)+(Dk-1+Dk)+(Dk-2+Dk-1)

Qk+1=Dk+1+Dk

因此，我们证明了当 n=k+1 时，Qn=Dn+Dn-1 成立。

因此，根据数学归纳法，对于所有的正整数 n，Qn=Dn+Dn-1 成立。