如果，已知梯形中，，交于，交的延长线于，求证：是的比例中项。