正射影長公式證明