수리논술, 배움에서 논증의 완성까지.

의예과 2번

문제

서로의 차가 2 이상인 네 정수 a>b>c>d\displaystyle a>b>c>d 가 주어질 때 다음 조건 (가), (나)를 모두 만족하는 계수가 정수인 3차 다항식 p(x)\displaystyle p(x)가 존재할 수 없음을 보이시오.

(가) (p(a)p(b))(p(b)p(c))(p(c)p(d))(p(d)p(a))<0\displaystyle (p(a)-p(b))(p(b)-p(c))(p(c)-p(d))(p(d)-p(a))<0

(나) p(a)p(b),p(b)p(c),p(c)p(d),p(d)p(a)\displaystyle |p(a)-p(b)|,|p(b)-p(c)|,|p(c)-p(d)|,|p(d)-p(a)|는 모두 소수

해설강의 준비중
+10점 · 다항식의 차 p(r)p(s)=(rs)q(r,s)\displaystyle p(r)-p(s)=(r-s)q(r,s)로 유도됨을 보인다. +10점 · p(r)p(s)=(rs)q(r,s)\displaystyle p(r)-p(s)=(r-s)q(r,s)에 각각의 정수쌍 (r,s)=(a,b),(b,c),(c,d),(d,a)\displaystyle (r,s)=(a,b),(b,c),(c,d),(d,a)를 대입하여 네 개의 식을 유도한다.

p(x)=a3x3+a2x2+a1x+a0\displaystyle p(x)=a_3x^3+a_2x^2+a_1x+a_0(ai,i=0,1,2,3\displaystyle a_i,i=0,1,2,3는 정수들)라고 하면 임의의 두 수 r,s\displaystyle r,s에 대하여p(r)p(s)=a3r3+a2r2+a1r+a0a3s3a2s2a1sa0=(rs)(a3(r2+rs+s2)+a2(r+s)+a1)=(rs)q(r,s)\displaystyle \begin{aligned}p(r)-p(s)&=a_3r^3+a_2r^2+a_1r+a_0-a_3s^3-a_2s^2-a_1s-a_0\\&=(r-s)(a_3(r^2+rs+s^2)+a_2(r+s)+a_1)=(r-s)q(r,s)\end{aligned}로 인수분해할 수 있다. 그러므로 좌변과 우변의 항들이 모두 정수가 되는 다음과 같은 네 개의 식p(a)p(b)=(ab)q1\displaystyle p(a)-p(b)=(a-b)q_1,p(b)p(c)=(bc)q2\displaystyle p(b)-p(c)=(b-c)q_2,p(c)p(d)=(cd)q3\displaystyle p(c)-p(d)=(c-d)q_3,p(d)p(a)=(da)q4\displaystyle p(d)-p(a)=(d-a)q_4를 얻게 된다.

+10점 · 위에서 얻어진 네 개의 식의 좌변은 소수이고 우변은 두 개의 정수의 곱임을 설명한다. +10점 · 소수의 성질을 이용하여 p(a)p(b)=±(ab)\displaystyle p(a)-p(b)=\pm(a-b)등 임을 보인다.

(나)에 의해 좌변의 절대값이 모두 소수이어야 하고 a,b,c,d\displaystyle a,b,c,d가 서로의 차가 2이상이므로 q1=q2=q3=q4=1\displaystyle |q_1|=|q_2|=|q_3|=|q_4|=1이 될 수밖에 없다.

+10점 · p(a)p(b)\displaystyle p(a)-p(b)의 부호가 음수인 경우에도 같은 방법으로 모순이 유도됨을 언급한다.

p(a)p(b)=ab\displaystyle p(a)-p(b)=a-b 라고 가정해도 좋다. 왜냐하면 p(a)p(b)=ba\displaystyle p(a)-p(b)=b-a인 경우 p(x)\displaystyle -p(x)를 생각하면 된다.네 수 α,β,γ,δ\displaystyle \alpha,\beta,\gamma,\delta의 부호가 각각 +,+,+,\displaystyle +,+,+,-인 경우를 (α,β,γ,δ)=(+,+,+,)\displaystyle (\alpha,\beta,\gamma,\delta)=(+,+,+,-) 등으로 표현하기로 하자.조건 (가)에 의해 (1), (2), (3), (4)의 네 가지 경우가 성립한다.

