누가누가 잘찍나(수학 ver.)
게시글 주소: https://orbi.kr/00069090715
모든 실수 x에 대해 참 또는 거짓이 정의된 명제 L(x)가 있다(ex) L(x) = “x^2 < 4“). L(1)이 참이라 할 때, 다음 중 L(x)가 모든 자연수에 대해 참일 조건으로 알맞지 않은 것은?
(명시되어 있지 않은 한, 각 조건은 모든 실수에 대해 성립)
오랜만에 올려보네요…
0 XDK (+0)
유익한 글을 읽었다면 작성자에게 XDK를 선물하세요.
-
그불구 or 더데유데 1.5
-
마지막에 실모랑 같이 풀려고 하고 추론형 문제들 어느정도 다 풀줄 아는데 감 유지...
-
문 독 몇지문씩 보는 게 좋을까요?? 그리고 다들 우기분 며칠에 한 강 들으심??
-
-
23수능인가요?
-
9월 기하 29번만 틀렸습니다.. 29번 그냥 보다가 뭔가 바로 안떠올라서 넘겼고...
-
뭐가 더 좋을까요?? 적당히 무게 있는걸 찾고 있어요 둘다 넘 어렵나요??
-
수능때 뭐 제대로 터져야 정신차릴라나
-
포점 차이도 달라지는 거잖어 ㅋㅋㅋ
-
우울하네 0
오늘 열심히 공부했는데....... 에휴 애니나 봐야겠다.
-
천만덕 가쥬아
-
비문학 0
이번 9모 80 언매 35,36 틀 하고 문학 31 27 틀하고 나머지 다 비문학...
-
ㅇㅈ 20초삭 10
인증은 너굴맨이 검열했우니 안심하라구!
-
국문과 과방 와이파이 끊어라. 반갑습니다, 또왔습니다 팀 쿠클 국어 연구소입니다....
-
Rousseau believed that people are born but...
-
제본 가격 0
docs에서 책사고 제본하려는데, 양면기준 400페이지 정도면 얼마 나오나요??...
-
슈뱅보러 오세요 4
https://www.youtube.com/live/tCosWHtI_lU
-
수학 n제 순서 0
지금 4규 거의다 끝나서 이다음에 이해원s1 풀고 다음에 문해전s1이랑 이해원시즌2...
답: 모두 적절하다
1. 정의 그대로의 수학적 귀납법.
2. 조건에 따라 L(2^n)은 항상 참이고 L(n)이 참이면 mm인 자연수 k가 존재하고 이때 2^k보다 작은 자연수인 m에 대해 L(m)은 참이므로 모든 자연수에 대해 L이 참이다.
3. 일종의 ‘실수에 대한 수학적 귀납법‘이다. 우선 조건 하에서 L(2)가 참임을 증명할 수 있다면, 정확히 같은 방법으로 L(k)가 참일 때 L(k+1)이 참임을 증명할 수 있으므로 수학적 귀납법으로 증명이 완료된다. 이때 L(2)가 거짓이라 가정하고, 구간 [1, 2]에서 L(x)가 거짓인 x의 집합을 S라 하자. 또한 S의 최대 하계(S의 모든 원소 x에 대해 a<=x가 성립하는 실수 a를 S의 하계라 할 때, 이 중 최댓값)를 p라 두자. S가 공집합이 아니고 1보다 작은 수를 포함하지 않으므로 p는 정의되고, 어떤 y에 대해 1n인 자연수 m이 존재한다(아니라면 n은 ‘L이 참인 자연수의 집합‘의 최댓값이거나, 그 최댓값보다도 클 것이다). 이때 L(m)이 참이고 m>n이므로 L(n)도 참이다.
5. 명제 L’(n)을 ‘n보다 작거나 같은 모든 자연수 m에 대해, L(m)이 참이다‘로 두고 수학적 귀납법을 적용한다. L’(1)은 참거짓이 L(1)과 같으므로 참이고, L’(n)이 참인데 L’(n+1)이 거짓이려면 L(n+1)이 거짓이어야 할 텐데 L(1), L(2)…L(n)이 참이므로 이는 불가능하다.
6. 5번과 정확히 똑같게 L’을 설정하면 수학적 귀납법으로 쉽게 보일 수 있다.
쓰다보니 길어졌네요…
오르비 이슈로 중간에 짤린 부분이 있네요… 부등호 표기에서 문제가 생기는듯
뭔가 다 된다는 답이 아닐 것 같아서 계속 확인하게 되네
확실히 3이 제일 비직관적이긴 해요
나머지는 결국 수학적 귀납법에서 유도되니까
우왕 맞췄다
4: 코시의 수학적 귀납법 (또는 역 수학적 귀납법)
한국에선 역 수학적 귀납법이라 많이 부르고 외국에선 코시 수학적 귀납법이라 많이 부르는 듯
6: 강한 수학적 귀납법