用迈克尔孙干涉仪测量空气折射率