해설에서 2^x-2^-x을 치환한 뒤, 치환한 함수의 존재성을 증명해야 한다고 나와있는데, 왜 그래야 하는지 잘 모르겠습니다.

2^x이라는 함수에서 2^-x을 뺀 건데, 둘 다 실수 전체의 집합에서 존재성이 증명되어 있으니 단순히 빼기로 연산한 것의 함수를 근의 공식을 쓰지 못 할 이유가 없다고 생각했기 때문입니다.

앞의 다른 문제에서 2, 3^x=t라 치환하고 이차함수 풀 듯이 푼 문제와 풀이 과정에서 차이가 발생한 이유를 잘 모르겠습니다.

또 증명이 끝난 후에야 이차함수처럼 풀 수 있다고(판별식을 사용할 수 있다고)문제에서 말했는데 동그라미 2번에서는 증명하기 위해 증명되지 않은 함수에 근의 공식을 사용했으니 모순이 되는 것 아닐까 의문이 듭니다.