凹透鏡成像大小