怎样验证折射光线的可逆性