📝 Traces of quadric surfaces (26 MCQs)

📖 Explanation: The error lies in misunderstanding how substitution affects functional form. Setting $y = 0$ in $z = x^2 + y^2$ yields $z = x^2$, which remains quadratic. Eliminating a variable does not guarantee linearity; the algebraic structure of the remaining terms determines the curve type. This misconception arises from overgeneralizing simplification rules without considering residual dependencies.

📖 Explanation: Distinguishing hyperbolic from elliptic paraboloids requires analyzing curvature direction in orthogonal vertical planes. Option C captures the defining saddle behavior: upward opening in x-direction and downward in y-direction. While other options contain true statements, only C provides sufficient contrasting evidence across both principal directions to definitively classify the surface without ambiguity or special cases.

📖 Explanation: The equation $x^2 + z^2 = y^2$ describes a circular cone. Horizontal traces at fixed $y = k$ yield $x^2 + z^2 = k^2$, which are circles for $k \neq 0$ and a point at origin. This perfect rotational symmetry ensures isotropic load distribution, critical for structural integrity. Recognizing this avoids misinterpreting the surface as a hyperboloid with different stress profiles.

📖 Explanation: Vertical traces in $x = c$ give $z = 9y^2 + \text{const}$, while $y = c$ gives $z = 4x^2 + \text{const}$. The coefficient directly controls curvature: larger coefficient means steeper/narrower parabola. Overlooking this scaling leads to distorted mental models. Understanding coefficient impact is essential for accurate surface visualization and predicting how changes in one variable affect output sensitivity.

📖 Explanation: Traces are defined as intersections with coordinate planes ($x=0, y=0, z=0$) or planes parallel to them. The given plane is oblique, requiring substitution into the implicit equation rather than simple variable elimination. This highlights a key limitation: traces provide partial information aligned with axes, but general intersections demand solving systems. Students must distinguish specialized tools from general intersection methods.

📖 Explanation: Substituting $y = \pi/2$ gives $\cos(\pi/2) = 0$, so $z = \sin(x) \cdot 0 = 0$. The trace is identically zero, not a sine wave. This reveals nodal lines where the product vanishes regardless of x. Misconceptions arise from assuming trigonometric products always yield oscillatory traces; actually, zeros in one factor annihilate the entire function. Critical for understanding interference patterns.

📖 Explanation: For $z = ax^2 + by^2$, the trace in plane $x = c$ is $z = by^2 + ac^2$, a parabola in the yz-plane opening upward if $b > 0$. The trace in $y = c$ is $z = ax^2 + bc^2$, opening downward if $a < 0$. Thus, observing upward x-traces and downward y-traces definitively implies $b > 0$ and $a < 0$. This multi-step deduction connects visual observation to parameter signs, crucial for model validation in applied contexts.

📖 Explanation: Substituting $y = c$ gives $z = e^{-c^2} e^{-x^2}$, a Gaussian scaled by $e^{-c^2}$. The functional form $e^{-x^2}$ is preserved, but the amplitude decays with $|c|$. Students often conflate shape similarity with identity, overlooking scaling factors. In applications like heat diffusion, this amplitude variation signifies energy dissipation away from center. Recognizing scaled vs. identical curves prevents erroneous assumptions about uniformity in physical models.

📖 Explanation: The cone $z = \sqrt{x^2 + y^2}$ has horizontal traces $x^2 + y^2 = z^2$, circles with radius proportional to height. This radial symmetry ensures isotropic properties: drainage, wind resistance, and stress are uniform azimuthally. Vertical traces (e.g., $y=0$) give $z=|x|$, V-shaped lines revealing slope magnitude but not directional uniformity. For structural safety, knowing behavior is identical in every horizontal direction is paramount, which only horizontal traces expose comprehensively.

📖 Explanation: At $z=1$, $S_1$ gives $x^2+y^2=1$ (compact circle), while $S_2$ gives $x^2-y^2=1$ (non-compact hyperbola). Compactness ensures continuous functions attain extrema; non-compact sets may lack minima/maxima. In optimization, this distinction determines algorithm choice and solution existence. Topological equivalence (both 1D manifolds) ignores metric properties crucial for applied math. Students must link trace geometry to analytical consequences beyond classification.

