71 lines
1.8 KiB
Plaintext
71 lines
1.8 KiB
Plaintext
|
### 修正报告
|
|||
|
|
无坐标调整（初始设置完全满足几何约束）
|
|||
|
|
|
|||
|
|
### 坐标摘要
|
|||
|
|
- A(0,0), B(4,0), C(4,4), D(0,4)
|
|||
|
|
- O(2,2)（对角线交点）
|
|||
|
|
- E(2t,2t)（t∈[0,1]，初始值0.3）
|
|||
|
|
- F（动态垂足）
|
|||
|
|
- P（垂线与OB的交点）
|
|||
|
|
|
|||
|
|
### Geogebra指令
|
|||
|
|
A = (0, 0)
|
|||
|
|
B = (4, 0)
|
|||
|
|
C = (4, 4)
|
|||
|
|
D = (0, 4)
|
|||
|
|
AB = Segment(A, B)
|
|||
|
|
BC = Segment(B, C)
|
|||
|
|
CD = Segment(C, D)
|
|||
|
|
DA = Segment(D, A)
|
|||
|
|
AC = Segment(A, C)
|
|||
|
|
BD = Segment(B, D)
|
|||
|
|
O = Intersect(AC, BD)
|
|||
|
|
OA = Segment(O, A)
|
|||
|
|
OB = Segment(O, B)
|
|||
|
|
t = Slider(0, 1, 0.01, 0.3, 100, false, true, false, false)
|
|||
|
|
E = Point(OA, t)
|
|||
|
|
BE = Segment(B, E)
|
|||
|
|
perpLine = PerpendicularLine(C, BE)
|
|||
|
|
F = Intersect(perpLine, BE)
|
|||
|
|
CF = Segment(C, F)
|
|||
|
|
P = Intersect(perpLine, OB)
|
|||
|
|
OE = Segment(O, E)
|
|||
|
|
OP = Segment(O, P)
|
|||
|
|
SetVisibleInView(perpLine, 1, false)
|
|||
|
|
ShowLabel(AB, false)
|
|||
|
|
ShowLabel(BC, false)
|
|||
|
|
ShowLabel(CD, false)
|
|||
|
|
ShowLabel(DA, false)
|
|||
|
|
ShowLabel(AC, false)
|
|||
|
|
ShowLabel(BD, false)
|
|||
|
|
ShowLabel(OA, false)
|
|||
|
|
ShowLabel(OB, false)
|
|||
|
|
ShowLabel(BE, false)
|
|||
|
|
ShowLabel(CF, false)
|
|||
|
|
ShowLabel(OE, false)
|
|||
|
|
ShowLabel(OP, false)
|
|||
|
|
ShowGrid(false)
|
|||
|
|
ShowAxes(false)
|
|||
|
|
|
|||
|
|
---
|
|||
|
|
|
|||
|
|
### 指令说明
|
|||
|
|
1. **几何约束验证**
|
|||
|
|
- 正方形ABCD严格水平（AB∥x轴，BC⊥AB）
|
|||
|
|
- 对角线AC⊥BD且互相平分（O为中点）
|
|||
|
|
- 所有角度/长度关系符合描述（AO=BO=CO=DO=2√2）
|
|||
|
|
|
|||
|
|
2. **动态坐标系**
|
|||
|
|
- 以最长边AB为x轴，A为原点(0,0)
|
|||
|
|
- 自动满足水平约束（DA⊥AB，BC⊥AB）
|
|||
|
|
|
|||
|
|
3. **元素生成顺序**
|
|||
|
|
固定点 → 固定边 → 动态点E → 动态元素（BE, CF, P）
|
|||
|
|
|
|||
|
|
4. **错误熔断**
|
|||
|
|
无触发（所有约束自动满足）
|
|||
|
|
|
|||
|
|
5. **特殊处理**
|
|||
|
|
- 线段标签全部隐藏（符合规则5）
|
|||
|
|
- 垂线`perpLine`创建后隐藏（仅保留垂足F和交点P）
|
|||
|
|
- 滑块t控制点E在OA上移动（初始位置t=0.3）
|