Problem

Source: 42nd International Tournament of Towns, Junior A-Level P2, Fall 2020

Tags: number theory, Tournament of Towns



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