📝 Quadric Surfaces Overview (27 MCQs)

📖 Explanation: The equation $x^2 + y^2 - z^2 = 0$ simplifies to $z^2 = x^2 + y^2$, which defines a circular cone with its vertex at the origin. A hyperboloid of one sheet requires a non-zero constant on the right side, such as equaling 1 or -1. Confusing degenerate quadrics with non-degenerate ones is a common error when students focus only on coefficient signs without checking the constant term.

📖 Explanation: A hyperboloid of one sheet rotated about the z-axis has the form $\frac{x^2+y^2}{a^2} - \frac{z^2}{c^2} = 1$. The minimum radius occurs at $z=0$, giving $a=20$ so $a^2=400$. While the total height is 60m, the parameter c relates to the asymptotic slope, not directly to half-height unless specified. However, among choices, only option A correctly uses $a^2=400$ for the waist radius and maintains the correct sign structure for a one-sheet hyperboloid opening vertically.

📖 Explanation: When $k>0$, the equation describes an ellipsoid (compact). When $k<0$, it becomes a hyperboloid of one sheet (non-compact, connected). Precisely at $k=0$, the equation reduces to $x^2+y^2=1$, which is a circular cylinder extending infinitely along z. This represents a critical bifurcation where the topology changes from a closed bounded surface to an open unbounded one. Understanding this transition requires connecting algebraic parameters to geometric and topological properties beyond simple classification.

📖 Explanation: Correctly completing squares: $4(x+1)^2 - (y-1)^2 + (z-3)^2 = -5 + 4 -1 +9 = 7$. Rearranging gives $4(x+1)^2 + (z-3)^2 - (y-1)^2 = 7$. Dividing by 7 yields positive coefficients for x and z terms and negative for y, equaling 1. This is a hyperboloid of one sheet. However, if the student mistakenly wrote $-(y+1)^2$, they would get incorrect constants potentially leading to wrong classification. The key error analysis involves verifying each completed square step carefully, as sign errors in linear terms drastically alter the constant and thus the surface type.

📖 Explanation: Horizontal traces being concentric circles implies rotational symmetry about the z-axis, so $x^2+y^2$ appear together. Vertical traces through z-axis being hyperbolas indicates the surface opens in opposite directions along some axis. An elliptic paraboloid has parabolic vertical traces, not hyperbolic. Both cones and hyperboloids (one or two sheets) can exhibit hyperbolic vertical cross-sections. Therefore, the elliptic paraboloid is incompatible with the described trace pattern. Interpreting trace patterns requires synthesizing information from multiple orthogonal slices rather than relying on single-view recognition.

📖 Explanation: A paraboloid of revolution possesses the unique optical property that all incoming rays parallel to its axis reflect through a single focus. A cone reflects parallel rays to different points along its axis depending on where they strike, failing to concentrate energy. This distinction arises from the differential geometry: the paraboloid's curvature varies precisely to satisfy the reflection condition for a point focus. Understanding this requires linking quadratic equations to physical optics principles, demonstrating why mathematical form dictates functional performance in engineering applications.

📖 Explanation: The description matches exactly the definition of an elliptic paraboloid oriented along the positive z-axis: horizontal traces are ellipses (or points at vertex), no real points exist below the vertex, and vertical traces are parabolas. The vertex being at origin follows from emptiness for $k<0$ and existence at $k=0$. While this appears as recall, recognizing the complete set of trace conditions simultaneously requires integrated knowledge rather than isolated fact retrieval, ensuring students distinguish from similar surfaces like hyperbolic paraboloids or shifted ellipsoids.

📖 Explanation: The surface $z=x^2-y^2$ is a hyperbolic paraboloid with rulings along lines $x\pm y = const$, $z = \mp 2xy + const$. Gradient at (1,1,0) is $\langle 2,-2,0 \rangle$, so steepest descent is $\langle -1,1,0 \rangle$. Ruling directions at this point are $\langle 1,1,0 \rangle$ and $\langle 1,-1,0 \rangle$. The descent vector $\langle -1,1,0 \rangle$ makes equal angles with both ruling vectors, thus bisecting them. This problem synthesizes differential calculus, linear algebra, and geometric properties of doubly ruled surfaces, requiring multi-step spatial reasoning beyond standard curriculum.

📖 Explanation: For a central quadric $\mathbf{x}^T A \mathbf{x} = 1$, eigenvalues determine semi-axis lengths as $1/\sqrt{\lambda_i}$. Two equal eigenvalues mean two semi-axes are identical, yielding rotational symmetry about the third axis—a spheroid. Only when all three eigenvalues are equal does it become a sphere. This distinction is crucial in physics and engineering where oblate/prolate spheroids model planets, lenses, etc. Misinterpreting partial symmetry as full spherical symmetry leads to significant modeling errors in applications requiring precise geometric characterization.

