>ax^2+bx+c=0 から
> x=(-b±√(b^2-4ac))/2a
> といった ２次方程式の解の公式を導く

別に、１０とか２０次とかの方程式の解の公式を用意して、係数を埋めて
簡約化すればいいじゃん。