如图，四边形ABCD是一个正方形花园，E、F是它的两个门，且 ， 要修建两条路BE和AF，这两条路等长吗？它们有什么位置关系？请证明你的猜想．