A geometrical interpretation of this problem is that the function $ \ z \ = \ f(x, \ y) \ = \ x^2 \ + \ (y-4)^2 \ $ is a paraboloid with circular cross-sections that "opens" in the positive $ \ z-$ direction and that we wish to find the smallest and largest values of $ \ z \ $ for this surface within or on the circular cylinder $ \ x^2 \ + \ y^2 \ = \ 25 \ $ . Because the vertex of this paraboloid is located at $ \ (x, \ y, \ z) \ = \ (0, \ 4, \ 0 ) \ $ , which is within the "interior" of the cylinder, the absolute minimum of the function is $ \ 0 \ $ .
We can consider the projections of the level curves, which are the paraboloid's cross-sections, onto the $ \ xy-$ plane, which are circles of varying radii centered on $ \ (x, \ y) \ = \ (0, \ 4) \ $ . It is pretty clear from considering a graph that the smallest circle which is just tangent to the constraint circle $ \ x^2 \ + \ y^2 \ = \ 25 \ $ is the circle of radius $ \ 5 - 4 \ = \ 1 \ $ , and the largest circle which is also just tangent has radius $ \ 5 + 4 \ = \ 9 \ $ . These level curves thus correspond to function values which are the radii-squared, or $ \ f(0, \ 5) \ = \ 1^2 \ $ and $ \ f(0, \ -5) \ = \ 9^2 \ $ .
![[graph to be added shortly]](../../images/0d7e8193f215cfe603e6f4afb608a699.webp)
The Lagrange-multiplier method is a bit much for this problem, but provides another way of showing the presence of both extrema on the constraint surface:
$$ 2 \ x \ = \ \lambda \ \cdot \ 2 \ x \ \ \Rightarrow \ \ 2 \ (\lambda - 1) \ x \ = \ 0 \ \ , $$
$$ 2 \ y \ - \ 8 \ = \ \lambda \ \cdot \ 2 \ y \ \ \Rightarrow \ \ 2 \ (\lambda - 1) \ y \ + \ 8 \ = \ 0 \ \ . $$
The first equation has solutions $ \ x \ = \ 0 \ $ or $ \ \lambda \ = \ 1 \ $ , the latter of which cannot be applied consistently in the second equation. So we find on the constraint circle/cylinder, $ \ x \ = \ 0 \ \ \Rightarrow \ \ y^2 \ = \ 25 \ \ \Rightarrow \ \ y \ = \ \pm 5 \ $ ; we would be quickly led again to the absolute maximum of $ \ 81 \ $ at $ \ (0, \ -5) \ $ .
The usual "critical point" analysis in the interior of the disk/cylinder gives us $ \ 2 \ x \ = \ 0 \ \ , \ \ 2 \ y \ - \ 8 \ = \ 0 \ \ , \ \ D \ = \ 2 \ \cdot \ 2 \ - \ 0^2 \ > \ 0 \ $ , which locates the minimum of the function as $ \ 0 \ $ at $ \ (0, \ 4) \ $ .
(I wasn't entirely clear from the question statement whether an inequality technique was required, so I am posting this to show what some of the other multivariate techniques tell us.)