用凝视型红外成像系统观察30公里远，10米×10米的目标，若红外焦平面器件的像元大小是50μm×50μm，假设目标像占4个像元，则红外光学系统的焦距应为多少？若红外焦平面器件是128×128元，则该红