Recherche de H H H :
rot → C ⃗ = 0 ⃗ ⇒ ( ∂ H ∂ y − y ) e ⃗ x + ( 2 x − ∂ H ∂ x ) e ⃗ y + ( 0 − 0 ) e ⃗ z \overrightarrow{\text{rot}}\vec{C} = \vec{0} \Rightarrow \left(\frac{\partial H}{\partial y} - y\right)\vec{e}_x + \left(2x - \frac{\partial H}{\partial x}\right)\vec{e}_y + (0 - 0)\vec{e}_z rot C = 0 ⇒ ( ∂ y ∂ H − y ) e x + ( 2 x − ∂ x ∂ H ) e y + ( 0 − 0 ) e z
{ ∂ H ∂ y − y = 0 2 x − ∂ H ∂ x = 0 ⇒ { ∂ H ∂ y = y ( 1 ) ∂ H ∂ x = 2 x ( 2 ) \begin{cases} \dfrac{\partial H}{\partial y} - y = 0 \\ 2x - \dfrac{\partial H}{\partial x} = 0 \end{cases}
\Rightarrow
\begin{cases} \dfrac{\partial H}{\partial y} = y & (1) \\ \dfrac{\partial H}{\partial x} = 2x & (2) \end{cases} ⎩ ⎨ ⎧ ∂ y ∂ H − y = 0 2 x − ∂ x ∂ H = 0 ⇒ ⎩ ⎨ ⎧ ∂ y ∂ H = y ∂ x ∂ H = 2 x ( 1 ) ( 2 )
D'après (1), H ( x , y ) = y 2 2 + g ( x ) ⇒ ∂ H ∂ x = d g d x = 2 x H(x, y) = \dfrac{y^2}{2} + g(x) \Rightarrow \dfrac{\partial H}{\partial x} = \dfrac{dg}{dx} = 2x H ( x , y ) = 2 y 2 + g ( x ) ⇒ ∂ x ∂ H = d x d g = 2 x , d'après (2). Donc g ( x ) = x 2 + c t e ⇒ H ( x , y ) = y 2 2 + x 2 + c t e g(x) = x^2 + cte \Rightarrow H(x, y) = \dfrac{y^2}{2} + x^2 + cte g ( x ) = x 2 + c t e ⇒ H ( x , y ) = 2 y 2 + x 2 + c t e .
Or C ⃗ ( 0 ) = 0 ⃗ ⇒ c t e = 0 \vec{C}(0) = \vec{0} \Rightarrow cte = 0 C ( 0 ) = 0 ⇒ c t e = 0 . Donc H ( x , y ) = y 2 2 + x 2 H(x, y) = \dfrac{y^2}{2} + x^2 H ( x , y ) = 2 y 2 + x 2 .
Potentiel :
grad → f = C ⃗ ⇔ { 2 x z = ∂ f ∂ x ( 1 ) y z = ∂ f ∂ y ( 2 ) y 2 2 + x 2 = ∂ f ∂ z ( 3 ) \overrightarrow{\text{grad}}f = \vec{C} \Leftrightarrow \begin{cases} 2xz = \dfrac{\partial f}{\partial x} & (1) \\ yz = \dfrac{\partial f}{\partial y} & (2) \\ \dfrac{y^2}{2} + x^2 = \dfrac{\partial f}{\partial z} & (3) \end{cases} grad f = C ⇔ ⎩ ⎨ ⎧ 2 x z = ∂ x ∂ f y z = ∂ y ∂ f 2 y 2 + x 2 = ∂ z ∂ f ( 1 ) ( 2 ) ( 3 )
D'après (1), f ( x , y , z ) = x 2 z + g ( y , z ) ⇒ ∂ f ∂ y = ∂ g ∂ y = y z f(x, y, z) = x^2z + g(y, z) \Rightarrow \dfrac{\partial f}{\partial y} = \dfrac{\partial g}{\partial y} = yz f ( x , y , z ) = x 2 z + g ( y , z ) ⇒ ∂ y ∂ f = ∂ y ∂ g = y z , d'après (2) ⇒ g ( y , z ) = y 2 2 z + h ( z ) \Rightarrow g(y, z) = \dfrac{y^2}{2}z + h(z) ⇒ g ( y , z ) = 2 y 2 z + h ( z ) .
Donc f ( x , y , z ) = x 2 z + y 2 2 z + h ( z ) ⇒ ∂ f ∂ z = x 2 + y 2 2 + d h d z = x 2 + y 2 2 f(x, y, z) = x^2z + \dfrac{y^2}{2}z + h(z) \Rightarrow \dfrac{\partial f}{\partial z} = x^2 + \dfrac{y^2}{2} + \dfrac{dh}{dz} = x^2 + \dfrac{y^2}{2} f ( x , y , z ) = x 2 z + 2 y 2 z + h ( z ) ⇒ ∂ z ∂ f = x 2 + 2 y 2 + d z d h = x 2 + 2 y 2 , d'après (3) ⇒ h ( z ) = c t e \Rightarrow h(z) = cte ⇒ h ( z ) = c t e .
Donc f ( x , y , z ) = x 2 z + y 2 2 z + c t e f(x, y, z) = x^2z + \dfrac{y^2}{2}z + cte f ( x , y , z ) = x 2 z + 2 y 2 z + c t e . Or f ( x , y , z ) = 0 f(x, y, z) = 0 f ( x , y , z ) = 0 dans le plan x O y xOy x O y , c'est-à-dire si z = 0 ⇒ c t e = 0 z = 0 \Rightarrow cte = 0 z = 0 ⇒ c t e = 0 . Donc f ( x , y , z ) = ( x 2 + y 2 2 ) z f(x, y, z) = \left(x^2 + \dfrac{y^2}{2}\right)z f ( x , y , z ) = ( x 2 + 2 y 2 ) z .