Why the Dynkin List Ends
A proof-driven route from simple roots to the finite Dynkin diagrams, using positive-definite Cartan forms, spectral radius, Schur complements, and a determinant recurrence to explain both the infinite families and the exceptional cases.