very nice combinatorics with NT
Source: III Caucasus Mathematical Olympiad
March 17, 2018
combinatoricsnumber theory
Problem Statement
For positive integers a matching (i.e. dividing them into pairs) is called {\it non-square} if the product of two numbers in each pair is not a perfect square. Prove that if there is a non-square matching, then there are at least non-square matchings.
(By denote the product .)