光的速度是测量还是推导出来的?