Пусть дан параллелограмм ABCD.
Противоположные стороны параллелограмма равны (свойство параллелограмма)
AB=CD, BC=AD
По условию AB=BC, откуда
AB=CD=BC=AD.
По определению ромба параллелограмм ABCD является ромбом. Доказано
