△ABFと△ADFに余弦定理
cos∠ABF=-cos∠ADF