什么情况下得知它是无解,最好有式子说明,它为什么是无解