Мирское имя Девятка образовано от числительного «девять». Скорее всего, Девяткой родители назвали девятого по счету ребенка в семье.