tanxが有(無)理数ならばtan(x+1)も有(無)理数だなんてどんな帰納法なんだよw