Problem

(9) (10 pts) Use Lagrange multipliers to find the extremum of the function

$$f(x,y,z)=xyz$$

subject to the constraint $xy+2xz+2yz=12$.