a[i](1≦i≦n+1)は互いに異なる有理数、
b[i](1≦i≦n)は有理数、b[n+1]は無理数
(a[i],b[i])(1≦i≦n+1)を通る多項式