Questions tagged [findinstance]
The findinstance tag has no summary.
1 questions from the last 7 days
4
votes
3
answers
216
views
FindInstance returns no solution when solving for odd integers
In a question on Mathematics SE, a comment observes that Mathematica 14.3 reports non-solvability of (a relaxation of) the given problem
Is there an odd $a \neq 1$ s.t. $2^k + 1 | a^k - 1$ for all $k ...
- 3,172