MathDB
a_1 + a_2 + .. + a_n >= n^2 and a_1^2 + a_2^2 + ... + a_n^2 <= n^3 + 1

Source: 2013 Saudi Arabia IMO TST III p2

July 23, 2020
inequalitiesalgebracombinatorics

Problem Statement

Given an integer n2n \ge 2, determine the number of ordered nn-tuples of integers (a1,a2,...,an)(a_1, a_2,...,a_n) such that (a) a1+a2+..+ann2a_1 + a_2 + .. + a_n \ge n^2 and (b) a12+a22+...+an2n3+1a_1^2 + a_2^2 + ... + a_n^2 \le n^3 + 1