Porisma

Worked solution

Remove the original intersection before using a discriminant

A curve is given by x=at2x=at^2, y=2aty=2at.

Show that the normal at (at2,2at)(at^2,2at) is y+tx=at3+2aty+tx=at^3+2at.

If that normal meets the curve again at (aq2,2aq)(aq^2,2aq), show that t2+qt+2=0t^2+qt+2=0. Deduce that q2q^2 cannot be less than 88.

[2007/AJC/I/12(b)]

CJC · Review problems · Question 10

Answer

Normal y+tx=at3+2aty+tx=at^3+2at; for a second distinct intersection, t2+qt+2=0t^2+qt+2=0 and q2≥8q^2\ge8 (a≠0a\ne0).

Derive the normal with the nondegenerate assumption

For a genuine parabola assume a≠0a\ne0; if a=0a=0 the parametrisation collapses to a point and the stated tangent/normal problem is not defined. For t≠0t\ne0, dy/dx=2a/(2at)=1/tdy/dx=2a/(2at)=1/t, so the normal slope is −t-t. Thus y−2at=−t(x−at2)y-2at=-t(x-at^2), or y+tx=at3+2aty+tx=at^3+2at. At t=0t=0 the tangent is vertical and the normal is y=0y=0, also given by this formula; it does not meet the parabola at a second point.

How did this part go?

Method 1: substitute the second point into the normal

2aq+t(aq2)=at3+2at2aq+t(aq^2)=at^3+2at. Dividing by a≠0a\ne0 and rearranging gives t3+2t−q2t−2q=0t^3+2t-q^2t-2q=0.

How did this part go?

Method 2: use the secant slope

Since the two distinct points lie on the normal, (2at−2aq)/(at2−aq2)=−t(2at-2aq)/(at^2-aq^2)=-t. After cross-multiplying and dividing by aa, 2t−2q=−t3+q2t2t-2q=-t^3+q^2t, giving the same cubic. The finite normal cannot join two distinct points with the same x-coordinate, so the secant denominator is nonzero under these hypotheses.

How did this part go?

Factor method 1: use the factor theorem

For F(t)=t3+2t−q2t−2qF(t)=t^3+2t-q^2t-2q, F(q)=0F(q)=0. Write F(t)=(t−q)(t2+bt+2)F(t)=(t-q)(t^2+bt+2); the t2t^2 coefficient gives b=qb=q. Hence F(t)=(t−q)(t2+qt+2)F(t)=(t-q)(t^2+qt+2).

How did this part go?

Factor method 2: group the differences

t3−q2t+2t−2q=t(t2−q2)+2(t−q)=(t−q)[t(t+q)+2]=(t−q)(t2+qt+2)t^3-q^2t+2t-2q=t(t^2-q^2)+2(t-q)=(t-q)[t(t+q)+2]=(t-q)(t^2+qt+2). A second distinct point has q≠tq\ne t, so t2+qt+2=0t^2+qt+2=0.

How did this part go?

Use the real-root condition

Considering t2+qt+2=0t^2+qt+2=0 as a quadratic in the real parameter tt, its discriminant is q2−8≥0q^2-8\ge0. Thus q2≥8q^2\ge8. Equality is possible: q=±22q=\pm2\sqrt2, t=−q/2t=-q/2, which are distinct real parameters.

How did this part go?

Common mistakes

Meeting again requires a distinct parameter; retaining t=q would make the discriminant argument invalid.

Read the hint