Seja a > 1 e e a base dos logaritmos neperianos, o valor real de m para o qual a equação x³ - 9x² +  = 0 tenha raízes em progressão aritmética, é dado por