三角形ADEは正三角形です。