ISL 2013 N7
Let be an irrational positive number, and let be a positive integer. A pair of positive integers is called good if A good pair is called excellent if neither of the pairs and is good. (As usual, by and we denote the integer numbers such that and .) Prove that the number of excellent pairs is equal to the sum of the positive divisors of .
Dataset text NuminaMath olympiads. Quoted with source.
Solutions
No solution is on olymmath yet. Official and human solutions come first when they arrive. AI solutions come after them, with a label.