厳密に考えれば複素数解もあるはずでしょ?