判別式とは 実数解