Commit 2020-10-28 18:09 dfa85b54
View on Github →feat(archive/imo): formalize IMO 1981 problem Q3 (#4599)
Determine the maximum value of m ^ 2 + n ^ 2, where m and n are integers in
{1, 2, ..., 1981} and (n ^ 2 - m * n - m ^ 2) ^ 2 = 1.
feat(archive/imo): formalize IMO 1981 problem Q3 (#4599)
Determine the maximum value of m ^ 2 + n ^ 2, where m and n are integers in
{1, 2, ..., 1981} and (n ^ 2 - m * n - m ^ 2) ^ 2 = 1.