Este artigo apresenta um modelo de otimização matemática não linear que determina novas alíquotas para o Imposto sobre a Propriedade Predial e Territorial Urbana (IPTU) incidente sobre os apartamentos residenciais no município do Salvador (BA). São considerados a progressividade das alíquotas, os valores venais dos imóveis, as rendas médias dos contribuintes e as usuais metodologias de cálculo do valor do imposto. Os resultados obtidos na aplicação desse modelo demonstram ser possível tratar de forma objetiva e socialmente mais justa a definição das alíquotas de IPTU para todos os tipos de imóveis de um município.