1. 일단 증명에서 빠진게 MH(n) 을 먼저 계산해보는거임.
2. 그리고 M하고 H(n)의 관계를 구해야 함.
3. S = Z & {H(n)} = {H(k) , H(k) = 정수}. H(k) 정수 -> MH(k) 홀수 -> S = {H1 = 1}.
이런 흐름인데. 솔직히 알고싶지도 않고 관심도 없는 느낌.
듀에르(39.7)2021-04-22 09:19
조화수열 Hn중 정수인 값은 1밖에 없다는 내용인데, 우선 Hn을 구하기 위해 분모를 M으로 잡음. n이하의 모든 자연수의 소인수 분해를 고려한다면 2^a1 * 3^a2 * ...과 같은 꼴로 쓸 수 있겠지만 증명에 필요한 건 2^a1 부분이라서 저런 식으로 적은 듯. 그다음 Hn이 정수라면, M이 당연히 짝수이기에 MHn은 짝수인데
늒네챠(223.38)2021-04-22 13:32
답글
MHn을 '직접'계산하면 홀수임을 보이기 위해 1bar + 2bar + ... n bar꼴로 계산을 해봄. 각각의 j bar에 대해서 j bar가 홀수인 경우가 얼마나 나오는지 counting하면 되는데, M/j가 홀수이려면 2^k이 분자에서 다 사라져야함. 즉 j는 2^k의 배수임. 그런데 setting상 n은 2 * 2^k보다도 작기 때문에 j는
정수론임
1. 일단 증명에서 빠진게 MH(n) 을 먼저 계산해보는거임. 2. 그리고 M하고 H(n)의 관계를 구해야 함. 3. S = Z & {H(n)} = {H(k) , H(k) = 정수}. H(k) 정수 -> MH(k) 홀수 -> S = {H1 = 1}. 이런 흐름인데. 솔직히 알고싶지도 않고 관심도 없는 느낌.
조화수열 Hn중 정수인 값은 1밖에 없다는 내용인데, 우선 Hn을 구하기 위해 분모를 M으로 잡음. n이하의 모든 자연수의 소인수 분해를 고려한다면 2^a1 * 3^a2 * ...과 같은 꼴로 쓸 수 있겠지만 증명에 필요한 건 2^a1 부분이라서 저런 식으로 적은 듯. 그다음 Hn이 정수라면, M이 당연히 짝수이기에 MHn은 짝수인데
MHn을 '직접'계산하면 홀수임을 보이기 위해 1bar + 2bar + ... n bar꼴로 계산을 해봄. 각각의 j bar에 대해서 j bar가 홀수인 경우가 얼마나 나오는지 counting하면 되는데, M/j가 홀수이려면 2^k이 분자에서 다 사라져야함. 즉 j는 2^k의 배수임. 그런데 setting상 n은 2 * 2^k보다도 작기 때문에 j는
아무리 잘해 2^k밖에 없음. 따라서 j bar들의 합은 홀수가 됨. 따라서 모순임.