수학 문제를 풀어 레이팅을 쌓고, 직접 만든 문제를 공식 문제로 등록하는 수학 랭크 플랫폼
다음은 log2\log2log2가 무리수임을 증명한 것이다.
<증명>
log2\log2log2가 유리수라고 가정하자.
log2=nm\log2=\frac nmlog2=mn (mmm, nnn은 서로소인 자연수) ⋯\cdots⋯ ㉠
로 놓으면
0<log2<10<\log2<10<log2<1이므로 (가)\boxed{\text{(가)}}(가)이다.
㉠에서
10nm=210^{\frac nm}=210mn=2이므로
2(나)=5n2^{\boxed{\text{(나)}}}=5^n2(나)=5n
이때, (가)\boxed{\text{(가)}}(가)이므로
2(나)2^{\boxed{\text{(나)}}}2(나)은 (다)\boxed{\text{(다)}}(다)이고 5n5^n5n은 홀수\boxed{\phantom{\text{홀수}}}홀수가 되어 모순이다.
따라서 log2\log2log2는 무리수이다.
위 증명에서 (가), (나), (다)에 알맞은 것은? [3점]