먼저 제 풀이를 보여주면서
지적받은 포인트들을 보여드릴게요.
[제 풀이]
준식을 x에 대한 이차식으로 보고 x에 대한 내림차순으로 정리하면
x²+(2y-1)x+ay²+y-2
준식=0이라는 방정식을 설정하여
x에 대한 근의공식을 써서 나온 두 근
x=(1-y)+-루트((y-1)²-ay²-y+2)에 대하여
a=(1-y)+루트((y-1)²-ay²-y+2)
b=(1-y)-루트((y-1)²-ay²-y+2)
라 하면
준식은 (x-a)(x-b)로 인수분해됨을 알 수 있다.
1.여기서 a와 b가 x,y에 대한 일차다항식이어야하므로
2.루트((y-1)²-ay²-y+2)가
y에 대한 일차다항식이어야 한다.
3.따라서 ((y-1)²-ay²-y+2)가 완전제곱식이 되어야하므로
전개한 식 (1-a)y²-3y+3의 판별식이 0이 되어야 한다.
따라서 판별식 D=9-4*3*(1-a)=12a-3=0이므로,
a=1/4이다.
1에 대한 지적 :
왜 a와 b가 x,y에 대한 일차다항식이어야 하는 지 증명하지 않았다.
명제
[a,b가 x y에 대한 일차다항식 => 준식이 x,y에 대한 두 일차식의 곱으로 인수분해 가능]
는 전건이 참일때
a,b가 x,y에 대한 일차다항식이므로
(x-a) , (x-b) 역시 x,y에 대한 일차다항식이 되어 참임을 자명하게 알 수 있는데,
이 풀이에서 사용한 논리는
역 명제
[준식이 x,y에 대한 두 일차식의 곱으로 인수분해 가능 =>
a,b가 x,y에 대한 일차다항식]
가 참임을 사용한 것이고, 풀이가 타당하려면
해당명제에 대한 증명이 필요하다.
====================================
2에 대한 지적 :
루트((y-1)²-ay²-y+2)가
y에 대한 일차다항식이어야
하는 이유를 증명하지 않았다.
명제
[루트((y-1)²-ay²-y+1)가 y에 대한
일차다항식 => a와 b가 x,y에 대한 일차다항식]
는 전건이 참일때,
a=(1-y)+루트((y-1)²-ay²-y+2)
b=(1-y)-루트((y-1)²-ay²-y+2)
이므로
a와 b는 자명히 y에 대한 일차다항식이고,
따라서 a와 b는 x,y에 대한 일차다항식이다.
하지만 이 풀이는
역 명제
[a와 b가 x,y에 대한 일차다항식
=>루트((y-1)²-ay²-y+1)가
y에 대한 일차다항식]
가 참임을 사용한 것이므로
풀이가 타당하려면
해당 명제에 대한 증명이 필요하다.
====================================
3에 대한 지적 :
왜 (y-1)²-ay²-y+2가 완전제곱식이어야 하는 지 증명하지 않았다.
해당 풀이는
명제
[루트((y-1)²-ay²-y+2)가 y에 대한 일차다항식
=> (y-1)²-ay²-y+2)가 완전제곱식]
가 참임을 사용한 것이므로
해당 명제에 대한 증명이 필요하다.
- dc official App
(준식)=(x+by+c)(x+dy+e) 이렇게 두고 전개하는게 더 빠를지도..? - dc App
내 생각에는 님이 놓친게 하나 있음. 왜 지적했는지 알거같은게 sqrt((y-1)²-ay²-y+1) 이거 루트 안에 식 전개해서 정리해보셈. 전개해도 안보이면 왜 하필 "일차다항식" 임을 지적했는지 고민해보셈. 나도 딱하나 걸리는게 있어서 그거땜에 이 풀이 반려했을거같음ㅋㅋ
와잠깐그러네요 절댓값붙어버리네 - dc App
근데 이러면 제풀이 논리를 어떻게수정해야 완전한 서술형답안이되는건가요..? 서술 어떻게 할 지 감도안오는데이거 - dc App
@ㅇㅇ(118.235) 내 생각엔 a=1일때 생각 안해서 그런거 같은데...절댓값 붙은건 걍 경우의 수 나눠서 해버리면 될듯?
@ㅇㅇ(1.227) 근데 그렇게해서 풀면 a=1/4일때 두일차식의곱으로 인수분해됨을 보장하지만, 두일차식의 곱으로 인수분해되면 a=1/4이다를 증명한건 아니게되지않나요? - dc App
@ㅇㅇ(118.235) x²+(2y-1)x+ay²+y-2 가 (x-A)(x-B) 형태로 유일하게 인수분해되는건 인수정리에 의해 보장되는 부분인데... 혹시 그걸 안써서 지적한걸까 싶은 생각도 들기는 함
(x-lkl)(x+lkl)=(x-k)(x+k) - dc App
(x+y-1)² = f(y) = g²(y) g는 완전제곱 - dc App
두 직선의 곱으로 표현되고, 기울기가 0,∞가 아니므로 근이 반드시 존재함 - dc App