Tractatus proportionum