证明：
假定(a1+a2)与(b1+b2)有公约数p,
那么(a1+a2)b2-(b1+b2)a2=a1b2-a2b1也有公约数p
而∵a1b2-a2b1=±1,
∴p=1,
∴(a1+a2)/(b1+b2)是既约分数.