如图所示，有两条光线分别从凸透镜的两倍焦距（P）处和一倍焦距（F）处射向凸透镜，请在图中画出它们通过透镜后的光路．

考虑由n个进程共享的具有m个同类资源的系统，证明：如果对i=1，2，…，n，有Need＞0而且所有最大需求量之和小于m+n，那么该系统是死锁无关的。