Autre solution :
Si sur un intervalle donné la fonction y est deux fois dérivable, alors, sur cet intervalle, l'équation y^2+(y')^2=1 implique (mais n'est pas équivalente) en dérivant que 2yy'+2y'y''=0 c'est à dire que y'=0 ou bien y+y''=0 (attention : on peut avoir un des deux sur un certain intervalle [a,b] puis l'autre sur un intervalle [b,c])
La première donne y=cst et, si on réinjecte ça dans l'équation de départ (
indispensable vu qu'on a pas procédé par équivalence) on voit que la constante doit être +1 ou -1.
La deuxième donne y=A.cos(t)+B.sin(t) (équation linéaire homogène de degré 2) où A et B sont des constantes et, si on réinjecte ça dans l'équation de départ on voit que les constantes doivent vérifier A²+B²=1.
Donc, une solution (parmi des tas d'autres) pourrait être
=-1\)
pour
=\sin(x)\)
pour

=1\)
pour

=-\cos(x)\)
pour

=-1\)
pour

où n'importe quoi du même acabit.
Pourvu que ça se "recolle" au bord des intervalles, on est assuré que la fonction est C1, mais par contre de tels recollement font que la fonction n'est pas deux fois dérivable ce qui, à priori, n'est pas gênant vu que l'équa.diff de départ ne parle pas de y''.