이 문제에서 divcurlG를 하면 0이 나오지 않습니다
제가 생각하기론 정리 11를 대우로 바꾸어, divcurlF가 0이 아니면 벡터장 F가 존재하지않는다를 이용하여
가정인 divcurlG가 0이 아니걸 보였기 때문에 결론인 F가 존재하지 않는다가 참이된다 이렇게 보거나
대우로 바꾼 명제에서 귀류를 사용하여 결론인 F가 존재한다를 존재하지 않는다로 가정하여 가정인 divcurl이 0이 아니다와 모순이 있다는걸 보이는식으로 봤는데
솔루션애는 왜 thm11이 모순이라고 하는걸까요? 귀류를 쓸거면 가정에 모순이라고 해야하는거 아닌가요
왜 정리를 모순이라하는지..
- dc official App
귀류 쓸덴 굳이 가정이 아니라 어디서라도 모순이 나오면 됨
그러한 G가 존재한다고 가정하자. 그러면 div(curl G)=/=0 인데 정리 11로부터 div(curl G)=0도 나오니까 모순이나오죠
contradicts to A는 A가 모순이라는 게 아니라 A에 모순된다는 말임