透鏡成像公式證明