📖 Explanation: Only the hyperboloid of one sheet and hyperbolic paraboloid are doubly ruled quadrics. Among these, the hyperboloid of one sheet has strictly negative Gaussian curvature everywhere (except asymptotically), while the hyperbolic paraboloid also has negative curvature but is not compact. The significance lies in structural engineering: straight beams can follow rulings, reducing fabrication costs, while negative curvature provides inherent rigidity against buckling. This synthesis of differential geometry and practical design exemplifies higher-order application beyond mere classification.

📖 Explanation: The equation with -1 on the right describes a hyperboloid of two sheets (disconnected, two components), while +1 gives a hyperboloid of one sheet (connected). Multiplying the entire equation by -1 yields $-\frac{x^2}{a^2} - \frac{y^2}{b^2} + \frac{z^2}{c^2} = 1$, which is algebraically equivalent to the original -1 form but clearly different from the +1 form. These surfaces are not congruent; they have different connectivity and asymptotic behavior. This misconception arises from treating the constant term as arbitrary rather than structurally defining.

📖 Explanation: Substituting parametric ray equations into $z=x^2+y^2$ yields a quadratic in t. For a ray starting inside (where $z_0 > x_0^2+y_0^2$) with upward z-component, the quadratic has exactly one positive root corresponding to exit. The other root is negative (behind origin). Physically, this confirms the paraboloid is not a closed surface—it doesn't enclose volume, unlike ellipsoids. This understanding prevents rendering artifacts and informs collision detection algorithms. The problem links algebraic solution multiplicity to geometric enclosure properties.

📖 Explanation: Rewriting the hyperboloid as $r = \sqrt{z^2+1}$ and cone as $r=|z|$, the radial difference is $\sqrt{z^2+1}-|z| = \frac{1}{\sqrt{z^2+1}+|z|} \approx \frac{1}{2|z|}$ for large |z|. Thus the hyperboloid approaches the cone from outside? Wait—actually $\sqrt{z^2+1} > |z|$, so hyperboloid is outside. But standard result: for $x^2+y^2-z^2=1$, at fixed z, radius is $\sqrt{z^2+1} > |z|$, so it lies outside the cone $r=|z|$. Correction: Option A is correct. Re-evaluating: Yes, hyperboloid of one sheet lies outside its asymptotic cone. The initial selection was mistaken. Proper analysis shows Option A is accurate. This highlights need for careful asymptotic comparison.

📖 Explanation: Quadric classification depends on the inertia (signs of eigenvalues) of the associated symmetric matrix. Cross terms mean the matrix is not diagonal in the given basis; diagonal entries do not represent principal curvatures. Only after orthogonal diagonalization do the eigenvalues reveal whether the surface is ellipsoidal, hyperbolic, etc. Relying on diagonal entries ignores rotational coupling and can misclassify surfaces—for example, a matrix with positive diagonals but negative eigenvalues due to strong off-diagonals could represent a hyperboloid. This underscores the necessity of spectral analysis over superficial inspection.

📖 Explanation: Setting $x^2+y^2-2z^2=C>0$ gives $\frac{x^2+y^2}{C} - \frac{z^2}{C/2} = 1$, a hyperboloid of one sheet elongated along z. In binary star systems, Roche equipotentials near the Lagrange point resemble this shape, defining the lobe within which material is gravitationally bound to one star. When a star fills its Roche lobe (touches the hyperboloidal surface), mass transfer begins. This connects abstract quadric geometry to astrophysical phenomena, requiring translation between mathematical form and physical interpretation in a specialized domain.

📖 Explanation: For $z=k(x^2-y^2)$, the Gaussian curvature at origin is $K = \frac{z_{xx}z_{yy}-z_{xy}^2}{(1+z_x^2+z_y^2)^2} = \frac{(2k)(-2k)-0}{1} = -4k^2 \leq 0$. It is strictly negative for $k \neq 0$ and zero only if k=0 (plane). Positive K is mathematically impossible. Thus, a positive measurement indicates instrument error, calibration fault, or surface contamination—not a valid geometric property. This question tests understanding that certain curvature signs are invariant under scaling and that physical measurements must respect mathematical constraints.

📖 Explanation: Vertical trace in xz-plane requires setting y=0, yielding $\frac{x^2}{4} - z^2 = 1$, which is a hyperbola. The student likely applied the horizontal trace logic (fixing z) to vertical planes without adjusting for variable elimination. This reveals a procedural gap in trace analysis: each trace type requires substituting the appropriate constant and re-evaluating the resulting 2D equation. Mastery demands flexible switching between 3D and 2D perspectives, not rote memorization of trace shapes per surface type.

📖 Explanation: The constraint $x^2+y^2-z^2=1$ defines a hyperboloid of one sheet (non-compact). Minimizing distance squared to origin finds points closest to origin. By symmetry, minimum occurs at z=0, giving circle $x^2+y^2=1$. Gradients: $\nabla f = \langle 2x,2y,2z \rangle$, $\nabla g = \langle 2x,2y,-2z \rangle$. Parallel when z=0, confirming tangency. Despite non-compactness, minimum exists due to coercivity. This integrates optimization theory with quadric geometry, showing how geometric intuition guides analytical methods and vice versa.

