明代数学家程大位编撰的《算法统宗》记载了“绳索量竿”问题：“一条竿子一条索，索比竿子长一托，折回索子来量竿，却比竿子短一托.”译文为：“有一根竿和一条绳，若用绳去量竿，则绳比竿长5尺；若将绳对折后再去量竿，则绳比竿短5尺，那么竿长尺.（注：“托”和“尺”为古代的长度单位，1托=5尺）