MATHEMATICAL OLYMPIAD ARCHIVE

JMO 2024
問題 2

DIFFICULTY2
JMO 2024 問題2の日本語問題文

PROBLEM WORKSPACE

ヒント

PUBLIC
ヒント 1

mf(m)m\mid f(m) を示しましょう.

ヒント 2

m=1,n=f(1)m=1,n=f(1) から f(1)=1f(1)=1 を示しましょう.

略解

略解を表示

任意の正整数 mm に対して f(m)+nf(m)+nmm が互いに素な nn が取れ,これを代入することで mf(m)m\mid f(m) がわかる.


f(1)=cf(1)=c とし,m=1,n=cm=1,n=c を代入すれば

f(f(c)+1)=2cf(f(c)+1)=2c

がわかる.f(f(c)+1)f(c)+1f(f(c)+1)\neq f(c)+1 と仮定すると mf(m)m\mid f(m) より

2c=f(f(c)+1)2(f(c)+1)2(c+1)2c=f(f(c)+1)\geq 2(f(c)+1)\geq 2(c+1)

が従い矛盾する.よって f(f(c)+1)=f(c)+1f(f(c)+1)=f(c)+1 であり,f(c)=2c1f(c)=2c-1 を得る.これと cf(c)c\mid f(c) より c=1c=1 である.


与式に m=1m=1 を代入すれば

f(f(n)+1)=n+1f(f(n)+1)=n+1

これと mf(m)m\mid f(m) より f(n)=nf(n)=n が必要である.


f(n)=nf(n)=n は与式を満たすのでこれが求める解である.

← 問題一覧に戻る