根据余弦定理
AC^2 = AB^2+BC^2-2AB*BC*cos45
代入得二次方程 BC^2 - 6√3 BC+18 = 0
解得 BC = 3（√3± 1）