几何数学题.如图,△ABC是⊙O的内接正三角形,五边形ADEFG是⊙O的内接五边形,求证:BE是⊙O内接正十五边形的边长