Doch!
Geh die Kette Mal rückwärts durch:
Der ADC misst zwischen 0 und 1023 für Werte zwischen 0V und ARef (was in deinem Fall 10V sind).
Diese 1024 Abstufungen verteilen sich also auf die 10V, 10V/1024 ergibt also die (höchste) Spannung die das niedrigste Bit repräsentiert, in dieser Abstufung bewegst du dich durch den Wertebereich.
Wenn du jetzt die Formel umstellst, die aus Eingangswerten (Meter) Ausgangswerte (Spannung) machst, bekommst du eine Formel die aus Spannung zurück zu den Metern führt. Da bei dir einfach Meter=Volt gilt, ist das recht einfach, die kleinste Längenabstufung entspricht der kleinsten Spannungsabstufung - und deren Herleitung steht oben.

Bei komplizierteren Eingangssignalen/Schaltungen müsstest du dich Schritt für Schritt (rückwärts) durch die einzelnen Umformungen hangeln, die die Messgröße auf dem Weg zum ADC genommen hat.

mfG
Markus