lean_workbook_plus_14976

Prove (or disproof) that there's no triple $(x, y, z) \in \mathbb R^+$ such that: \n \n \begin{align*}x + y + z &= 20 \\ xy + yz + xz &= 150\end{align*}