前人有没有人发现过这个定理a÷b=1/b÷1/a