Nur ein Widerstand reicht nicht, denn der Eingangsstrom am ADC ist sehr klein (< 1µA), nicht bekannt und Temperaturabhängig. Man braucht also schon ein Teiler mit 2 Widerständen.
Der Spannungsteiler darf ruhig etwas hochohmiger sein. Um von etwa 15 V auf 2,5 V (interne Ref.) zu kommen also z.B. 20 K und 100 K.
Mit einem Kondensator dazu (von GND zum ADC) dürfen die Widesrtände noch größer werden, wenn es auf wenig Strom aus dem Akku ankommt.