一个玩IMO的高人做的，跟我用matlab算的一样
解三角形OCB，BCE，可获得结果为40*sqrt(10)
【 在 eto (埃托奥) 的大作中提到: 】
: 感觉都还给老师了:((
--
修改:laomm FROM 101.6.131.*
FROM 101.6.131.*