Let $f$ be in $\mathcal { C } ^ { 2 } \left( \mathbb { R } ^ { 2 } , \mathbb { R } \right)$ satisfying (1) on $\mathbb { R } ^ { 2 }$: $$\forall ( x , y ) \in \mathbb { R } ^ { 2 } , \quad \frac { \partial ^ { 2 } f } { \partial x ^ { 2 } } ( x , y ) \times \frac { \partial ^ { 2 } f } { \partial y ^ { 2 } } ( x , y ) - \left( \frac { \partial ^ { 2 } f } { \partial x \partial y } ( x , y ) \right) ^ { 2 } = 1$$ We denote by $\mathcal { P } _ { 2 }$ the set of polynomial functions of degree $\leqslant 2$ from $\mathbb { R } ^ { 2 }$ to $\mathbb { R }$. Show that the only functions in $\mathcal { C } ^ { 2 } \left( \mathbb { R } ^ { 2 } , \mathbb { R } \right)$ satisfying (1) on $\mathbb { R } ^ { 2 }$ belong to $\mathcal { P } _ { 2 }$.
Let $f$ be in $\mathcal { C } ^ { 2 } \left( \mathbb { R } ^ { 2 } , \mathbb { R } \right)$ satisfying (1) on $\mathbb { R } ^ { 2 }$:
$$\forall ( x , y ) \in \mathbb { R } ^ { 2 } , \quad \frac { \partial ^ { 2 } f } { \partial x ^ { 2 } } ( x , y ) \times \frac { \partial ^ { 2 } f } { \partial y ^ { 2 } } ( x , y ) - \left( \frac { \partial ^ { 2 } f } { \partial x \partial y } ( x , y ) \right) ^ { 2 } = 1$$
We denote by $\mathcal { P } _ { 2 }$ the set of polynomial functions of degree $\leqslant 2$ from $\mathbb { R } ^ { 2 }$ to $\mathbb { R }$.
Show that the only functions in $\mathcal { C } ^ { 2 } \left( \mathbb { R } ^ { 2 } , \mathbb { R } \right)$ satisfying (1) on $\mathbb { R } ^ { 2 }$ belong to $\mathcal { P } _ { 2 }$.