I have the following expression $$ \frac{\left(-1\right)^{n} - 2 n - 1}{4 {\left(2 n + 1\right)}} $$ It clearly equals $$ \frac{\left(-1\right)^{n}}{4 {\left(2 n + 1\right)}} -\frac 1 4. $$
Is there anyway to make sage show this?
expand the expression and then simplify partially (like transforming by hand)
var('n')
expr = ((-1)^n - 2*n -1) / (4*(2*n + 1))
show(expr)
expr2 = expr.expand()
show(expr2)
expr2.op[0] + sum(expr2.op[1:]).simplify_full()
Use bool() like so
,var n
f1=((-1)^n-2*n-1)/4/(2*n+1)
f2=(-1)^n/4/(2*n+1)-1/4
show(f1==f2)
bool(f1==f2)
Asked: 2017-04-06 17:30:33 +0200
Seen: 1,616 times
Last updated: Apr 19 '17
Copyright Sage, 2010. Some rights reserved under creative commons license. Content on this site is licensed under a Creative Commons Attribution Share Alike 3.0 license.