分数线是谁发明的以及它的由来