自作問題㉒

幾何の問題     難易度      簡単

正方形ABCDにおいて、DE=3、DF=4の時、EFが四分円に接した。いっぺんを求めよ。