+40점 · p(a)p(b)\displaystyle p(a)-p(b)의 부호를 양수라 두고 조건 (나)를 만족하는 p(b)p(c),p(c)p(d),p(d)p(a))\displaystyle p(b)-p(c),p(c)-p(d),p(d)-p(a))의 가능한 부호들을 생각하여 각각의 경우에 모순이 유도됨을 보인다.

(1) (p(a)p(b),p(b)p(c),p(c)p(d),p(d)p(a))=(+,+,+,)\displaystyle (p(a)-p(b),p(b)-p(c),p(c)-p(d),p(d)-p(a))=(+,+,+,-)(ab,bc,cd,da)=(+,+,+,)\displaystyle (a-b,b-c,c-d,d-a)=(+,+,+,-)이므로 다음과 같은 식을 얻게 된다.p(a)p(b)=(ab)\displaystyle p(a)-p(b)=(a-b),p(b)p(c)=(bc)\displaystyle p(b)-p(c)=(b-c),p(c)p(d)=(cd)\displaystyle p(c)-p(d)=(c-d),p(d)p(a)=(da)\displaystyle p(d)-p(a)=(d-a)이 경우에는 p(a)a=p(b)b=p(c)c=p(d)d=k\displaystyle p(a)-a=p(b)-b=p(c)-c=p(d)-d=k를 얻게 되는데 3차 방정식 p(x)x=k\displaystyle p(x)-x=k가 서로 다른 4개의 해를 가질 수 없으므로 모순이다.(2) (p(a)p(b),p(b)p(c),p(c)p(d),p(d)p(a))=(+,+,,+)\displaystyle (p(a)-p(b),p(b)-p(c),p(c)-p(d),p(d)-p(a))=(+,+,-,+)(ab,bc,cd,da)=(+,+,+,)\displaystyle (a-b,b-c,c-d,d-a)=(+,+,+,-)이므로 다음과 같은 식을 얻게 된다.p(a)p(b)=(ab)\displaystyle p(a)-p(b)=(a-b),p(b)p(c)=(bc)\displaystyle p(b)-p(c)=(b-c),p(c)p(d)=(dc)\displaystyle p(c)-p(d)=(d-c),p(d)p(a)=(ad)\displaystyle p(d)-p(a)=(a-d)이제 ①, ②, ③, ④를 모두 더하면 0=2a2c>0\displaystyle 0=2a-2c>0가 되고 모순이다.(3) (p(a)p(b),p(b)p(c),p(c)p(d),p(d)p(a))=(+,,+,+)\displaystyle (p(a)-p(b),p(b)-p(c),p(c)-p(d),p(d)-p(a))=(+,-,+,+)(ab,bc,cd,da)=(+,+,+,)\displaystyle (a-b,b-c,c-d,d-a)=(+,+,+,-)이므로 다음과 같은 식을 얻게 된다.p(a)p(b)=(ab)\displaystyle p(a)-p(b)=(a-b),p(b)p(c)=(cb)\displaystyle p(b)-p(c)=(c-b),p(c)p(d)=(cd)\displaystyle p(c)-p(d)=(c-d),p(d)p(a)=(ad)\displaystyle p(d)-p(a)=(a-d)이제 ①, ②, ③, ④를 모두 더하면 0=2a2b+2c2d>0\displaystyle 0=2a-2b+2c-2d>0를 얻게 되어 모순이다.(4) (p(a)p(b),p(b)p(c),p(c)p(d),p(d)p(a))=(+,,,)\displaystyle (p(a)-p(b),p(b)-p(c),p(c)-p(d),p(d)-p(a))=(+,-,-,-)(ab,bc,cd,da)=(+,+,+,)\displaystyle (a-b,b-c,c-d,d-a)=(+,+,+,-)이므로 다음과 같은 식을 얻게 된다.p(a)p(b)=(ab)\displaystyle p(a)-p(b)=(a-b),p(b)p(c)=(cb)\displaystyle p(b)-p(c)=(c-b),p(c)p(d)=(dc)\displaystyle p(c)-p(d)=(d-c),p(d)p(a)=(da)\displaystyle p(d)-p(a)=(d-a)이제 ①, ②, ③, ④를 모두 더하면 0=2d2b<0\displaystyle 0=2d-2b<0를 얻게 되어 모순이다.

첨삭 사례

아직 등록된 첨삭 사례가 없습니다.

질문과 답변 · 0개질문과 답변 · 고정 0개

아직 등록된 질문이 없습니다. 질문 작성은 멤버십 회원만 가능합니다.