Pai e simplu. Daca M e simetricul lui A fata de BC iar simetricul e o distanță. AD congruent cu DM unde D aparține lui BC. AD perpendicular pe BC si DM perpendicular pe BC, ABC isoscel rezulta ca bd congruent cu cd si ad cu md ( această fiind o proprietate a simetricului ) deci in abcm avem doua diagonale perpendiculare si care se injumatatesc , ab e congruent cu ac. Rezulta abcm e romb ( din proprietățile rombului)