Брянская фамилия АНТОНОВ, АНТОХИН, АНТОШИН
Антоний — мужское римское родовое имя. Точного истолкования не имеет. Возможно, греческого происхождения — «вступить в бой, состязаться», «набивающий цену», «приобретенный взамен».
Фамилия Антонов образована через отчество «сын Антонов» — русскую народную форму имени Антон. Эта фамилия широко распространена на Брянщине. От производного Антоха произошла фамилия Антохин. Антош, Антоша — Антошин, Антошка — Антошкин, Антоночка — Антоночкин...
Антонина — это уже женское имя. Фамилия Антонин вполне могла быть образована от этого имени.