I hope it isn't too late to jump in on this math discussion.
Dr. Michael Hall, in his article entitled "Brew by the Numbers - Add up What's in Your Beer" (Zymurgy, summer 1995), has an equation that takes into consideration, the presence of the ethanol in the ABV debate:
ABV = ABW * (FG /...