如右图,直角三角形ABC内有一个正方形BDEF