高铁造价多少钱一公里:请证明:9n^2+5=11N没有正整数解。