Lấy điểm A nằm trên hình bình hoa vừa vẽ nhưng không nằm trên đường thẳng d.

Ta đặt A’ = Đ_d(A).                                                                                                          

Khi đó A’ nằm trên hình bình hoa vừa vẽ.

Lấy điểm B nằm trên hình bình hoa vừa vẽ và nằm trên đường thẳng d.

Ta thấy B = Đ_d(B).

Tương tự như vậy, ta chọn các điểm khác bất kì nằm trên hình bình hoa vừa vẽ, ta đều xác định được ảnh của các điểm đó qua Đ_d trên hình bình hoa vừa vẽ.

Do đó Đ_d biến hình bình hoa vừa vẽ thành chính nó.

Vậy đường thẳng d là trục đối xứng của hình bình hoa vừa vẽ.