n = var("n",domain = ZZ) assume(n>0) bool(3^(2*n) == (3^2)^n )
reply: False
Why?
Big thangs
Revision history [back]
 | 1 | initial version |
equality with integer exponents
equality with integer exponents
n = var("n",domain = ZZ) assume(n>0) bool(3^(2*n) == (3^2)^n )
reply: False
Why?
Big thangs
