n = var("n",domain = ZZ) assume(n>0) bool(3^(2*n) == (3^2)^n )
reply: False
Why?
Big thangs
When asked for a Boolean expression, SageMath returns False if it is not capable to evaluate the expression to either true or false (a real false). This is what is happening in the present case; SageMath does not detect the identity:
sage: (3^(2*n) - (3^2)^n).simplify_full()
-9^n + 3^(2*n)SymPy is more clever:
sage: (3^(2*n) - (3^2)^n)._sympy_().simplify()
0Well, SageMath can get it with canonicalize_radical():
sage: (3^(2*n) - (3^2)^n).canonicalize_radical()
0Indeed. But here I know the answer; in general, it will be necessary to show a lot of experience in the manipulation of symbolic expressions before concluding.
Asked: 5 years ago
Seen: 258 times
Last updated: Dec 23 '19
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.
