As moon-gazers look skyward during the Mid-Autumn Festival weekend, they should spare a thought for Wang Zhenyi, one of China’s most notable astronomers and mathematicians – and a woman.