[일반] 이거 어떻게 풀어?? 논문 lemma인데

[익명(39.7)]

교수님이 이거 고딩도 풀수 있다고햇는데

어떻게풀지??바운드가안좁혀지는데

- dc official App

[익명(180.230)]

미분하면 안되나

[익명(118.235)]

미분해서 =0되는거 찾으려면 4차방정식 근의공식써야됨 - dc App

[익명(118.235)]

미분해서 부호조사 조차도 힘든데 식이결국 미분전이랑 복잡도가 비슷해갖고 미분으로 하는게아닌건가싶음그래서 - dc App

[ExHentai.org(nsa15464)]

이거 미분한거 그래프 그려보니까 분명히 x축 위쪽에서 그려지긴 하네.. f'(x)>0 임을 보일 수 없으려나

[익명(14.37)]

궁금한데 갑자기, 그래프 프로그램으로 증명되는거도 증명으로침?

[ExHentai.org(nsa15464)]

그건 증명으로 안치지

[익명(14.37)]

그래프프로그램상에서 유의미하게 차이가 나면 양수음수는 명확히판단되는거아녀? 그래프프로그램원리를 생각하면 - dc App

[ExHentai.org(nsa15464)]

흐으음.. 컴퓨터는 실수집합을 이해하지 못해서 컴퓨터가 그린 그래프가 "실제" 그래프는 아니지만.. 그래도 양수인지 음수인지 정도는 확실히 판별 가능하다고 볼 수 있을것 같기도 하고 4색 정리의 사례도 있으니까.. 그런데 4색정리는 애초에 처리해야 할 가짓수가 유한개로 정해진 상황이었는데 이 경우는 그렇지 않아서 똑같이 생각할 수는 없을것 같은데 음..

[ExHentai.org(nsa15464)]

만약 아주 단순한 문제풀이더라도 우리가 과정을 직접 확인할 수 없는 이상 지금은 증명으로 인정되지 않는다고 보는게 맞는것 같음. 컴퓨터가 증명에 얼마나 개입할 수 있을까? 이건 미래에는 답이 변할 수 있지 않을까

[익명(116.39)]

치환하면 되겠네 - dc App

[익명(118.235)]

해결본이 궁금함 이게 계산이.깔끔하게가안돼서 - dc App

[익명(119.200)]

쉬벌 세타펑션인줄알았네

[캔디뜯죠(1wq1wq)]

미분 아님? - dc App

[캔디뜯죠(1wq1wq)]

식이 에바쎄바네 - dc App

[1(147.47)]

f_x , f_theta로 편미분해본 다음에 극값, 혹은 supreme 음수임이 증명됨.