23 lines
873 B
Plaintext
23 lines
873 B
Plaintext
|
A = (0, 0)
|
|||
|
|
B = (4 * sqrt(2), 0)
|
|||
|
|
C = (2 * sqrt(2), 2 * sqrt(2))
|
|||
|
|
s_AB = Segment(A, B)
|
|||
|
|
s_AC = Segment(A, C)
|
|||
|
|
s_BC = Segment(B, C)
|
|||
|
|
poly_ABC = Polygon(A, B, C)
|
|||
|
|
D = Midpoint(A, C)
|
|||
|
|
t = Slider(0, 1)
|
|||
|
|
E = Point(s_AB, t)
|
|||
|
|
F = Rotate(D, -45°, E)
|
|||
|
|
s_DE = Segment(D, E)
|
|||
|
|
s_EF = Segment(E, F)
|
|||
|
|
|
|||
|
|
**说明**：
|
|||
|
|
1. 根据文本条件（∠C=90°, AC=BC=4）精确计算坐标：
|
|||
|
|
- AB = $4\sqrt{2}$ → B = $(4\sqrt{2}, 0)$
|
|||
|
|
- C 满足等腰直角关系 → C = $(2\sqrt{2}, 2\sqrt{2})$
|
|||
|
|
2. 点 D 为 AC 中点 → `Midpoint(A, C)`
|
|||
|
|
3. 点 E 为 AB 上动点 → 用滑块 t 和 `Point(s_AB, t)` 定义
|
|||
|
|
4. 线段 DE 绕 E 顺时针旋转 45° 得 EF → `Rotate(D, -45°, E)` 生成 F
|
|||
|
|
5. 所有提及的边（AB, AC, BC, DE, EF）均用 `Segment` 连接
|
|||
|
|
6. 严格忽略验证、标注、样式命令，仅保留基本构造命令
|