De recentibus compertis pertinentibus ad perficiendam dioptricam