そらもふ(｡-_-｡)

このような図で、EFの長さを求めるのですが、公式を忘れてしまいました。何か簡単な公式があった気がします。わかる人教えてください！
比で順番に求めていくことはできるので、公式を教えてください。