📖 Explanation: The gradient $\nabla f = (2x, 4y, 6z)$ at (1,1,1) is (2,4,6), normal to the surface. Traces show curvature in specific planes but don’t directly yield the 3D normal vector without combining information from multiple traces and applying calculus. Relying solely on trace shapes risks missing directional components. This underscores that traces are descriptive tools, not computational substitutes for differential operators in vector field analysis.

📖 Explanation: Traces are typically defined for coordinate planes or parallels. The plane $x=y$ is oblique; its intersection yields $z=x^2$, a parabola, but this is just one slice. The surface $z=xy$ has hyperbolic traces in $z=k$ and parabolic traces in $x=c$ or $y=c$, confirming hyperbolic paraboloid. Generalizing from a non-standard trace commits hasty generalization. Error analysis requires testing multiple canonical traces before classification.

📖 Explanation: Near origin, $x^4 + y^4 \approx 0$ faster than $x^2 + y^2$, but traces in $x=c$ give $z = c^4 + y^4$, which resembles $y^4$, not $y^2$. However, at coarse sampling or limited domain, $y^4$ may be mistaken for quadratic. True distinction requires examining curvature derivatives or high-resolution trace data. This exposes a pitfall in using low-fidelity geometric features for high-order surface discrimination in AI applications.

📖 Explanation: True sphere has circular horizontal traces. Elliptical traces suggest the underlying model assumes an ellipsoid (e.g., Earth’s oblateness). Navigation algorithms using spherical trigonometry would compute incorrect great-circle distances and bearings. Specifically, treating an oblate spheroid as sphere introduces latitude-dependent errors, worst at mid-latitudes. This scenario links trace geometry to real-world system failures, emphasizing why validating trace shapes is critical in instrumentation.

📖 Explanation: Horizontal slices at height z give circles $x^2+y^2 \leq 1-z$ with area $\pi(1-z)$. Volume integrates $\int_0^1 \pi(1-z) dz$, trivial. Vertical traces (e.g., fixed x) give parabolic segments requiring $\int\int (1-x^2-y^2) dy dx$ over unit disk, needing polar conversion anyway. Horizontal method leverages rotational symmetry directly, reducing dimensionality. This exemplifies strategic trace selection for computational efficiency in multivariable calculus.

📖 Explanation: While quadrics exhibit parabolic traces, the converse isn't universally true without additional constraints like smoothness or algebraicity. However, in standard calculus contexts, the belief persists because curricula exclusively use quadric examples. A rigorous counterexample requires advanced constructions beyond scope, but the cognitive error lies in inductive reasoning from limited cases. Students see $z=x^2+y^2$ and generalize, ignoring that trace analysis alone cannot prove global form without completeness. This highlights the gap between empirical observation and mathematical proof in surface classification.

📖 Explanation: On a sphere, horizontal traces at latitude φ have radius $R\cosφ$, shrinking toward poles. Population density per unit area increases as $1/\cosφ$ for uniform distribution. Equatorial trace ($φ=0$) shows largest circle, suggesting lower density. Polar traces ($φ→π/2$) vanish, but gradient diverges. Using only equator ignores this singularity-like behavior, underestimating contact rates at poles. This demonstrates how trace selection bias distorts spatial epidemiology models on curved domains.

📖 Explanation: Machining based solely on one family of vertical traces (e.g., $x = c$) creates discrete paths. Between these paths, especially near symmetry axes, interpolation errors accumulate if stepover isn’t adjusted for local surface geometry. Although $z = x^2 + y^2$ has uniform curvature, the mapping from parameter space to physical space can distort perceived spacing. The ridge along y-axis suggests inadequate sampling density where trace spacing projects unevenly. Proper practice requires analyzing trace curvature in both directions to modulate toolpath interval, ensuring uniform finish. This links abstract trace concepts to manufacturing precision.

