xcas ne va pas au bout de la simplification:
sous Maple
Code : Tout sélectionner
simplify(sum(2^(4*j) + 2^(4*j + 1), j = 0 .. 2^(m - 2)) + 2^(2 + 2^m) + sum(2^(4*j + 1 + 2^m) + 2^(4*j + 2 + 2^m), j = 1 .. 2^(m - 2) - 1) - 1)
Code : Tout sélectionner
(4*2^(2^m))/5 - 6/5 + (2*4^(2^m))/5
Code : Tout sélectionner
simplify(sum(2^(4*j) + 2^(4*j + 1), j = 0 .. 2^(m - 2)) + 2^(2 + 2^m) + sum(2^(4*j + 1 + 2^m) + 2^(4*j + 2 + 2^m), j = 1 .. 2^(m - 2) - 1) - 1)
Code : Tout sélectionner
(8*exp(exp(m*ln(2))*ln(2)-ln(2))^2+8*exp(exp(m*ln(2))*ln(2)-ln(2))-6)/5