点集子集距离演示
几何画板及绘图内容加载中,请稍等……
所属专题
intersection: surface-surface, curve-curve
intersection: surface-surface, curve-curve
intersection: surface-surface, curve-curve
intersection: surface-surface, curve-curve
这个范例演示了如何构造点集的子集,其中每个点到其第一个点的距离至少为r。涉及的核心数学概念包括距离计算、集合构造和不等式表示。作图要点使用了GeoGebra的Point、Length、Sequence、RemoveUndefined、Element、Zip、TableText等命令和对象来创建点、计算距离、生成序列和显示文本信息。适合高中阶段学习解析几何和不等式的学生使用。
GeoGebra 命令及参数
Point(yAxis) → UPoint(xAxis) → SLength(l1t) → läSequence(Join[{{i}, RemoveUndefined[Sequence[If[Segment[Element[l1t, i], Element[l1t, j]] > r, NaN, j], j, i + 1, Length[l1t]]]}], i, 1, lä) → l2tRemoveUndefined(Sequence[If[Sum[Sequence[If[Length[Intersection[Element[l2t, j], Element[l2t, i]]] ≟ Length[Element[l2t, i]], 1, 0], j, 1, lä]] ≟ 1, i, NaN], i, 1, lä]) → l3tLength(l3t) → lä1Element(l1t, i) → PSequence(Element[l2t, Element[l3t, i]], i, 1, lä1) → l4tZip(Element[l1t, a], a, Element[l4t, c]) → l6t2Sequence(Zip[Element[l1t, a], a, Element[l4t, i]], i, 1, lä1) → l5tElement(l5t, c) → l6t1TableText({Join[{{"N"}, Sequence[i, i, 1, lä]}], Join[{{"l2t:"}, l2t}]}, "vr") → text4TableText({Join[{{"N"}, l3t}], Join[{{""}, Sequence["→", i, 1, c]}], Join[{{"l4t:"}, l4t}]}, "vr") → text5