If 1x=2y=3z represents one of a set of three mutually perpendicular generators of the cone 5yz−8zx−3xy=0, then find the equations of the other two.
Technique
Two standard facts do all the work. (1) A homogeneous cone ax2+by2+cz2+2fyz+2gzx+2hxy=0 admits three mutually perpendicular generators iffa+b+c=0 — verify it holds here. (2) The other two generators, being perpendicular to (1,2,3) and passing through the vertex O, lie in the plane x+2y+3z=0; intersecting that plane with the cone gives a homogeneous quadratic in two of the variables, which factorises into the two required directions.
Solution
Step 0 — Read off the coefficients.
Compare 5yz−8zx−3xy=0 with the general cone with vertex at the origin,
i.e. f=25, g=−4, h=−23. The surface is a cone with vertex at the origin, and every line through O lying on it is a generator, so a generator is fully specified by its direction ratios.
Step 1 — Verify that 1x=2y=3z is a generator.
The line passes through the origin with direction ratios (l1,m1,n1)=(1,2,3). Substituting (x,y,z)=(1,2,3) into the cone:
5(2)(3)−8(3)(1)−3(1)(2)=30−24−6=0.✓
So the given line does lie on the cone; it is a generator.
Step 2 — Check the condition for three mutually perpendicular generators.
Standard result. A cone ax2+by2+cz2+2fyz+2gzx+2hxy=0 has three mutually perpendicular generators if and only if a+b+c=0.
Why (one line, worth writing): let A=ahghbfgfc so the cone is vTAv=0. If u1,u2,u3 are mutually perpendicular unit generators they form an orthonormal basis, so ∑iuiuiT=I and
i=1∑3uiTAui=tr(Ai∑uiuiT)=trA=a+b+c.
Each term on the left is 0 (each ui is on the cone), hence a+b+c=0.
Here a+b+c=0+0+0=0, so such a triad does exist — the hypothesis of the question is consistent.
Step 3 — Locate the plane containing the other two generators.
The other two generators pass through the vertex O and are perpendicular to the direction (1,2,3). A line through O with direction (l,m,n) is perpendicular to (1,2,3) iff
l+2m+3n=0.
So both remaining generators lie in the plane through the origin with normal (1,2,3):
(If z=0 this forces 6y2=0, so y=0 and then x=0 — only the origin. Hence no generator in π has z=0, and we may safely normalise z=1 below without losing a direction.)
Step 5 — Extract the two directions.
Case 1: y+z=0, i.e. y=−z. Then x=−2y−3z=−2(−z)−3z=−z. Taking z=−1:
(x,y,z)=(1,1,−1)⟹(l2,m2,n2)=(1,1,−1).
Case 2: y+4z=0, i.e. y=−4z. Then x=−2(−4z)−3z=8z−3z=5z. Taking z=1:
(x,y,z)=(5,−4,1)⟹(l3,m3,n3)=(5,−4,1).
Step 6 — Verify both lie on the cone.
(1,1,−1): 5(1)(−1)−8(−1)(1)−3(1)(1)=−5+8−3=0.✓
(5,−4,1): 5(−4)(1)−8(1)(5)−3(5)(−4)=−20−40+60=0.✓
Step 7 — Verify mutual perpendicularity of all three.
The three directions are pairwise orthogonal and all three lie on the cone: they are a set of three mutually perpendicular generators.
Remark (why the third check could not have failed). Steps 3–5 force the last two directions to be perpendicular to (1,2,3), but perpendicularity to each other looks like luck. It is not. Take an orthonormal basis {u1,e,f} of R3 with u1=141(1,2,3), so {e,f} spans π. Writing the restricted form as Q∣π=αX2+2βXY+γY2, the trace argument of Step 2 gives Q(u1)+α+γ=trA=0, and Q(u1)=0 since u1 is a generator; hence α+γ=0. A pair of lines αX2+2βXY+γY2=0 is perpendicular exactly when α+γ=0 — so the two remaining generators are automatically orthogonal. This is the same fact a+b+c=0 doing its work a second time.
Step 8 — Write the equations.
Both lines pass through the vertex (0,0,0), so in symmetric form:
1x=1y=−1zand5x=−4y=1z.
Answer
1x=1y=−1zand5x=−4y=1z
(equivalently x=y=−z and 5x=−4y=z; together with 1x=2y=3z these are three mutually perpendicular generators of 5yz−8zx−3xy=0.)