後ろの( )=0は実数解を持たないからa+1> 0は必然というか一目5秒で出てくる。