L'autre triangle équilatéral

Soit N le symétrique de M par rapport à (AC).
Le triangle ADN est l'image du triangle AMB dans cette symétrie donc lui est isométrique.
L’angle NAM est égal à 60° (90 - 15 - 15), le triangle MAN est donc équilatéral.
On montre alors que les triangles DNM et DNA sont isométriques (angle de 150°compris entre deux côtés égaux), donc DM=DA.