数値解は求められている
解析的な解はない（求積法で解けない）
の二つはわかったから、そもそも解が存在するのか否かを聞いてるんですよ