3.5 关于二分点岁差和黄赤交角不均匀的证明