北京车辆信息查询系统:圆周率在数学上的贡献