디시인사이드 갤러리

마이너 갤러리 이슈박스, 최근방문 갤러리

갤러리 본문 영역

[일반] 밑에 글 답변앱에서 작성

ㅇㅇ(118.235) 2024.03.10 15:57:16
조회 242 추천 1 댓글 3
														

20bcc42ea88068f43aef85e4469c7568ec207b94b484b1cd47012f35aff06e90edbba588ba79d64e92cc7b59147b

이 문제에 대하여, 다음 풀이가 있습니다.


a22는 어찌 됐든, a1에 [1/(k+1)을 n번 더하고,] [1/k을 (21-n)번 뺀] 수일 것이다.

따라서 a1=0, a22=0이기 위해서는

n/(k+1) - (21-n)/k = 0   ⇔   k=(21-n)/(2n-21)

n이 자연수이므로, 가능한 k는 1, 3, 10이 있다.

이때 다음과 같은 질문을 받았습니다.


위 풀이는 'a22=0일 때 가능한 k의 값'을 구한 것인데,

문제에서 요구하는 건 "a22=0이 되는 k의 해집합이 무엇인가?"이다.

즉 "k=□일 때 a22=0이다"의 명제에서, 위 풀이는 필요조건만을 보인 것이지만 문제에서 요구하는 바는 필요충분조건이다.

그렇다면 k=1, 3, 10일 때 실제로 a22=0이 성립하는지(actually holds) 계산해 보아야 하는 것이 아니냐?


중요한 질문이라, 카페에도 공유하면 좋겠다 싶어 오랜만에 글을 올립니다.

심지어 질문자 분께서 말하시길, 많은 해설강의에서 이 부분을 생략하고 넘어간다고 하더군요.

일단은 질문자 분께서 생각하신 바가 맞습니다. actually holds 부분을 점검해야 하는 것이 맞습니다.

하지만 계산은 할 필요 없습니다.

우선 증명이 아닌 설명을 해 보겠습니다.

수열 {an}의 점화식에 따르면, 음수이면 더하고, 양수이면 뺍니다.

그러니까, 0을 향하는 경향성이 있다는 말입니다.

또한 이미 첫째항이 a1=0인데, 이는 그 경향성이 매우 안정돼 있다는 말입니다.

만약에 a22=0인 경우의 수가 있다면(n회 더하고, (21-n)회 뺐을 때 0이 되는, 그러한 자연수 n이 존재한다면)

그것이 수열 {an}이 바라는 바이고, 실제로 정확히 n회 더하고 (21-n)회 빼게 될 것입니다.


다음으로 설명이 아닌 증명을 해 보겠습니다.

a1에서 [1/(k+1)을 n번 더하고,] [1/k을 (21-n)번 뺀] 수가 0과 같다고 합시다.

그런데 만일, 실제로 점화식에 따라 a22를 계산해 봤더니 1/(k+1)을 n번이 아닌 수만큼 더했다면?


(1) 1/(k+1)을 n보다 많이 더했다면

a22는 최소 [1/k + 1/(k+1)]일 것입니다.

그렇다면 a21은 어떨까요? a21이 음수일 수는 없겠죠. 더해 봤자 1/(k+1)인데, [1/k + 1/(k+1)]은 너무 큽니다.

따라서 a21은 양수였을 것입니다. a22는 a21에서 1/k을 뺀 수이니, a21이 a22보다 더 크겠죠.

a20은요? a21보다도 더 크겠죠. a1은 a2보다 크고, a3보다 크고, ... 태초에 a1은 아주 큰 양수였던 겁니다.

그런데 조건에 따르면 a1=0이죠. 모순입니다.


(2) 1/(k+1)을 n보다 적게 더했다면

마찬가지로 태초에 a1은 아주 작은 음수였어야 합니다. 모순입니다.


만일 문제가 "a22=1/8이 되도록 하는 모든 자연수 k의 값의 합은?" 따위였거나, 혹은 a1=0이 아니었다면, 충분조건을 쉽게 답할 수 없었을 것입니다.

예전에 화두였던 문제임.
​그렇게 풀었을때 오류가나오는 상황은
​다른 조건 다 그대로두고
​1. a_1=100,a_2=100으로 변경하면
​k값은 똑같이 1,3,10이 나오지만
​실제로 이를 만족하는 k값은 존재하지않음
​2.a_1=1/2 , a_22=1/2라 하면역시
​k값은 똑같이 1,3,10이 나오지만
​실제로 이를 만족하는 k값은 k=1뿐임. 

- dc official App
자동등록방지

추천 비추천

1

고정닉 0

0

원본 첨부파일 1

댓글 영역

전체 댓글 0
등록순정렬 기준선택
본문 보기
자동등록방지

하단 갤러리 리스트 영역

왼쪽 컨텐츠 영역

갤러리 리스트 영역

