Q15

k! \cdot l!=k!+l!+m!を満たす正の整数の組(k,l,m)を全て求めよ.
(2005 クロアチア数学オリンピック)




[解答]

以下,正の整数a,bに対して,abを割り切ることをa \mid b,
abを割り切らないことをa \nmid bと表す.
k \leqq l と仮定しても一般性を失わない.このときk! \mid l!であるから,
与式よりk! \mid m!よってk \leqq m
(i)k \leqq m \leqq lのとき
m! \mid l!であるから,与式よりm! \mid k!よってm \leqq k
k \leqq mと合わせてk=m
また,k! \cdot l!=k!+l!+m! \leqq l!+l!+l!=3 \cdot l!よりk=1,2
k=1のとき,m=1よりl!=l!+2となって不適.
k=2のとき,m=2よりl!=4となって不適.


(ii)k \leqq l <mのとき
l! \mid m!であるから,与式よりl! \mid k!よってl \leqq k
k \leqq lと合わせてk=l
このときk!(k!-2)=m!・・・(☆)
k \leqq 2のとき,k!(k!-2) \leqq 0,m!>0より不適.
k=3のとき,l=3およびm=4となって,よい.
k \geqq 4のとき,(☆)を変形して
k!-2=\frac{m!}{k!}
k<mよりこの右辺は整数.
m \geqq k+4と仮定すると4 \mid \frac{m!}{k!}であるが,
k \geqq 4より4 \mid k!なので4 \nmid k!-2となって矛盾.
よってm<k+4であり,k<mと合わせてm=k+1,k+2,k+3
(a)m=k+1のとき,(☆)よりk!-2=k+1
両辺を\mod kで見て-2 \equiv 1\, \pmod{k}
よってk \mid 3これはk \leqq 4を満たさない.
(b)m=k+2のとき,(a)と同様にしてk \mid 4
k \geqq 4よりk=4このときm=6となるが,
これは(☆)を満たさないので不適.
(c)m=k+3のとき,(a)と同様にしてk \mid 8
k \geqq 4よりk=4,8このときそれぞれm=7,11となるが,
これらはいずれも(☆)を満たさないので不適.


以上より,求める組は(k,l,m)=(3,3,4)



アンケート(任意でお答えください)
Q..上記の解答は理解できましたか?
選択肢 投票
YES (1)
NO (0)
bot主の今後の解答作成の参考に致します。
最終更新:2015年04月14日 23:03