[출제의도] 집합의 성질을 이용하여 주어진 조건을 만족시키는 값을 추론한다.
자연수 전체의 집합의 부분집합 X가
n(X)=3이고 5∈X이므로 X={5,α,β}
대응 f:X→X를
x∈X가 홀수이면 f(x)=2x+p
x∈X가 짝수이면 f(x)=2x
로 정의하면 f는 함수이다.

25+p가 자연수가 되어야 하므로 p는 홀수이다.
ⅰ) f(5)=5, 즉 p=5일 때

f(α)=5, f(α)=α, f(α)=β인 경우를 각각 생각할 수 있다.
f(α)=5일 때, α가 짝수이면 2α=5, α=10
이때 β가 홀수이면 β=15이고, β가 짝수이면 β=20
따라서 가능한 경우는
X={5,10,15, X={5,10,20
따라서 p=5이고 α가 짝수인 경우 가능한 집합 X가 존재하므로
p=5일 때, α가 홀수인 경우와 f(α)=α, f(α)=β인 경우는 다루지 않는다.
ⅱ) f(5)=α일 때
α=5이므로 p=5
그런데 p<5인 홀수인 경우에는 n(X)=3인 경우가 존재하지 않음을 쉽게 확인할 수 있다.
따라서 p>5인 경우만 생각하면 된다.
5<p이면 5<α<p이다.
이때 가능한 경우로 f(α)=5 또는 f(α)=α 또는 f(α)=β를 생각해 볼 수 있다.
ⅱ-1) f(5)=α, f(α)=5일 때

α가 짝수이면 2α=5, α=10이고, 25+p=10이므로 p=15
가능한 β의 값은 β=15와 β=20이 있다.
ⅱ-2) f(5)=α,f(α)=α일 때
α=5이면 p=5이므로 2α=α, 2α+p=α
따라서 이 경우는 존재하지 않는다.
ⅱ-3) f(5)=α, f(α)=β일 때

f(β)=5 또는 f(β)=α 또는 f(β)=β의 경우를 생각해 볼 수 있다.
ⅱ-3-a) f(β)=5일 때,
ⅱ-3-a-ㄱ) α가 짝수이면 2α=β
이때 β가 짝수이면 2β=5, β=10이고, α=20
25+p=20이므로 p=35
이때 X={5,10,20
β가 홀수이면
f(β)=f(f(α))=f(f(f(5)))에서
2β+p=4α+2p=85+5p=5이고, p=7
이때 X={3,5,6
ⅱ-3-a-ㄴ) p>5이면 5, α, p, 2α+p의 대소 관계는 다음 그림과 같다.
α가 홀수이면 2α+p=β
β가 홀수이면 α<β<2β+p<p이므로
n(X)≥4가 되어 모순이 생긴다.
β가 짝수이면 2β=5
f(β)=2β=5, 즉 β=10일 때,
2α+p=225+p+p=10 p=335이므로 모순이다.
따라서 가능한 경우가 없다.
ⅱ-3-b) f(β)=α일 때,
ⅱ-3-b-ㄱ) α가 짝수이고 β가 짝수이면
f(β)=2β=4α=α이므로 α=0이 되어 모순이다.
ⅱ-3-b-ㄴ) α가 짝수이고 β가 홀수이면
α=f(β)=f(f(f(5)))이므로
25+p=85+5p,p=15이고 β=5가 되어 모순이다.
ⅱ-3-b-ㄷ) α가 홀수이면 β는 짝수이고 이 경우 2β=α가 된다.
85+3p=25+p, p<0이 되어 모순이다.
ⅱ-3-c) f(β)=β일 때,
β<p이므로 2β=β이고, 2β+p=β이므로 f(β)=β이다.
따라서 가능한 경우가 없다.
ⅰ), ⅱ)에서 조건을 만족시키는 모든 자연수 p의 값의 합은 5+7+15+35=62