누가누가 잘찍나(수학 ver.)
게시글 주소: https://orbi.kr/00069090715
모든 실수 x에 대해 참 또는 거짓이 정의된 명제 L(x)가 있다(ex) L(x) = “x^2 < 4“). L(1)이 참이라 할 때, 다음 중 L(x)가 모든 자연수에 대해 참일 조건으로 알맞지 않은 것은?
(명시되어 있지 않은 한, 각 조건은 모든 실수에 대해 성립)
오랜만에 올려보네요…
0 XDK (+0)
유익한 글을 읽었다면 작성자에게 XDK를 선물하세요.
-
스트레스받아서 님들이유가뭐임
-
"엄마가 깔아줄게" 수능 보는 학부모들…실제 효과 있을까? 5
26 부탁드립니다(좋아요 눌러주세요!)
-
이제 안 나오나요..?? 삼도극 무등비 둘 다 미적 문제 맞죠??
-
그냥 수특 수완으로 보시나요? 어떻게 보고 계신지 조언 부탁드립니다!
-
대성도 다녀오고… 이제 고객사 목록에도 신규 추가가 되었으며 아마 내년 더프 제작중...
-
-
이준석, 2년 9개월 13일만에 성접대 의혹 족쇄 풀려…檢, 무고 무혐의 결정 10
(서울=뉴스1) 박태훈 선임기자 = 서울중앙지검은 이준석 개혁신당 의원의 무고...
-
내신 4점대면 논술 학교 어디깢 쓸 수 있나요? (수리논술) 정시파이터라 걍 작년에...
-
결제 다음꺼 걍 안하면 됨? 뭐 어디다 말해야하나??
-
9모가 끝난 지 이틀이나 지나고 이제서야 쓰는 글입니다만 그 이틀 간 힘들기도 했고...
-
이런거 완벽하게 정리해놓은 거 있음?? 사회계약설 맨날 헷갈림
-
우리 가족은 다 별로라네.. 진짜 좋은데
-
만약 붙으면 남녀 1:9 성비 속에서 대학 다닐 수 있는거임?
-
언매 미적 화학 생명 선택인데 공부를 안 해서 9모 42465 떴음요.. ㅈ된 것...
-
사설이 흉내 못내나요? 이 선지가 좀 레전드 같은데..
-
생각을 지울 수 없다
답: 모두 적절하다
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: 강한 수학적 귀납법