(古代数学问题)用绳子量并深,把绳子3折来量,并处余绳子4尺;把绳子4折来量,并外余绳子1尺,于是量井人说:我知道这口井