从无穷递降法到递推数列

题1 证明：存在无穷多对正整数（a，b）（a≥b），满足以下性质： （1）（a，b）=1； （2）b^2≡5（mod a）； （3）a^2≡5（mod b）.