Escalar imagen a un ancho fijo ¿cómo calcular el alto proporcionalmente?

[JBRS]

Hola,

Tengo una función de reducción de imágenes en que todo va bien si los tamaños que uso siempre son los mismos. Mi duda es a la hora de poner a un ancho fijo (250) cuando el alto cada vez es diferente. He intentado forzar una regla de 3 para calcular altos, pero me salía fatal y pixelaba mucho. ¿Hay alguna función o forma de hacerlo habitual?

Gracias.