古人曾用绳测井,将绳三折测之,绳多五尺:若将绳四折测之,绳多一尺.则绳长、井深各