Az ABCD négyzet CD oldalán felvesszük az E pontot, a BAE szög felezője a BC oldalt az F-ben metszi. Bizonyítsuk be, hogy AE=ED+BF.