>>874
△EDA≡△ABCとなるような点Eを直線ADから見てBと同じ側にとると
正三角形が見つかる。あとは簡単。