記号的に解けばコンピューターでも厳密な解を求めることはできるんですよ