Логика такая: Чтобы построить изображение, нужно провести лучи через линзу.
Точка пересечения этих лучей даст изображение. В данном случае, изображение уменьшенное, равное, действительное.
Проверка за 10 секунд: Изображение получается действительным, если лучи пересекаются после линзы.
Доп. профит: Редфлаг: Если предмет находится дальше двойного фокусного расстояния, изображение всегда будет уменьшенным.