최솟값을 구하자. 지수의 합이 0이라는 이유로 두 항의 합도 1이라고 계산한 답은 어디서 틀렸을까?
t=2ˣ>0으로 두면 주어진 식은 t+1/t다.
분모가 양수이고 분자는 제곱이므로 모든 실수 x에서 합은 2 이상이다. 등호는 t=1, 즉 x=0일 때만 성립한다. 따라서 다.
두 항의 곱이 1이라는 지수 법칙은 합의 값이 1이라는 뜻이 아니다. x=−1,0,1의 합을 계산하면 5/2,2,5/2다. x=0만 대입한 답에는 ‘다른 입력에서 더 작지 않다’는 제곱식의 근거를, 부등식만 쓴 답에는 등호를 만드는 입력을 추가하게 하자.
출처·착안: Toririton, 「Cauchy−Schwarzの不等式をベクトルを使って証明」. 문항과 풀이는 새로 작성했다.
