Actually, I'd like to add a little here... sure use the formulas as given, but for a PIC input I like to ensure that R2 is at least 10K (optimal for an ADC)... or even higher, otherwise the current flow through the Resistor chain is excessive, especially important if you are going to use it as a Battery Low indicator.