In the triangle ABC, AD is perpendicular on the bisector of angle ABC. From the point D, a straight line DE parallel to the side BC is drawn which interests the side AC at the point E, Let us prove that AE=EC