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） |