If the size of the beam spot is already known, how to choose the size of the lens in the optical path? – DaviLaser

The size of the lens for the external beam path should generally be selected as twice the actual spot size.