📖 Explanation: For $z = k$, rewrite as $\frac{x^2}{4k} + \frac{y^2}{9k} = 1$. Semi-axis in x is $\sqrt{4k} = 2\sqrt{k}$, in y is $\sqrt{9k} = 3\sqrt{k}$. Since $3\sqrt{k} > 2\sqrt{k}$, major axis is along y. Misconception arises from confusing denominator size with axis length without considering the reciprocal relationship in standard ellipse form. Correct interpretation requires solving for intercepts, not reading denominators directly. Fundamental for accurate surface visualization.

📖 Explanation: In geophysical fluid dynamics, $T(x,y,z)$ often represents anomalous temperature superimposed on a background stratification. The trace at $x = \pi/(2k)$ corresponds to a node of the horizontal wave pattern ($\cos(kx)=0$), where the anomalous signal vanishes. This reveals the undisturbed vertical temperature profile, essential for calibrating baseline stratification. In contrast, $x=0$ shows combined wave and background signals, complicating isolation of pure vertical structure. Selecting nodal traces thus enables decomposition of coupled horizontal-vertical processes, a sophisticated technique in environmental modeling.

📖 Explanation: While every vertical plane containing the z-axis intersects the paraboloid in a parabola with focus at (0,0,1/4), planes not containing the axis yield parabolas with different foci. Only axial symmetry ensures a unique focal point. Off-axis rays reflect to points near but not at the ideal focus, causing blur. This aberration arises because the surface is rotationally symmetric, not because individual traces are malformed. Understanding this distinction prevents overreliance on 2D trace analysis for 3D optical design, where full surface geometry matters.

📖 Explanation: Algebraically, $z = x^3 + (-x)^3 = 0$ confirms the line lies on the surface. However, this single trace provides minimal information about the surface’s overall shape, curvature, or other features. Many distinct surfaces (e.g., $z = (x+y)(x^2 - xy + y^2)$, $z = (x+y)f(x,y)$) contain this line. Characterization requires multiple traces or global analysis. The reviewer’s concern highlights that existence of a feature in one slice doesn’t imply uniqueness or代表性. Rigorous surface identification demands comprehensive trace coverage or alternative methods.

📖 Explanation: From $z = \ln(r^2) = 2\ln r$, so $r = e^{z/2}$. Slope $dz/dr = 1/r$, which decreases with radius. Equal Δr corresponds to decreasing Δz, meaning walls flatten outward. Raw radius data appears linear in r but represents logarithmic height. Without transforming $r \to z$, the robot misjudges climb difficulty. This illustrates that trace geometry encodes nonlinear relationships; interpreting physical quantities requires inverting the functional dependence, not just observing shape.

📖 Explanation: The hemisphere’s horizontal traces are perfect circles. Radial cracks manifest as angular discontinuities in these circles, detectable via harmonic analysis regardless of crack orientation. Vertical traces vary with cutting plane; a radial crack may appear as a chord, arc, or point depending on section, hindering consistent detection. Horizontal symmetry transforms crack identification into a 1D signal processing problem on circles, enabling robust, automated assessment. This leverages trace geometry to convert spatial defect detection into frequency-domain analysis, showcasing interdisciplinary application of surface theory.

📖 Explanation: While $z = x^2 y$ is indeed a cubic algebraic surface, the reasoning is flawed. There exist non-algebraic smooth functions whose restrictions to all coordinate planes are polynomials (Whitney-type examples). Thus, observing polynomial traces doesn’t guarantee global algebraicity. Confirming degree requires either explicit polynomial representation or advanced criteria like Hilbert’s Nullstellensatz. This subtlety separates computational observation from theoretical classification, emphasizing that traces are necessary but not sufficient for algebraic characterization in rigorous mathematics.

📖 Explanation: This problem transcends computation, demanding proof that a quadric (9-parameter family) is uniquely specified by traces in sufficiently many planes, while showing fewer planes admit non-quadric interpolants. Solutions involve showing that traces impose independent linear conditions on coefficients and constructing non-quadric surfaces matching given traces via Borel’s lemma or similar. It synthesizes linear algebra, PDEs, and geometric intuition, testing deep structural understanding beyond standard curriculum. Such problems reward insight into how local data constrains global form, epitomizing higher-order mathematical thinking.