Determining the focal length of a diverging lens