意大利科学家托里拆利最早测出什么的数值