MathDB
Exponential Growth

Source: 2020 Taiwan TST Round 2 Mock Exam P5

May 25, 2020
number theory

Problem Statement

A finite set KK consists of at least 3 distinct positive integers. Suppose that KK can be partitioned into two nonempty subsets A,BKA,B\in K such that ab+1ab+1 is always a perfect square whenever aAa\in A and bBb\in B. Prove that maxkKk(2+3)min{A,B}1+1,\max_{k\in K}k\geq \left\lfloor (2+\sqrt{3})^{\min\{|A|,|B|\}-1}\right\rfloor+1,where X|X| stands for the cartinality of the set XX, and for xRx\in \mathbb{R}, x\lfloor x\rfloor is the greatest integer that does not exceed xx.