Die Formel kommt so zustande:

Der ADC hat eine Auflösung von 10 Bit, er kann eine Spannung in 1023 Schritten digitalisieren. Wenn die gemessene Spannung gleich der Referenzspannung ist, erhält man als Messwert 1023, der Rest ist Dreisatz:

Referenz/1023 ist gleich gesuchte Spannung/gemessener Wert oder
Referenz/1023*Messwert=gesuchte Spannung

Die Widerstände bilden einen Spannungsteiler und sind so ausgewähkt, dass am Messeingang nie eine Spannung anliegt die größer als die Referenz ist:
http://www.rn-wissen.de/index.php/AD...ferenzspannung
http://www.mikrocontroller.net/articles/AVR_Tutorial:_ADC

Gruß

mic