由余弦定理可得:
cos∠ABC=(AB^2+BC^2-AC^2)/(2*AB*BC)
=(5^2+7^2-8^2)/(2*5*7)
=1/7
→ → → →
∴ AB*BC=|AB|*|BC|*cos∠ABC
=5*7*1/7
=5