二重切线（double tangent）是1993年公布的数学名词。