光路可逆的定义：

当光线逆着原来的反射光线或折射光线的方向射到媒质界面时，必会逆着原来的入射方向反射或折射出去，这种性质叫光路可逆性。

在凹透镜成像中，若入射光平行于凹透镜发散，入射光的反向延长线必然交于焦点。光的可逆性也可以理解为是光线顺着反方向延长与原来路径相同。