L'odyssée de Mario

Ananas joue à Mario sur sa console de jeux et elle approche de la fin du jeu. Malheureusement, ses parents ont activé un contrôle parental : la console se bloque après 30 minutes de jeu. Aidez-la à trouver le code pour dévérouiller le contrôle parental et délivrer la princesse Peach.

Le code est \(abxy\), où les réels \(a\), \(b\), \(x\) et \(y\) sont définis par : \[ (a,b) = f(1,3) \qquad \text{et}\qquad (x,y) =f^{-1}(3,1),\] et où \(f\) est l'application bijective définie par : \[ \begin{array}{ccccc} f & \colon & \mathbb{R}^+\times\mathbb{R} & \longrightarrow & \mathbb{R}\times \mathbb{R}^+ \\ & & (x,y) & \longmapsto & (y-x,\sqrt{x}). \end{array} \]
Ananas arrivera-t-elle à délivrer Peach ? Pour le savoir, entrez ci-dessous le code que vous avez trouvé.