init

GGB_14.txt

@@ -0,0 +1,71 @@
+### 修正报告
+无坐标调整（初始设置完全满足几何约束）
+
+### 坐标摘要
+- 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）