a(n+1)=(an +5/an)/2,a1=3を満たす無限数列{an}は狭義単調減少列で、
an>√5,an∈Q,an→√5なので√5は無理数。