Let us say that a pair of distinct positive integers is nice if their arithmetic mean and their geometric mean are both integer. Is it true that for each nice pair there is another nice pair with the same arithmetic mean? (The pairs $(a, b)$ and $(b, a)$ are considered to be the same pair.) Boris Frenkin
Problem
Source: 42nd International Tournament of Towns, Junior A-Level P2, Fall 2020
Tags: number theory, Tournament of Towns