有理数中点操作：多步运算与数轴验证

GeoGebra 命令及参数

1. RandomUniform(0, 0.99, 200) → allRandomSeeds, {0.042331626256251746, 0.1280365495033378, 0.6628995922773611, 0.6657885624439926, 0.4423620575832289, 0.21507274292725717, 0.7306206827979663, 0.2805156504895773, 0.14511055217477362, 0.6686474858780872, 0.05900887244585618, 0.8956426395760028, 0.9413003296068703, 0.7594487113986098, 0.2513060016540905, 0.1286030660033055, 0.08910720221990602, 0.01794061337973433, 0.1707480270848411, 0.9011085142739876, 0.8776231329433682, 0.14287305505477435, 0.8810873218216736, 0.9695293450015416, 0.8151931657587841, 0.9370453155617481, 0.5402952321584168, 0.049971522263144386, 0.11187315571361216, 0.33555608773093787, 0.8197341176225832, 0.6401897242048689, 0.6512621902025945, 0.5373862654266757, 0.13568866073709634, 0.8584368893421468, 0.24765673237749616, 0.7389645157865504, 0.36443254522115653, 0.7344964444556548, 0.9498538768607512, 0.20835505864095735, 0.8059819260844836, 0.08047725674330765, 0.9130003986726279, 0.8708854964517742, 0.8953483544275134, 0.8784733102692358, 0.16463934147513343, 0.05139741591124149, 0.3634546322564754, 0.4588986020140794, 0.6705495042931051, 0.5448552183450495, 0.9229127375687952, 0.32720476276565963, 0.6401044469126658, 0.1457890974978366, 0.8665889061519695, 0.9277723378898762, 0.7196950237080398, 0.6879755620416254, 0.5392922272457215, 0.9320385042287018, 0.16626660273844654, 0.5288742076063649, 0.5050228476506918, 0.5233828652833475, 0.8912142666430656, 0.2686423580044868, 0.12400350769335, 0.8239396540721424, 0.9877610120624689, 0.931039157026523, 0.10519185291394861, 0.02833814895391413, 0.4525117835220764, 0.8932085120906074, 0.19113396389651904, 0.08639524580169662, 0.8941324415189632, 0.5631957921092934, 0.08286865159494655, 0.470992555102325, 0.6490458797255179, 0.1881053905506937, 0.6031290765893235, 0.3387672586587566, 0.5656682988824345, 0.48204706909263895, 0.5463133449578492, 0.819829777616664, 0.21502732162939547, 0.8714462289323552, 0.5936074799130284, 0.19849267636312368, 0.21660916056409535, 0.4159089220124397, 0.671243747198755, 0.429954598017551, 0.08397558189664635, 0.29563471339440095, 0.2991647382292504, 0.718029010051352, 0.40507236384304923, 0.0013613565331908838, 0.6463377078997282, 0.1663419032910274, 0.11721888981382482, 0.7300021079102328, 0.7876266219824335, 0.48994387371685866, 0.34652499047779284, 0.7685026465935423, 0.8254777252851433, 0.33599119770770897, 0.6159239725982069, 0.7099967028343921, 0.8077129907409754, 0.9510467320772052, 0.1851418344241687, 0.5100798063466159, 0.8904491667838095, 0.7386354680051084, 0.839741288775553, 0.29694872965191416, 0.6125730411828058, 0.09396160832872297, 0.0648844811513184, 0.6272687791017689, 0.09530290076314654, 0.4731521438346994, 0.8626520599898969, 0.8699343182305239, 0.6871530650351472, 0.5620389380985604, 0.9696374527094298, 0.762377980440455, 0.9010933535198119, 0.33432543328688885, 0.4741024081485878, 0.11876178154075152, 0.2868573935974367, 0.9310050546352615, 0.6692372288696153, 0.8162483642980797, 0.7372027142562284, 0.9821078122758414, 0.9610111771787231, 0.9746039148051215, 0.9424637844982604, 0.6082479267363627, 0.1357301796265361, 0.005623656560577363, 0.43296253078573066, 0.2130293353831168, 0.013737048717264309, 0.002299557161121173, 0.5337539199392047, 0.5181372877786031, 0.40169528576878194, 0.683264124121629, 0.6907834113197039, 0.8309033804385144, 0.9365909187967637, 0.22584782988433405, 0.41182001391386, 0.7992778584860591, 0.7699676901836974, 0.141077221530178, 0.789503875925416, 0.2714768674707281, 0.17097941776376696, 0.5461187196927064, 0.7775086475954402, 0.9470939271950689, 0.6215988017040923, 0.39403877084108124, 0.09416925740978344, 0.7031738372209755, 0.546765783902281, 0.2873030302463704, 0.36096242469714257, 0.16264379109723842, 0.38638922282184784, 0.8501779061574312, 0.2259515550723533, 0.3635803782196776, 0.9049337443410578, 0.23612573179165577, 0.8547208094091783, 0.8660625508777133, 0.4578301271868806, 0.3993993278362639, 0.053421266476012995, 0.3988198540040279, 0.10214029654586705, 0.5953455034053949, 0.9603407165883738, 0.7605315778281395}
2. Take(allRandomSeeds, randIndex, randIndex + numRandoms - 1) → currentRandomSeeds
3. Max(randomNum1, randomNum2) → numBigger
4. Min(randomNum1, randomNum2) → numSmaller
5. Text(input1, false) → textInput1
6. Zip(UnicodeToLetter[n], n, TextToUnicode[textInput1]) → listInput
7. PartitionPoint(Point1, Point2, numDistSmaller, numDistBigger + numDistSmaller) → LastInputPoint
8. Sequence(abs(x(textCorners(n, 1)) - x(textCorners(n, 2))), n, 1, Length[textCorners]) → textWidths, {0.3874167418546366, 0.3874167418546366, 0.253824761904762, 0.36069834586466165}
9. Sequence(abs(y(textCorners(n, 1)) - y(textCorners(n, 3))), n, 1, Length[textCorners]) → textHeights, {0.35942279116465864, 0.3594227911646586, 0.3594227911646586, 0.3528878313253012}
10. CountIf(k ≟ "/", k, listInput) → countInputDiv
11. IndexOf("-", listInput) → indexNeg
12. CountIf(k ≟ "-", k, listInput) → countInputneg
13. CommonDenominator(numSmaller, numBigger) → numLCD
14. GCD({numLCD, numNumeratorTotal}) → numGCDAnswer
15. Textfield(input1) → InputBox1
16. Polygon(Zip[PixelsToPoint[Corner[1], Corner[3], Corner[5], A], A, {(pixelsLeft, pixelsTop), (pixelsLeft, y(Corner[5]) - pixelsBottom), Corner[5] - (pixelsRight, pixelsBottom), (x(Corner[5]) - pixelsRight, pixelsTop)}]) → borderBox
17. Corner(5) → Dims
18. Segment(RightBracketPoint1, MiddleBracketPoint) → betweenSegmentRight
19. Segment(LeftBracketPoint1, MiddleBracketPoint) → betweenSegmentLeft
20. Midpoint(betweenSegmentLeft) → leftDistanceLabelPoint
21. Midpoint(betweenSegmentRight) → rightDistanceLabelPoint
22. Circle(AnswerPoint, 0.09) → targetCirc1
23. Circle(AnswerPoint, 0.13) → targetCirc2
24. Circle(AnswerPoint, 0.17) → targetCirc3
25. Circle(AnswerPoint, 0.21) → targetCirc4
26. Segment((-2.2, 0), (2.2, 0)) → numLine
27. Zip((x(n) - p / 2, 0.3 + r / 2), n, {Point1, Point2, LastInputPoint, AnswerPoint}, p, textWidths, r, textHeights) → TextStarts