[일반] 이거 대체어떻게풀지

[익명(118.235)]

몇주째안되네

- dc official App

[daWn(jini8057)]

귀납법 해봄?

[익명(118.235)]

귀납법으로 해야할거같다는 생각은 했는데 써나갈 길이안보임 계속 - dc App

[익명(112.151)]

왜 m,n>=2 라는 조건이 있지? m,n>=0 에서도 되는거아님? 반례가있나

[익명(58.230)]

이항정리 써보셈 그럼 대략 보일거같은데

[익명(143.248)]

3시간동안 고민했는데 모르겠다

[1+1=2(lsc4719)]

m+n=s로 두고 s에 대해 귀납법을 적용하면 되는 것 같은데? - dc App

[1+1=2(lsc4719)]

base case에서 s=4, m=2=n, 직접해보면 ok - dc App

[1+1=2(lsc4719)]

a[i]+a[i+1]=0=a[i+1]+a[i+2] 가 되는 경우가 없음을 보이기만 하면 되는 것 같은뎅 - dc App

[1+1=2(lsc4719)]

음 먼저 Lemma로 귀납법을 이용해서 a[i]+a[i+1]=0=a[i+1]+a[i+2] 가 되는 경우가 없음을 보이고, 저 Lemma를 이용해서 다시 s에 대한 귀납법으로 증명하면 될 것 같은데? - dc App - dc App - dc App

[1+1=2(lsc4719)]

induction step에선 s<=k에 대해서 저 조건이 성립한다고 가정, s+1인 다항식 A가 있을 때 A는 s인 어떤 다항식 B가 있을 때 문제에 주어진 정의에 따라 B(x-1) 혹은 B(x+1) 둘 중 하나이다. 귀류법 증명을 위해 A에서 성립하지 않는다고 가정하면, ... Lemma와 모순이 나온다. - dc App

[1+1=2(lsc4719)]

(다항식 A가 (x-1)^m(x+1)^n일 때, A는 "m+n인 A"라고 부른다고 하면) - dc App

[1+1=2(lsc4719)]

ㅠㅠ 틀렸나.. 한번 꼼꼼하게 써봐야겠다. - dc App

[TonyMontana(thecoqproofassistant)]

ㄹㅇ 어렵긴 하네 ㅋㅋ - PushItToTheLimit!

[익명(223.39)]

저거 kmo문제 아님?

[Farewe(cofeal)]

의대 논술 문제 아님? 예전에 누가 풀고 쉽다고 했었던 거 같은데 - dc App

[익명(223.39)]

아 한양대의대 문제였네 어디서 봤다 했는데 합격자들도 저문제 못풀었던데

[익명(pilone)]

a_k(m,n)+a_{k+1}(m,n) = a_{k+1}(m,n+1) 이고 a_k(m,n)-a_{k+1}(m,n) = -a_{k+1}(m+1,n) 임 그런데 m=n=1일때 어느 k에 대해서도 a_k(1,1)=a_{k+1}(1,1)=0이 아니니까 여기서 귀납법 쓰면 될듯

[익명(pilone)]

어 위 조건을 만족하면서 0이 두번연속 나올수가 없을듯