Infron · Motif 3 · 46문항 × 3회 · Python TAR. 131,072 output tokens · 기본 1,800초 · 6+1 turns. ACC는 전체 138회, Pass@1은 각 문항의 첫 유효 시도, Pass@3는 3회 내 정답으로 계산합니다.
좌표평면에서 길이가 인 선분 AB를 지름으로 하는 원 위의 두 점 P,Q가 을 만족시킨다. 일 때, 이다. 의 값을 구하시오. (단, 이고, p와 q는 서로소인 자연수이다.)
최종 정수 답을 안에 쓰세요.
Recorded Python call:
import sympy as sp
# Define symbols
R = 5*sp.sqrt(2) # radius, since AB = 10√2
R_sq = R**2 # 50
# P coordinates: x_p = -24√2/5, y_p = ±7√2/5
x_p = -24*sp.sqrt(2)/5
y_p = 7*sp.sqrt(2)/5 # choose positive; the other sign gives same absolute value
# Check |PB|^2
PB_sq = (R - x_p)**2 + (0 - y_p)**2
print("PB^2 =", sp.simplify(PB_sq))
# Condition: P·Q = P·B
# P·B = R*x_p
P_dot_B = R * x_p
print("P·B =", sp.simplify(P_dot_B))
# Solve for Q = (x, y) on circle x^2+y^2 = R^2, with P·Q = P·B
x, y = sp.symbols('x y', real=True)
eq1 = sp.Eq(x**2 + y**2, R_sq)
eq2 = sp.Eq(x_p*x + y_p*y, P_dot_B)
# Solve for x
sol = sp.solve([eq1, eq2], (x, y), dict=True)
print("Solutions for Q:", sol)
# Compute PA·QB for each valid Q (exclude Q=B)
A = sp.Point(-R, 0)
B = sp.Point(R, 0)
P_pt = sp.Point(x_p, y_p)
for s in sol:
Q_pt = sp.Point(s[x], s[y])
PA_vec = sp.Matrix(A - P_pt)
QB_vec = sp.Matrix(B - Q_pt)
dot = PA_vec.dot(QB_vec)
abs_dot = sp.simplify(abs(dot))
QB_len = sp.sqrt((B.x - Q_pt.x)**2 + (B.y - Q_pt.y)**2)
print(f"Q = ({sp.simplify(s[x])}, {sp.simplify(s[y])})")
print(f" PA·QB = {sp.simplify(dot)}")
print(f" |PA·QB| = {abs_dot}")
print(f" |QB| = {sp.simplify(QB_len)}")
The problem can be solved by placing the origin at the midpoint of the diameter . Let the circle have radius (since ). Set and . Points and lie on the circle .
Given , we find . With , the condition gives:
Using , this simplifies to . Hence and .
The vector equation is simplified using the origin at the midpoint. Since , we have and . The equation reduces to:
Thus satisfies and .
Solving these yields two possible :
- (which gives , excluded by the condition ),
- .
Now compute the required dot product . Expanding and using :
With , and . Hence:
For the valid , , so . Then:
Taking the absolute value gives . Here and are coprime, so .
Comparative Analysis (Pgeometry_30) (Average across runs)
Averages use reported measurements only. Missing usage is not treated as zero.