西周时期，丞相周公旦设置过一种通过测定日影长度来确定时间的仪器，称为圭表.如图所示的是一个根据北京的地理位置设计的圭表，其中，立柱AC的高为a，已知冬至时北京的正午日光的入射角∠ABC为30°，则立柱根部与圭表的冬至线的距离即BC的长）为（用含a的代数式表示）