Je crois que j´ai trouvé un truc :
Si le triangle ADE est équilatéral, on a alors :
x² + 4² = 3² + y²
<=> y²-x² = 7
<=> (y-x)(x+y) = 7*1
Tu as alors 2 système qui apparaissent :
{y-x = 1
{x+y=7
{y-x = 7
{x+y = 1
Le second système peut être éliminé du fait qu´on trouve un x négatif.
En résolvant le premier je trouve y=4 et x=3.
Mais je ne prouve pas que c´est la seule solution...