如图,已知,在三角形abc中,角c=90度,角a=30度,de垂直平分ab,fm垂直平分ad,gn垂直平分bd,求证af