A little more (or maybe a little more of the same things)...
The analog-to-digital converter is 10-bits so in binary you get this:
11 1111 1111 which is 1023 in decimal. (1) That's as high as you can count with 10-bits. (The Windows calculator in "programmer mode" will convert between decimal, hexadecimal, octal, and binary.)
The 0-1023 number is simply proportional to the reference voltage. The default reference is Vcc, so about 5V.(2) 2.5V would read 511 or if the reference is 1V then 1V would read 1023 and 1/2V would read 511 and 1/10th of a volt would read 102, etc. (It's an integer so nothing to the right of the decimal place.)
The Arduino Uno has an optional 1.1V reference or you can supply your own external reference if you wanted to use 1V or some other reference. (The reference can't be higher Vcc.)
In order to understand how a voltage divider works you need to know;
Ohm's Law (the relationship between voltage, resistance and current).
The same current flows through all series components.
Resistance in series sums-up.
So, you have 5V applied across the total resistance of 37.5K Ohms. Now you can calculate the current.
Knowing the current you can calculate the voltage across each resistor. With a regular multimeter you can measure the voltage across each resistor separately but the Arduino can only measure relative to ground so you can only measure the voltage across R2.
BTW - The voltages will sum to Vcc. (That's one of Kirchhoff's Laws.)
(1) The spaces are added for human readability, but you can't have spaces if you use binary in your code. Also, each group of 4-bits converts exactly to 1 hexadecimal number, making it easy to convert between binary and hex in your head. Converting between decimal and binary isn't so easy and that's why programmers often use hex instead of decimal when dealing with binary numbers or "bit patterns". Of course, inside the computer everything is binary.
(2) Since the reference is Vcc, the reference will very if you have a battery-operated Arduino without a voltage regulator.... That means you can get inaccurate readings and you have to use some "tricks" if you want to measure it's own batteries... If you just measure the battery voltage with the battery as the reference it will always read 1023. 
Of course any 5V power supply will very, but regulated power supplies are usually "close".