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
| | 2 | None |
equality with integer exponents
n = var("n",domain = ZZ) assume(n>0) bool(3^(2*n) == (3^2)^n )
reply: False
Why?
Big thangs
