Эта формула была известна еще китайскому математику Ян Хуэю, жившему в XIII веке, и его арабскому современнику ат-Туси. Первым из европейцев ее применил Паскаль, а другой великий ученый чуть позже обобщил. Назовите его соотечественника, прославившегося трактатом об этой формуле в XIX веке.