C# GeometryTutorLib.TutorParser.HardCodedParserMain.Get方法代码示例

        public Page113Problem7(bool onoff, bool complete)
            : base(onoff, complete)
        {
            problemName = "Page 113 Problem 7";

            Point a = new Point("A", -4, 3);          points.Add(a);
            Point b = new Point("B", -4.0 / 3.0, -1); points.Add(b);
            Point c = new Point("C", 0, 0);           points.Add(c);
            Point p = new Point("P", 4, 3);           points.Add(p);
            Point q = new Point("Q", 4.0 / 3.0, -1);  points.Add(q);

            Segment ab = new Segment(a, b); segments.Add(ab);
            Segment pq = new Segment(p, q); segments.Add(pq);

            List<Point> pts = new List<Point>();
            pts.Add(a);
            pts.Add(c);
            pts.Add(q);
            collinear.Add(new Collinear(pts));

            pts = new List<Point>();
            pts.Add(p);
            pts.Add(c);
            pts.Add(b);
            collinear.Add(new Collinear(pts));

            parser = new GeometryTutorLib.TutorParser.HardCodedParserMain(points, collinear, segments, circles, onoff);

            given.Add(new GeometricCongruentSegments((Segment)parser.Get(new Segment(b, c)), (Segment)parser.Get(new Segment(c, q))));
            given.Add(new GeometricCongruentSegments((Segment)parser.Get(new Segment(a, c)), (Segment)parser.Get(new Segment(c, p))));

            goals.Add(new GeometricCongruentTriangles(new Triangle(a, b, c), new Triangle(p, q, c)));
        }

        public IPage119Problem3(bool onoff, bool complete)
            : base(onoff, complete)
        {
            problemName = "I Page 119 Problem 3";

            Point a = new Point("A", 4, 0); points.Add(a);
            Point b = new Point("B", 4, 10); points.Add(b);
            Point c = new Point("C", 8, 10); points.Add(c);
            Point d = new Point("D", 0, 0); points.Add(d);
            Point o = new Point("O", 4, 5); points.Add(o);

            Segment ad = new Segment(a, d); segments.Add(ad);
            Segment bc = new Segment(b, c); segments.Add(bc);

            List<Point> pts = new List<Point>();
            pts.Add(d);
            pts.Add(o);
            pts.Add(c);
            collinear.Add(new Collinear(pts));

            pts = new List<Point>();
            pts.Add(b);
            pts.Add(o);
            pts.Add(a);
            collinear.Add(new Collinear(pts));

                        parser = new GeometryTutorLib.TutorParser.HardCodedParserMain(points, collinear, segments, circles, onoff);

            given.Add(new GeometricCongruentSegments(ad, bc));
            given.Add(new Perpendicular(parser.GetIntersection(ad, new Segment(a, b))));
            given.Add(new Perpendicular(parser.GetIntersection(bc, new Segment(a, b))));

            goals.Add(new SegmentBisector(parser.GetIntersection((Segment)parser.Get(new Segment(c, d)), (Segment)parser.Get(new Segment(a, b))), (Segment)parser.Get(new Segment(c, d))));
        }

        public Page3Prob23(bool onoff, bool complete)
            : base(onoff, complete)
        {
            Point q = new Point("Q", -2, 0); points.Add(q);
            Point p = new Point("P", 2, 0); points.Add(p);
            Point o = new Point("O", 0, 0); points.Add(o);

            List<Point> pts = new List<Point>();
            pts.Add(q);
            pts.Add(o);
            pts.Add(p);
            collinear.Add(new Collinear(pts));

            circles.Add(new Circle(o, 4));
            circles.Add(new Circle(p, 2));
            circles.Add(new Circle(q, 2));

            parser = new GeometryTutorLib.TutorParser.HardCodedParserMain(points, collinear, segments, circles, onoff);

            known.AddSegmentLength((Segment)parser.Get(new Segment(o, q)), 2);
            known.AddSegmentLength((Segment)parser.Get(new Segment(p, o)), 2);

            List<Point> wanted = new List<Point>();
            wanted.Add(new Point("", 0, -3));
            wanted.Add(new Point("", -2, -1));
            wanted.Add(new Point("", -2, 1));
            goalRegions = parser.implied.GetAtomicRegionsByPoints(wanted);

            SetSolutionArea(8 * System.Math.PI);

            problemName = "Jurgensen Page 3 Problem 23";
            GeometryTutorLib.EngineUIBridge.HardCodedProblemsToUI.AddProblem(problemName, points, circles, segments);
        }

        //Demonstrates: If a quad is inscribed in a circle, then its opposite angles are supplementary
        public Page312Corollary2(bool onoff, bool complete)
            : base(onoff, complete)
        {
            Point o = new Point("O", 0, 0); points.Add(o);

            //Points and segments for an inscribed rectangle
            Point r = new Point("R", -3, 4); points.Add(r);
            Point s = new Point("S", 3, 4); points.Add(s);
            Point t = new Point("T", 3, -4); points.Add(t);
            Point u = new Point("U", -3, -4); points.Add(u);

            Segment rs = new Segment(r, s); segments.Add(rs);
            Segment st = new Segment(s, t); segments.Add(st);
            Segment tu = new Segment(t, u); segments.Add(tu);
            Segment ur = new Segment(u, r); segments.Add(ur);

            Circle c = new Circle(o, 5.0);
            circles.Add(c);

            parser = new GeometryTutorLib.TutorParser.HardCodedParserMain(points, collinear, segments, circles, onoff);

            Angle angle1 = (Angle)parser.Get(new Angle(r, s, t));
            Angle angle2 = (Angle)parser.Get(new Angle(u, r, s));
            Angle angle3 = (Angle)parser.Get(new Angle(s, t, u));

            given.Add(new Strengthened(angle1, new RightAngle(angle1)));
            given.Add(new GeometricCongruentAngles(angle2, angle3));

            Quadrilateral quad = (Quadrilateral)parser.Get(new Quadrilateral(ur, st, rs, tu));
            goals.Add(new Strengthened(quad, new Rectangle(quad)));
        }

        public Page223Problem24(bool onoff, bool complete)
            : base(onoff, complete)
        {
            problemName = "Page 223 Problem 24";

            Point b = new Point("B", 2, 4); points.Add(b);
            Point n = new Point("N", 8, 4); points.Add(n);
            Point l = new Point("L", 0, 0); points.Add(l);
            Point c = new Point("C", 10, 0); points.Add(c);
            Point m = new Point("M", 5, 2.5); points.Add(m);

            Segment cl = new Segment(c, l); segments.Add(cl);
            Segment bn = new Segment(b, n); segments.Add(bn);

            List<Point> pts = new List<Point>();
            pts.Add(l);
            pts.Add(m);
            pts.Add(n);
            collinear.Add(new Collinear(pts));

            pts = new List<Point>();
            pts.Add(b);
            pts.Add(m);
            pts.Add(c);
            collinear.Add(new Collinear(pts));

                        parser = new GeometryTutorLib.TutorParser.HardCodedParserMain(points, collinear, segments, circles, onoff);

            given.Add(new GeometricCongruentAngles((Angle)parser.Get(new Angle(m, b, n)), (Angle)parser.Get(new Angle(m, c, l))));
        }

        public Page164Problem36(bool onoff, bool complete)
            : base(onoff, complete)
        {
            problemName = "Page 164 Problem 36";

            Point a = new Point("A", 11, 8); points.Add(a);
            Point b = new Point("B", 10, 8); points.Add(b);
            Point c = new Point("C", 10, 11); points.Add(c);
            Point d = new Point("D", 0, 8);  points.Add(d);
            Point e = new Point("E", 0, 0);   points.Add(e);
            Point f = new Point("F", 10, 0);  points.Add(f);

            Segment de = new Segment(d, e); segments.Add(de);
            Segment ef = new Segment(e, f); segments.Add(ef);

            List<Point> pts = new List<Point>();
            pts.Add(f);
            pts.Add(b);
            pts.Add(c);
            collinear.Add(new Collinear(pts));

            pts = new List<Point>();
            pts.Add(d);
            pts.Add(b);
            pts.Add(a);
            collinear.Add(new Collinear(pts));

                        parser = new GeometryTutorLib.TutorParser.HardCodedParserMain(points, collinear, segments, circles, onoff);

            given.Add(new GeometricCongruentAngles((Angle)parser.Get(new Angle(b, d, e)), (Angle)parser.Get(new Angle(c, b, d))));

            goals.Add(new GeometricParallel(de, new Segment(f, c)));
        }

        public Page226Problem42(bool onoff, bool complete)
            : base(onoff, complete)
        {
            problemName = "Page 226 Problem 42";

            Point j = new Point("J", 0, 0); points.Add(j);
            Point k = new Point("K", 0, 12); points.Add(k);
            Point l = new Point("L", 3, 2); points.Add(l);
            Point m = new Point("M", 3, 10); points.Add(m);
            Point n = new Point("N", 9, 6); points.Add(n);

            Segment jk = new Segment(j, k); segments.Add(jk);
            Segment lm = new Segment(l, m); segments.Add(lm);

            List<Point> pts = new List<Point>();
            pts.Add(j);
            pts.Add(l);
            pts.Add(n);
            collinear.Add(new Collinear(pts));

            pts = new List<Point>();
            pts.Add(k);
            pts.Add(m);
            pts.Add(n);
            collinear.Add(new Collinear(pts));

                        parser = new GeometryTutorLib.TutorParser.HardCodedParserMain(points, collinear, segments, circles, onoff);

            given.Add(new IsoscelesTriangle((Segment)parser.Get(new Segment(k, n)), (Segment)parser.Get(new Segment(j, n)), jk));
            given.Add(new GeometricParallel(jk, lm));

            goals.Add(new Strengthened((Triangle)parser.Get(new Triangle(n, m, l)),  new IsoscelesTriangle((Triangle)parser.Get(new Triangle(n, m, l)))));
        }

        public Page73Problem8(bool onoff, bool complete)
            : base(onoff, complete)
        {
            problemName = "Page 73 Problem 8";

            Point t = new Point("T", -4, 5); points.Add(t);
            Point n = new Point("N", 0, 5); points.Add(n);
            Point s = new Point("S", 0, 0); points.Add(s);
            Point h = new Point("H", 0, -5); points.Add(h);
            Point u = new Point("U", 4, -5); points.Add(u);

            Segment nt = new Segment(n, t); segments.Add(nt);
            Segment hu = new Segment(h, u); segments.Add(hu);

            List<Point> pts = new List<Point>();
            pts.Add(t);
            pts.Add(s);
            pts.Add(u);
            collinear.Add(new Collinear(pts));

            pts = new List<Point>();
            pts.Add(n);
            pts.Add(s);
            pts.Add(h);
            collinear.Add(new Collinear(pts));

                        parser = new GeometryTutorLib.TutorParser.HardCodedParserMain(points, collinear, segments, circles, onoff);

            given.Add(new GeometricCongruentAngles((Angle)parser.Get(new Angle(s, u, h)), (Angle)parser.Get(new Angle(n, t, s))));
            given.Add(new GeometricCongruentSegments((Segment)parser.Get(new Segment(n, s)), (Segment)parser.Get(new Segment(s, h))));

            goals.Add(new GeometricCongruentTriangles(new Triangle(s, n, t), new Triangle(s, h, u)));
        }

        public Page197Problem35(bool onoff, bool complete)
            : base(onoff, complete)
        {
            problemName = "Page 197 Problem 35";

            Point a = new Point("A", 0, 5); points.Add(a);
            Point b = new Point("B", 3, 8); points.Add(b);
            Point c = new Point("C", 5, 0); points.Add(c);
            Point d = new Point("D", 9000, 5); points.Add(d);
            Point e = new Point("E", 0, 0); points.Add(e);
            Point f = new Point("F", 0, 30); points.Add(f);

            Segment ab = new Segment(a, b); segments.Add(ab);
            Segment ac = new Segment(a, c); segments.Add(ac);
            Segment ad = new Segment(a, d); segments.Add(ad);

            List<Point> pts = new List<Point>();
            pts.Add(e);
            pts.Add(a);
            pts.Add(f);
            collinear.Add(new Collinear(pts));

                        parser = new GeometryTutorLib.TutorParser.HardCodedParserMain(points, collinear, segments, circles, onoff);

            given.Add(new GeometricCongruentAngles((Angle)parser.Get(new Angle(f, a, b)),
                                                   (Angle)parser.Get(new Angle(d, a, b))));

            goals.Add(new Strengthened(parser.GetIntersection(new Segment(a, b), new Segment(a, c)),
                                       new Perpendicular(parser.GetIntersection(new Segment(a, b), new Segment(a, c)))));
        }

        public Page3Prob24(bool onoff, bool complete)
            : base(onoff, complete)
        {
            Point a = new Point("A", 0, 0); points.Add(a);
            Point b = new Point("B", 2, 0); points.Add(b);
            Point c = new Point("C", 6, 0); points.Add(c);
            Point d = new Point("D", 8, 0); points.Add(d);
            Point o = new Point("O", 4, 4); points.Add(o);
            Point e = new Point("E", 0, 4); points.Add(e);
            Point f = new Point("F", 2, 4); points.Add(f);
            Point g = new Point("G", 6, 4); points.Add(g);
            Point h = new Point("H", 8, 4); points.Add(h);

            Point x = new Point("X", 4, 0); points.Add(x);

            Segment ae = new Segment(a, e); segments.Add(ae);
            Segment bf = new Segment(b, f); segments.Add(bf);
            Segment cg = new Segment(c, g); segments.Add(cg);
            Segment dh = new Segment(d, h); segments.Add(dh);

            List<Point> pts = new List<Point>();
            pts.Add(e);
            pts.Add(f);
            pts.Add(o);
            pts.Add(g);
            pts.Add(h);
            collinear.Add(new Collinear(pts));

            pts = new List<Point>();
            pts.Add(a);
            pts.Add(b);
            pts.Add(x);
            pts.Add(c);
            pts.Add(d);
            collinear.Add(new Collinear(pts));

            circles.Add(new Circle(o, 2));
            circles.Add(new Circle(o, 4));

            parser = new GeometryTutorLib.TutorParser.HardCodedParserMain(points, collinear, segments, circles, onoff);

            Quadrilateral quad = (Quadrilateral)parser.Get(new Quadrilateral(ae, dh, (Segment)parser.Get(new Segment(e, h)),
                                                                                     (Segment)parser.Get(new Segment(a, d))));
            given.Add(new Strengthened(quad, new Rectangle(quad)));

            known.AddSegmentLength(bf, 4);
            known.AddSegmentLength((Segment)parser.Get(new Segment(o, h)), 4);
            known.AddSegmentLength((Segment)parser.Get(new Segment(o, f)), 2);

            List<Point> wanted = new List<Point>();
            wanted.Add(new Point("", 4, 7));
            goalRegions = parser.implied.GetAtomicRegionsByPoints(wanted);
            goalRegions.AddRange(parser.implied.GetAtomicRegionsByFigure(new Quadrilateral(new Segment(g, c), new Segment(h, d), new Segment(g, h), new Segment(c, d))));
            goalRegions.AddRange(parser.implied.GetAtomicRegionsByFigure(new Quadrilateral(new Segment(a, e), new Segment(f, b), new Segment(f, e), new Segment(b, a))));

            SetSolutionArea(4 * (4 + (3.0 / 2.0) * System.Math.PI));

            problemName = "Jurgensen Page 3 Problem 24";
            GeometryTutorLib.EngineUIBridge.HardCodedProblemsToUI.AddProblem(problemName, points, circles, segments);
        }

        public Page24Problem7(bool onoff, bool complete)
            : base(onoff, complete)
        {
            problemName = "Page 24 Problem 7";

            Point a = new Point("A", 1, 4); points.Add(a);
            Point b = new Point("B", 0, 0); points.Add(b);
            Point c = new Point("C", 3.5, 3); points.Add(c);
            Point d = new Point("D", 6, 2); points.Add(d);
            Point e = new Point("E", 7, 6); points.Add(e);

            Segment ab = new Segment(a, b); segments.Add(ab);
            Segment de = new Segment(d, e); segments.Add(de);

            // System.Diagnostics.Debug.WriteLine("Intersection: " + new Segment(b, e).FindIntersection(new Segment(a, d)));

            List<Point> pts = new List<Point>();
            pts.Add(b);
            pts.Add(c);
            pts.Add(e);
            collinear.Add(new Collinear(pts));

            pts = new List<Point>();
            pts.Add(a);
            pts.Add(c);
            pts.Add(d);
            collinear.Add(new Collinear(pts));

                        parser = new GeometryTutorLib.TutorParser.HardCodedParserMain(points, collinear, segments, circles, onoff);

            given.Add(new Midpoint((InMiddle)parser.Get(new InMiddle( c, (Segment)parser.Get(new Segment(a, d))))));
            given.Add(new Midpoint((InMiddle)parser.Get(new InMiddle( c, (Segment)parser.Get(new Segment(b, e))))));

            goals.Add(new GeometricCongruentTriangles(new Triangle(a, b, c), new Triangle(d, e, c)));
        }

        public Page168Problem34(bool onoff, bool complete)
            : base(onoff, complete)
        {
            problemName = "Page 168 Problem 34";

            Point a = new Point("A", 1, 7); points.Add(a);
            Point b = new Point("B", 1, 4); points.Add(b);
            Point c = new Point("C", 8, 0); points.Add(c);
            Point d = new Point("D", 8, 4); points.Add(d);
            Point e = new Point("E", 4, 4); points.Add(e);

            Segment ab = new Segment(a, b); segments.Add(ab);
            Segment cd = new Segment(c, d); segments.Add(cd);

            List<Point> pts = new List<Point>();
            pts.Add(a);
            pts.Add(e);
            pts.Add(c);
            collinear.Add(new Collinear(pts));

            pts = new List<Point>();
            pts.Add(b);
            pts.Add(e);
            pts.Add(d);
            collinear.Add(new Collinear(pts));

                        parser = new GeometryTutorLib.TutorParser.HardCodedParserMain(points, collinear, segments, circles, onoff);

            given.Add(new GeometricCongruentAngles((Angle)parser.Get(new Angle(b, a, e)),
                                                   (Angle)parser.Get(new Angle(a, e, b))));
            given.Add(new GeometricCongruentAngles((Angle)parser.Get(new Angle(d, e, c)),
                                                   (Angle)parser.Get(new Angle(e, c, d))));

            goals.Add(new GeometricParallel(ab, cd));
        }

        public Page156Problem34(bool onoff, bool complete)
            : base(onoff, complete)
        {
            problemName = "Page 156 Problem 34";

            Point s = new Point("S", 0, 10); points.Add(s);
            Point t = new Point("T", 0, 0); points.Add(t);
            Point u = new Point("U", 10, 0); points.Add(u);
            Point v = new Point("V", 10, 10); points.Add(v);
            Point w = new Point("W", 5, 5); points.Add(w);

            Segment st = new Segment(s, t); segments.Add(st);
            Segment uv = new Segment(u, v); segments.Add(uv);

            List<Point> pts = new List<Point>();
            pts.Add(t);
            pts.Add(w);
            pts.Add(v);
            collinear.Add(new Collinear(pts));

            pts = new List<Point>();
            pts.Add(s);
            pts.Add(w);
            pts.Add(u);
            collinear.Add(new Collinear(pts));

                        parser = new GeometryTutorLib.TutorParser.HardCodedParserMain(points, collinear, segments, circles, onoff);

            given.Add(new GeometricCongruentAngles((Angle)parser.Get(new Angle(w, v, u)), (Angle)parser.Get(new Angle(w, s, t))));
            given.Add(new GeometricCongruentAngles((Angle)parser.Get(new Angle(w, t, s)), (Angle)parser.Get(new Angle(w, s, t))));

            goals.Add(new GeometricParallel(st, uv));
        }

        //Demonstrates: congruent chords have congruent arcs
        public Page306Theorem7_4_1(bool onoff, bool complete)
            : base(onoff, complete)
        {
            Point o = new Point("O", 0, 0); points.Add(o);
            Point r = new Point("R", -3, 4); points.Add(r);
            Point s = new Point("S", 2, Math.Sqrt(21)); points.Add(s);
            Point t = new Point("T", 2, -Math.Sqrt(21)); points.Add(t);
            Point u = new Point("U", -3, -4); points.Add(u);

            Segment rt = new Segment(r, t);
            Segment su = new Segment(s, u);
            Point v = rt.FindIntersection(su); points.Add(v);

            Segment rs = new Segment(r, s); segments.Add(rs);
            Segment ut = new Segment(u, t); segments.Add(ut);

            Circle c = new Circle(o, 5.0);
            circles.Add(c);

            parser = new GeometryTutorLib.TutorParser.HardCodedParserMain(points, collinear, segments, circles, onoff);

            given.Add(new GeometricCongruentSegments(rs, ut));

            MinorArc a1 = (MinorArc)parser.Get(new MinorArc(c, r, s));
            MinorArc a2 = (MinorArc)parser.Get(new MinorArc(c, t, u));
            MajorArc ma1 = (MajorArc)parser.Get(new MajorArc(c, r, s));
            MajorArc ma2 = (MajorArc)parser.Get(new MajorArc(c, t, u));

            goals.Add(new GeometricCongruentArcs(a1, a2));
            goals.Add(new GeometricCongruentArcs(ma1, ma2));
        }

        public Page243Problem15(bool onoff, bool complete)
            : base(onoff, complete)
        {
            problemName = "Page 243 Problem 15";

            Point d = new Point("D", 4, 24); points.Add(d);
            Point f = new Point("F", 3, 18); points.Add(f);
            Point h = new Point("H", 1, 6); points.Add(h);
            Point e = new Point("E", 5, 24); points.Add(e);
            Point g = new Point("G", 8, 18); points.Add(g);
            Point j = new Point("J", 14, 6); points.Add(j);

            Segment de = new Segment(d, e); segments.Add(de);
            Segment fg = new Segment(f, g); segments.Add(fg);
            Segment hj = new Segment(h, j); segments.Add(hj);

            List<Point> pts = new List<Point>();
            pts.Add(d);
            pts.Add(f);
            pts.Add(h);
            collinear.Add(new Collinear(pts));

            pts = new List<Point>();
            pts.Add(e);
            pts.Add(g);
            pts.Add(j);
            collinear.Add(new Collinear(pts));

                        parser = new GeometryTutorLib.TutorParser.HardCodedParserMain(points, collinear, segments, circles, onoff);

            given.Add(new GeometricParallel((Segment)parser.Get(de), (Segment)parser.Get(fg)));
            given.Add(new GeometricParallel((Segment)parser.Get(hj), (Segment)parser.Get(fg)));
        }