갤러리 리스트
번호 말머리 제목 글쓴이 작성일 조회 추천
2856 설문 주위 눈치 안 보고(어쩌면 눈치 없이) MZ식 '직설 화법' 날릴 것 같은 스타는? 운영자 24/04/29 - -
56660 일반 이거 해석이 안되는데 제가 이상한건가요?? [2] 새컨갤로그로 이동합니다. 04.14 202 0
56659 일반 Set이 open이면서 closed 일 수도 있나요? [4] 수갤러(114.70) 04.14 272 0
56658 일반 카이스트 수학 복전으로 했는데 학점3이면 수갤러(223.38) 04.14 232 0
56657 중고딩 모비율의 추정에서 표본 크기에 대한 질문 ㅇㅇ(118.235) 04.14 63 0
56655 일반 대학원 석사 지원해보려는데 연구계획 막막하네 [1] 수갤러(223.38) 04.14 265 0
56654 중고딩 극한 질문 [4] ㅇㅇ(14.63) 04.14 166 0
56653 일반 스피박 아포스톨 어느정도 난이도야? [1] 수갤러(165.229) 04.14 153 0
56652 일반 대수기하 local homomorphism 질문 [1] 수갤러(125.176) 04.14 163 0
56651 일반 인문학 좋아하는 자연계열 학자 중 대표적인 인물은 누구일까요. [5] 나는문어(106.101) 04.13 271 0
56650 대학교 linear operator랑 linear transformation [3] 수갤러(106.101) 04.13 192 0
56649 대학교 해석학 문제 질문 하나 답해주실수 있나용.... [7] JBJ갤로그로 이동합니다. 04.13 210 0
56648 대학교 수열의 입실론 논법 질문.. [5] 수갤러(121.133) 04.13 245 0
56646 일반 위상수학 ㅔ [1] 수갤러(36.38) 04.13 153 0
56645 일반 여기 왜 웹툰갤러리 아님? [1] ㅇㅇ갤로그로 이동합니다. 04.13 231 0
56644 일반 형식논리학 이론이 실생활에서도 쓰이네 [10] 네모누리갤로그로 이동합니다. 04.13 424 0
56643 일반 안녕하세요. 수학과 커리큘럼에 대해 질문있습니다. [2] ㅇㅇ(219.255) 04.13 297 0
56642 일반 폰노이만에 관한 팩트 정리 [2] ㅇㅇ(39.7) 04.13 363 4
56641 일반 Stewart 책 Early Transcendentals 무슨 뜻인가요? [6] 수갤러(125.191) 04.13 261 0
56640 일반 회사 지원으로 석사 연수 다녀오는 걸 생각 중인데 [2] ㅇㅇ(211.234) 04.13 190 0
56639 중고딩 수학황분들 확통 이거 풀이 왜 틀린건지좀.. [5] 구일범갤로그로 이동합니다. 04.13 314 0
56638 대학교 수학 질문 있습니다... [8] ㅇㅇ갤로그로 이동합니다. 04.13 221 1
56636 대학교 루딘 pma countable 증명 [5] 수갤러(58.229) 04.12 304 2
56635 일반 밑에 해석 안된다고 한거 [2] 수갤러(14.37) 04.12 278 0
56634 일반 서울대 후기 공지 왜 안뜸? 수갤러(223.38) 04.12 214 0
56633 대학교 위상 이거 참이지? ㅇㅇ(155.230) 04.12 213 0
56632 일반 이거 영어 해석좀 해줘 [3] 수갤러(14.37) 04.12 162 0
56631 대학교 수학과 공부법질문 수갤러(121.177) 04.12 114 0
56630 일반 수열 수렴판정 고인물들 도와주세요 [2] 수갤러(118.235) 04.12 244 1
56628 일반 확통이랑 수리통계랑 어떤점에서 다름? [2] 수갤러(211.234) 04.12 206 0
56627 대학교 n차원 이상에서의 자연수 [3] 수갤러(172.226) 04.12 283 0
56623 일반 행렬 쉽게 설명좀 [5] 지능박살난아이갤로그로 이동합니다. 04.12 270 0
56622 일반 특성화고 나와서 대학교 생활하고있는데 수갤러(106.101) 04.12 164 0
56621 일반 파이토치 원래 어렵나? [2] dd(27.35) 04.11 245 0
56619 중고딩 Pseudo inverse에서 ㅇㅇ(147.47) 04.11 114 0
56618 일반 수학과대학원 많이 빡셈?? [4] 수갤러(218.238) 04.11 574 0
56617 일반 xy내적 xT*A*y라고 정의하면 A를 따로 부르는 용어가잇나여 [2] ㅇㅇ갤로그로 이동합니다. 04.11 231 0
56616 대학교 pma 질문 좀... [1] ㅇ.ㅇ갤로그로 이동합니다. 04.11 220 0
56615 중고딩 미분 질문좀 [3] 수갤러(117.17) 04.11 234 1
56614 일반 generators of group 어떻게찾음? [3] ㅇㅇ(118.235) 04.11 195 0
56612 일반 형님들 근데 보통 컬 이라고 읽지 않나요 [5] ㅇㅇ(211.44) 04.11 339 0
56611 일반 전파거북이 같은 블로그 추천좀 [2] 수갤러(217.155) 04.11 261 0
56610 일반 1학년때 스토크스정리 정리해놓은거 [6] ㅇㅇ갤로그로 이동합니다. 04.11 448 0
56609 일반 이산수학에서 쓰이는 사고를 배우고싶은데요 수갤러(121.134) 04.11 144 0
56608 일반 선형대수학 질문 있습니다 [1] TP갤로그로 이동합니다. 04.10 212 0
56607 대학교 스토크스정리 질문좀요 [12] 알코올의존증갤로그로 이동합니다. 04.10 288 0
56605 대학교 연습문제에 있는 증명하시오 문제에서 [4] 수갤러(121.132) 04.10 253 1
56604 중고딩 안녕하세오 응애에오 수갤러(146.56) 04.10 127 1
56601 일반 선형사상 L (R^n->R^n)에 대해서 [6] 수잘갤질문갤로그로 이동합니다. 04.10 230 0
56600 대학교 Ax=b에서 x구할때 양변에 A^T 곱하는 이유가 [12] ㅇㅇ갤로그로 이동합니다. 04.10 431 0
56599 일반 수학은 그냥 짬밥임 [1] 케빈듀란트갤로그로 이동합니다. 04.10 325 1
갤러리 내부 검색
제목+내용게시물 정렬 옵션

오른쪽 컨텐츠 영역

실시간 베스트

1/8

뉴스

디시미디어

디시이슈

1/2