有井不知深,先将绳三折入井,井外绳长四尺;后将绳四折入井,井外绳长一尺,问井深,绳长各几何?