pma 적분 연습문제 2번이구요.
함수값이 0이 아닌 x_0가 존재하면 적분값이 0보다 커져서 모순이다. 라고 했는데요.
제가 푼건 결론 부정했을때 1,2는 맞지만 3이 아닌경우이고.
근데 여기서 추가로 2,3이 맞다면 1은 아니다.
1,3이 맞다면 2는 아니다. 까지 보여줘야 증명이 완료된다고 생각하면 될까요?
저렇게 하고보니 뭔가 부족한 것 같아서.
생각 정리하면 1 and 2 and 3 => f(x) = 0 대우 취하면
f(x) =/ 0. => ~1 or ~2 or ~3
근데 이렇게 쓰고보니 or 로 연결된 3개중에 하나만 만족해도 참이 되니까 증명된 것 같기도하고..
Pinter본지가 오래되어서 간단한 집합론 내용인것같은데 헷갈리네요 ㅋㅋㅋㅋㅋㅋㅋ
쓰다보니 제가 내린 결론은 저래도 증명이 충분하다. 인데 맞나요.. 아닌거같기도하고
뭔가 그동안 증명하면서 많이 만났던 상황인데 왜 오늘따라 저게 이상하게 느껴지는지 ㅋㅋㅋㅋㅋㅋㅋ
여담 : pma 적분 thm 증명 꿀잼
쓰고보니 당연한걸 묻는것같은데 왜 갑자기 이상하게 느꼈을까요.. 오히려 증명은 제대로 했는지도 모르겠네요
아무거나 모순보이면됨 심지어 123에 모순 보일 필요도 없고. 그냥 우리가 이미 세운 결과에 모순만 보이면 됨.
감사합니다. 글 쓰고보니 당연하고 그동안 풀어온 많은 증명문제들 다 결론 부정 —> 이미 있는것중 모순 발견 —> 끝 이랬는데 지금 잠을 못자서 그런가 이상하게 헷갈렸네요. 댓글 감사합니다! 괜히 부끄럽네요 하..