Exercise 3: Why the Perpendicular Directional Derivative Is Always Exactly Zero — Possible Solution ==================================================================== THIS CHAPTER'S OWN FORMULA ------------------------------ The directional derivative of f in any unit direction u is grad(f) . u - a dot product between the gradient vector and the direction vector. WHAT "PERPENDICULAR" MEANS FOR TWO VECTORS ------------------------------ Per Linear Algebra Fundamentals' own definition, two vectors are perpendicular (orthogonal) to each other precisely when their dot product equals zero. This is not a coincidental property of any particular pair of vectors - it is the actual mathematical definition of what "perpendicular" means for vectors. APPLYING THIS DIRECTLY ------------------------------ If u is chosen to be exactly perpendicular to grad(f), then by the very definition of perpendicularity: grad(f) . u = 0. But grad(f) . u is precisely this chapter's own directional derivative formula. Substituting the perpendicularity condition directly into that formula gives: directional derivative in the perpendicular direction = grad(f) . u = 0 RESULT ------------------------------ This holds for ANY function f and ANY point, not just this chapter's own specific example - the argument never used the actual values of grad(f) or u, only the general definition of perpendicularity and this chapter's own directional-derivative formula. This is exactly why this chapter's own worked example found a directional derivative of precisely 0.0 (not just a small number) in the perpendicular direction - it isn't a numerical coincidence, it's a guaranteed mathematical consequence of what "perpendicular" means combined with the dot-product formula for directional derivatives. WHY THIS WORKS AS AN ANSWER ------------------------------ The proof is entirely general (using variables, not this chapter's own specific numbers), grounded in the actual mathematical definition of perpendicularity from Linear Algebra Fundamentals rather than just observing that the number happened to come out as zero in one example, and explicitly connects back to explain why the specific verified result in this chapter's own worked example was exactly zero rather than merely small.