gọi K là giao điểm củaSI và JR
pháp tuyến JF cắt SI tại F, và cắt pháp tuyến IE tại M, kẻ OM( O là giao điểm của 2 mặt gương)
ta có : JKI=180-(KJF+JFK)=180-( KJF+ FIM+ IMF)=180-2\(\alpha\)(vì tứ giác IOJM là tứ giác nội tiếp=>IOJ+JMI=180, mà JMI+IMF=180=> IOJ=IMF=\(\alpha\), cũng vì tứ giác IOJM nội tiếp=>IOM=IJM, JIM=MOJ=> FIM+ KIF=\(\alpha\)).