>>758
余弦定理より、
△ABFについて、AF^2=1^2+2^2-2*2*1*cos(∠ABF)=5-4*cos(∠ABF)
△AFDについて、AF^2=3^2+4^2-2*3*4*cos(180°-∠ABF)=25+24*cos(∠ABF)
よって、5-4*cos(∠ABF)=25+24*cos(∠ABF)　⇔　cos(∠ABF)=-5/7