Maths Olympiad Prep

Library / /25 of 27

Number theory Difficulty 8.7 Shortlist Prove it Saudi Arabia

By rad(x)\text{rad}(x) we denote the product of all distinct prime factors of a positive integer nn. Given aNa \in \mathbb{N}, a sequence (an)(a_n) is defined by a0=aa_0 = a and an+1=an+rad(an)a_{n+1} = a_n + \text{rad}(a_n) for all n0n \ge 0. Prove that there exists an index nn for which anrad(an)=2022\frac{a_n}{\text{rad}(a_n)} = 2022.

Solution

Solution. To prove that MP+NQ=BRMP + NQ = BR, by adding RCRC to both sides it is equivalent to prove CQ+MP=BCCQ + MP = BC. We start by defining point TT on the segment CQCQ such that BC=CTBC = CT, then it is sufficient to prove that QT=PMQT = PM, since triangles BTCBTC and NRCNRC are isosceles. One can get that BTBT is parallel to NRNR so
BTC=RNC=NRC=BPC, \angle BTC = \angle RNC = \angle NRC = \angle BPC,
thus BTPCBTPC is cyclic. Also we have that
CNA=180NRC=180BPC=CPA, \angle CNA = 180^\circ - \angle NRC = 180^\circ - \angle BPC = \angle CPA,
this implies that PNCAPNCA is cyclic.

TPQ=TCB=BQC=TQP, \angle TPQ = \angle TCB = \angle BQC = \angle TQP,
thus TQ=TPTQ = TP. Now by angle chasing,
CPA=180BPC=180BTC=180TBC=TPC, \angle CPA = 180^\circ - \angle BPC = 180^\circ - \angle BTC = 180^\circ - \angle TBC = \angle TPC,
thus we have CPQ=TPC\angle CPQ = \angle TPC and PCT=PAM\angle PCT = \angle PAM, which implies that TPCTPC and MPAMPA are congruent, since PC=APPC = AP. In conclusion, TP=MP=TQTP = MP = TQ, which finishes the proof. □

Want a route through all this instead of an archive? The track puts 2,000 problems in a working order, from AMC 10 level to the IMO shortlist.

Source: MathNet, licensed CC-BY-4.0. Statement and solution reproduced as published; topic and difficulty added by this site.