如图三角形abc中,ab等于ac,be等于cd,bd等于cf,求证角edf等于90度减二之一角a