Theorem: w(L) - q L^4/(8 EI) = 0 (cantilever end-deflection identity)

Theorem (cantilever-end-deflection canonical): for the uniformly-loaded cantilever solution w(x) = q x^2 (6 L^2 - 4 L x + x^2)/(24 EI), substituting x = L gives w(L) = q L^2 (6 L^2 - 4 L^2 + L^2)/(24 EI) = q L^2 (3 L^2)/(24 EI) = q L^4/(8…