Find the equation of the right circular cylinder whose axis is x=2y=−z, and radius is 4. Prove that the area of the section of this cylinder by the plane z=0 is 24π.
Technique
A right circular cylinder is the locus of points at a fixed distance from its axis, so impose ∣r×d^∣=4 with d^ the unit vector along the axis, using Lagrange’s identity ∣r×d^∣2=∣r∣2−(r⋅d^)2 to keep the algebra clean. For the section, set z=0 and identify the resulting central conic through the invariants tr and det of its matrix — the eigenvalues give the semi-axes, hence the area. Confirm independently by the parallel-projection area formula.
Solution
Step 1 — The axis in standard form.
x=2y=−z⟺1x=1/2y=−1z⟺2x=1y=−2z.
So the axis is the line through the originO(0,0,0) (all three members vanish there) with direction ratios
d=(2,1,−2),∣d∣=4+1+4=3,d^=31(2,1,−2).
Step 2 — Equation of the cylinder.
Let P(x,y,z) be any point of the cylinder and r=OP=(x,y,z). The perpendicular distance from P to the axis is ∣r×d^∣, and the cylinder is the locus where this equals the radius 4:
∣r×d^∣2=16⟺∣r×d∣2=16∣d∣2=16⋅9=144.
By Lagrange’s identity, ∣r×d∣2=∣r∣2∣d∣2−(r⋅d)2, so the condition is
Check. The point Q=54(1,−2,0) satisfies Q⋅d=54(2−2−0)=0 and ∣Q∣=545=4, so it is at distance 4 from the axis and must lie on the cylinder. Indeed
(The equation is automatically invariant under r↦r+sd, since (r+sd)×d=r×d — as it must be for a cylinder.)
Step 3 — The section by z=0: identify the conic.
Setting z=0 in the cylinder’s equation, the section is the plane curve
5x2−4xy+8y2=144(in the plane z=0).(3)
Write it as ax2+2hxy+by2=144 with a=5,h=−2,b=8. There are no linear terms, so it is a central conic with centre at the origin (the axis meets z=0 at O, as it must). Its discriminant is
h2−ab=4−40=−36<0,
so (3) is an ellipse (real, since a>0 and the right-hand side 144>0). It is not a circle, because the plane z=0 is not perpendicular to the axis.
Step 4 — Semi-axes by the invariants of the conic.
The matrix of the quadratic form is
M=(ahhb)=(5−2−28),trM=13,detM=40−4=36.
Both are invariant under rotation of axes, so if λ1,λ2 are the eigenvalues of M then in principal axes (u,v) the conic is λ1u2+λ2v2=144. The characteristic equation is
Both eigenvalues are positive, confirming a real ellipse. Hence
9u2+4v2=144⟺16u2+36v2=1,
so the semi-axes are
semi-minor=9144=4,semi-major=4144=6.
Therefore
Area=π×4×6=24π.■
Equivalently, in one line: for λ1u2+λ2v2=k the area is πλ1kλ2k=λ1λ2πk=detMπk=6144π=24π.
Where the axes point (a geometric confirmation). For λ=9: (M−9I)w=0 gives −4w1−2w2=0, i.e. w∝(1,−2); for λ=4: w1−2w2=0, i.e. w∝(2,1). So the minor axis (half-length 4) lies along (1,−2,0) — and (1,−2,0)⋅(2,1,−2)=2−2+0=0, so this direction is perpendicular to the cylinder’s axis, exactly as it must be: along it the section coincides with the right circular cross-section, giving half-length equal to the radius 4. ✓ The major axis (half-length 6) lies along (2,1,0). Both endpoints check on (3):
Step 5 — Independent proof of the area by parallel projection.
Lemma. Let d^ be a unit vector, Π1 a plane with unit normal n^1 where n^1⋅d^=0, and Π2 a plane perpendicular to d^. Projection along d^ from Π1 to Π2 multiplies areas by ∣n^1⋅d^∣.
Proof. A parallelogram in Π1 spanned by u,v maps to the one spanned by u′=u−(u⋅d^)d^, v′=v−(v⋅d^)d^. Both lie in Π2, so u′×v′ is parallel to d^ and
Application. Every generator of the cylinder is parallel to d^=31(2,1,−2), and d^⋅k^=−32=0, so each generator meets the plane z=0 in exactly one point. Projection along d^ therefore carries the section by z=0bijectively onto the right circular cross-section — a circle of radius 4, of area 16π. With n^1=k^=(0,0,1),
n^1⋅d^=31(0⋅2+0⋅1+1⋅(−2))=32,
so by the Lemma
16π=Area(section)×32⟹Area(section)=2/316π=24π.■
The two independent methods agree, and the semi-axes 4 (the radius, unchanged) and 6=4÷32 (the radius stretched by the obliquity factor) are exactly what the projection picture predicts.