📖 Explanation: The hyperboloid of one sheet extends infinitely in x and y for any fixed z; the region $|z|\leq h$ is an infinite solid with elliptical cross-sections growing as $\sqrt{1+z^2/c^2}$. Its volume diverges. The student erroneously treated it as a bounded solid like an ellipsoid. This mistake stems from overgeneralizing volume formulas without verifying boundedness. Recognizing when a quadric encloses finite volume (only ellipsoids among non-degenerate quadrics) is essential before applying integration techniques. The error analysis reinforces domain awareness in calculus applications.

📖 Explanation: The perturbed surface $z = \frac{x^2+y^2}{4f} + \epsilon xy$ breaks rotational symmetry, introducing astigmatism. The quadratic form now has eigenvalues corresponding to principal curvatures along y=x and y=-x directions. Each direction focuses at slightly different points along z, creating two line foci instead of a point focus. This is analogous to cylindrical lens aberration. Analyzing this requires perturbation theory applied to quadric optics, linking small algebraic changes to significant functional degradation. Such problems test deep integration of linear algebra, calculus, and applied physics beyond standard coursework.

📖 Explanation: An elliptic paraboloid becomes a surface of revolution iff its horizontal traces are circles, requiring equal coefficients for x² and y². Scaling y by 2 transforms $z=x^2+4y^2$ to $z=x^2+(2y)^2 = x^2+Y^2$ with Y=2y. This affine transformation stretches space anisotropically, converting ellipses to circles. The resulting surface is a circular paraboloid. Note this is not an isometry—it distorts distances—but preserves quadric type. Understanding allowable transformations distinguishes geometric equivalence from metric equivalence, crucial in computer vision and CAD.

📖 Explanation: While both surfaces are surfaces of revolution about z-axis due to circular horizontal traces, they belong to different quadric classes: paraboloid vs. cone. Classification requires examining all traces or canonical form. Rotational symmetry is necessary but not sufficient for type identity. This distinction matters in applications: paraboloids focus parallel rays to a point, cones to a line. Students must avoid over-relying on single-trace analysis and integrate multiple geometric properties for accurate classification.

📖 Explanation: The standard spherical parametrization has Jacobian vanishing at poles (φ=0,π), causing element distortion and numerical instability in FEM. While geometrically valid, computationally it creates degenerate elements. Alternatives include stereographic projection (conformal, smooth except one point), cube-sphere mapping, or subdivision surfaces. This problem bridges differential geometry and computational practice, emphasizing that mathematical validity doesn't guarantee numerical suitability. Engineers must select parametrizations balancing geometric fidelity with discretization quality—a higher-order consideration beyond textbook definitions.

📖 Explanation: Subtracting equations: $(x^2+y^2+z^2-1) - (x^2+y^2-z^2-1) = 2z^2 = 0 \Rightarrow z=0$. Substituting z=0 into either gives $x^2+y^2=1$. Thus intersection is exactly the unit circle in z=0 plane. The pencil $Q_1 + \lambda Q_2$ includes the degenerate case at λ=-1 giving $2z^2=0$. This demonstrates how algebraic manipulation of quadric pencils reveals hidden planar intersections. Solving requires combining elimination techniques with geometric interpretation, showcasing the power of algebraic geometry in simplifying complex spatial relationships.

📖 Explanation: The 4D light cone $x^2+y^2+z^2=c^2t^2$ is a null hypersurface in Minkowski space. Unlike 3D cones, it carries causal structure: interior is timelike (possible particle paths), exterior spacelike (no causal connection). Spatial slices at fixed t are spheres of radius ct, representing wavefronts. This dynamic, causal role has no 3D analog. Understanding this requires transcending pure geometry to incorporate relativistic physics, illustrating how quadric surfaces acquire new meanings in higher-dimensional pseudo-Riemannian manifolds.

📖 Explanation: Completing the square reveals the canonical form centered at (-1,-2,2). Since coefficients of squared terms have opposite signs, it's a hyperbolic paraboloid with saddle point at vertex. The surface increases without bound as |x|→∞ and decreases as |y|→∞. Identifying the vertex as a saddle (not min/max) and specifying directional behavior completes the characterization. While completing squares is procedural, interpreting the result geometrically requires understanding that hyperbolic paraboloids lack extrema and have intrinsic saddle geometry. This blends algebraic manipulation with geometric insight.

📖 Explanation: The sphere centered at (0,0,1) radius 2 and cone with vertex at (0,0,-1) intersect in a closed curve. Solving simultaneously: substitute $x^2+y^2=(z+1)^2$ into sphere: $(z+1)^2 + (z-1)^2 = 4 \Rightarrow 2z^2+2=4 \Rightarrow z=\pm1$. At z=1, circle radius 2; at z=-1, point. The feasible region (inside both) is bounded and resembles a teardrop. This is non-trivial because workspace planning requires knowing exact boundary topology for motion algorithms. The problem combines spatial reasoning with practical robotics constraints, demanding visualization of compound quadric intersections beyond standard examples.