Converts a mass fraction of ethanol to % ABV.
ABV is defined at 20 °C: the volume the ethanol would take up on its own at 20 °C, as a percentage of the mixture's volume at 20 °C. A litre of the mixture holds ρ(p) × p kilograms of ethanol, and that over the density of pure ethanol is its volume.
ρ(p) × p
Converts a mass fraction of ethanol to % ABV.
ABV is defined at 20 °C: the volume the ethanol would take up on its own at 20 °C, as a percentage of the mixture's volume at 20 °C. A litre of the mixture holds
ρ(p) × pkilograms of ethanol, and that over the density of pure ethanol is its volume.