兰州到西安高铁:0是有理数吗?