In a $3\times 3$ square, every cell has a positive number. The product of numbers in any two cells sharing a side is exactly $2$. What is the minimum sum of all the numbers?
We may color the cells in chessboard fashion, and write $a$ in black and $b$ in white cells, where $ab=2$. The sum of all the numbers is $5a+4b\geq 2\sqrt{20ab}=4\sqrt{10}$. Inequality holds when $5a=4b$ and $ab=2$. But how to show that it suffices to consider this configuration? (It makes sense since it's the extreme configuration, but I'm not sure how to prove it.)