질문1 :

오떤 명제의 대우를 증명하는 것은 가능한데
그 명제 자체를 직접적으로 증명하는 것은 불가능한 경우있나요

물론,명제의 대우 증명과 명제 증명이 동치인건 알지만요
대우를 증명한것과 명제를 직접증명한건 다른거같아서요


질문2 :

삼차방정식의 근의공식을 유도함에있어서
몇차례의 "변수변환"을 활용하는데..
"변수변환"을 통해 이차꼴로 만든후..증명가능하지만
변수 변환을 하지않고는 증명불가능한건가요?
이차방정식의 근의공식 유도처럼요.
변수 변환을 통해서만 증명가능하다는게 증명돼있나요?

그럼 그 변수변환을 한 증명은 직접증명이라고봐야되는지..

직접증명의 정의가 뭔지 제대로몰라서이런걸까요

질문3:

"직접증명"의 정의가무엇인가요

- dc official App