幾何

FEの長さは相似を使うことによりわかります。あとはEFとECの関係によりわかります。