△OEF/△OBC＝OE/OB・OF/OCと変形されているのですが、
どうしてこのように変形できるのでしょうか？

適当に直角三角形と二等辺三角形でこれをためしてみたんですが
これが成立する辺としない辺がありました。

上記のことが成立するために条件などがあるのでしょうか？…