2011-01-27から1日間の記事一覧
には互いに他を補う部分があります.例えば x=a+b+c,y=ab+bc+ca,z=abc,a^3+b^3+c^3=1 を満たす実数a,b,cが存在する条件をRedLogに rlqe(ex({a,b,c},and(x=a+b+c,y=a*b+b*c+c*a,z=a*b*c,a^3+b^3+c^3=1))); と尋ねると,10秒足らずで 5*x**6 - 24*x**4*…
には互いに他を補う部分があります.例えば x=a+b+c,y=ab+bc+ca,z=abc,a^3+b^3+c^3=1 を満たす実数a,b,cが存在する条件をRedLogに rlqe(ex({a,b,c},and(x=a+b+c,y=a*b+b*c+c*a,z=a*b*c,a^3+b^3+c^3=1))); と尋ねると,10秒足らずで 5*x**6 - 24*x**4*…