실마리: 조건 (나)에 의하여 치역의 원소는 모두 자기 자신에 대응하므로, 치역에 속하지 않는 두 원소의 함숫값만 정하면 된다.
함수 f의 치역을 R라 하고, X의 원소 중 R에 속하지 않는 두 원소를 a, b (a<b)라 하자.
조건 (나)에서 R의 원소 y는 f(y)=y이므로 R의 원소들의 함숫값의 합은 R의 모든 원소의 합 21−a−b이다.
또 f(a), f(b)는 치역 R의 원소이다.
조건 (다)에서 21−a−b+f(a)+f(b)=27이므로
f(a)+f(b)=a+b+6
f(a)≤6, f(b)≤6이므로 a+b≤6
(ⅰ) a=1, b=2: R={3,4,5,6}, f(1)+f(2)=9
순서쌍 (f(1),f(2))는 (3,6), (4,5), (5,4), (6,3)의 4개
(ⅱ) a=1, b=3: R={2,4,5,6}, f(1)+f(3)=10
(4,6), (5,5), (6,4)의 3개
(ⅲ) a=1, b=4: R={2,3,5,6}, f(1)+f(4)=11
(5,6), (6,5)의 2개
(ⅳ) a=1, b=5: R={2,3,4,6}, f(1)+f(5)=12
(6,6)의 1개
(ⅴ) a=2, b=3: R={1,4,5,6}, f(2)+f(3)=11
(5,6), (6,5)의 2개
(ⅵ) a=2, b=4: R={1,3,5,6}, f(2)+f(4)=12
(6,6)의 1개 각 경우 R의 원소는 자기 자신에 대응하므로 치역은 정확히 R가 되어 조건 (가)를 만족시킨다.
따라서 함수 f의 개수는 4+3+2+1+2+1=13