누가누가 잘찍나(수학 ver.)
게시글 주소: https://i.orbi.kr/00069090715
모든 실수 x에 대해 참 또는 거짓이 정의된 명제 L(x)가 있다(ex) L(x) = “x^2 < 4“). L(1)이 참이라 할 때, 다음 중 L(x)가 모든 자연수에 대해 참일 조건으로 알맞지 않은 것은?
(명시되어 있지 않은 한, 각 조건은 모든 실수에 대해 성립)
오랜만에 올려보네요…
0 XDK (+0)
유익한 글을 읽었다면 작성자에게 XDK를 선물하세요.
-
가는 사람이 있나요?
-
ㄹㅈㄷ
-
하니 국회출석...ㄷㄷ 15
-
원래 1실모 3하프 하다가 10일정도 전부터 국어 때려박는다고 1실모만 하는데 너무 적나 흠..
-
해이해진 사람들이 많아진 느낌이다(본인 포함) 모두들 끝까지 파이팅합시가
-
지금은 물리학과나 통계학과를 지망하지만 한때는 곤충이랑 식물을 광적으로 좋아했던...
-
24 대학어디가 기준으로요. 그럼 이제 중경시건인가요?
-
D-36 공부일기 12
진짜 환절기 들어서니 비염땜시 컨디션이 완전 폭락이네요 ㅠㅡㅠ 국어 영어도 영...
-
지방교대 올해 7
평백 80이상 나오려나.. 진짜 안되는데…
-
고2 9모 42666 나오고 국어 과탐 영어는 공부해본적없고 수학은 수1수2...
-
아니 진짜 뭐임 4
왜 나만 억까하는건데
-
오늘하루를 보상받는거같네요,, 포근한 이불에 발부비는거 만큼 좋은게 없는거같아요
-
개좋다...
-
으으 미적하기시러,, 12
기하조아..
-
궁금하네
-
선형대수학 으으으... 13
-
세계사는 메가스터디 김종웅샘 들으려고요 대성패스도 있어요
-
요즘 통..
-
남자한테 반했어요.. 근데 솔직히 너무 잘생김.. 12
하 진짜 멋있다.. 미치겠다.. 어떡해 나 진짜.. 광신도들이 포교하는 마음이 이런...
답: 모두 적절하다
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이 제일 비직관적이긴 해요
나머지는 결국 수학적 귀납법에서 유도되니까
우왕 맞췄다