MathDB
SMT 2023 Discrete #9

Source:

May 3, 2023

Problem Statement

Suppose aa and bb are positive integers with a curious property: (a33ab+12)n+(b3+12)n(a^3 - 3ab +\tfrac{1}{2})^n + (b^3 +\tfrac{1}{2})^n is an integer for at least 33, but at most finitely many different choices of positive integers nn. What is the least possible value of a+ba+b?