Euclidea Wiki
Advertisement

The essential idea or method is always grasped intuitively long before any rational argument for the conclusion is devised. — Morris Kline


7L 7E solution

Let A and B be the given vertices.

  1. Construct the circle with center A and radius AB
  2. Construct the circle with center B and radius AB, intersecting circle A at C and D
  3. Construct the circle with center C and radius CD, intersecting circle A at E and circle B at F
  4. Construct the circle with center E and radius BE
  5. Construct the circle with center F and radius AF, intersecting circle E at G and H
  6. Construct the circle with center A and radius AG, intersecting circle B at I and J, with I on the same side as G from AB
  7. Construct the circle with center B and radius BG, intersecting circle A radius AB at K and L, with K on the same side as I from AB
  8. Point at I
  9. Point at K
Euclidea 4

3V solution

Starting from the 7L solution:

  1. Point at J
  2. Point at L
  3. Construct the circle with center G and radius GI, intersecting circle A at M and circle B at N
  4. Construct the circle with center K and radius KM
  5. Construct the circle with center I and radius IN, intersecting circle K at O
  6. Construct the circle with center A and radius AO
  7. Construct the circle with center B and radius BO, intersecting circle A radius AO at P
  8. Point at P

Explanation

Since there are a large number of points involved, it may be easiest to map points to a coordinate system, by using the Pythagorean theorem on right triangles. Start with A at (0,0) and B at (1,0); the midpoint between A and B would be X at (1/2,0). The first two circles at A and B have radius 1, and construct C at (1/2,√3/2) and D at (1/2,-√3/2) because ABC and ABD are equilateral triangles. Then circle C has radius √3, and constructs E at (-1,0) and F at (2,0) (CEX is a 30-60-90 right triangle; we know leg CX is √3/2 and hypotenuse CE is √3, leaving leg EX at 3/2). Circles E and F each have radius 2, and construct G at (1/2,√7/2) and H at (1/2,-√7/2) (EGX is a right triangle with hypotenuse EG 2 and leg EX 3/2, leaving GX to be √7/2). At this point, we have triangle AGX with legs 1/2 and √7/2, which makes hypotenuse AG √2. So the second circles through A and B form 45-45-90 right triangles ABI, ABJ, ABK, and ABL, putting I at (1,1), J at (1,-1), K at (0,1), and L at (0,-1) giving the points needed for the first two squares (where A and B are adjacent vertices, side length 1).

The remaining variant for the 3V solution uses A and B as opposite rather than adjacent vertices (side length √2/2). With some effort, it can be shown that the triangles AGK and KIM are similar, so the ratio AG:AK = √2:1 = IK:KM = 1:KM, so the circle at K has radius KM = √2/2, likewise for the circle at I. From there, it follows that point O lies at (1/2,1/2) at the midpoint of AI and BK, and the final two circles through A and B reflect point O over AB to point P at (1/2,-1/2).

List of Levels
Alpha Angle of 60°Perpendicular BisectorMidpointCircle in SquareRhombus in RectangleCircle CenterInscribed Square
Beta Angle BisectorIntersection of Angle BisectorsAngle of 30°Double AngleCut RectangleDrop a PerpendicularErect a PerpendicularTangent to Circle at PointCircle Tangent to LineCircle in Rhombus
Gamma Chord MidpointTriangle by Angle and OrthocenterIntersection of Perpendicular BisectorsThree equal segments - 1Circle through Point Tangent to LineMidpoints of Trapezoid BasesAngle of 45°LozengeCenter of Quadrilateral
Delta Double SegmentAngle of 60° - 2Circumscribed Equilateral TriangleEquilateral Triangle in CircleCut Two RectanglesSquare Root of 2Square Root of 3Angle of 15°Square by Opposite MidpointsSquare by Adjacent MidpointsSquare by Two Vertices
Epsilon Parallel LineParallelogram by Three VerticesLine Equidistant from Two Points - 1Line Equidistant from Two Points - 2HashShift AngleLine Equidistant from Two LinesCircumscribed SquareSquare in SquareCircle Tangent to Square SideRegular Hexagon
Zeta Point ReflectionReflectionCopy SegmentGiven Angle BisectorNon-collapsing CompassTranslate SegmentTriangle by Three SidesParallelogramNine Point CircleSymmetry of Four LinesParallelogram by Three Midpoints
Eta Sum of Areas of SquaresAnnulusAngle of 75°Line Equidistant from Three PointsHeron's ProblemCircumscribed CircleInscribed CircleCircle Tangent to Three LinesSegment by MidpointAngle IsoscelesExcircle
Theta Perimeter BisectorAngle 54° TrisectionInterior AnglesRegular OctagonTriangle CleaverTorricelli PointCircle Equidistant from Four PointsOctagon from SquareEgyptian Triangle by Side of Length 4Chord Parallel to Segment
Iota Minimum Perimeter - 1Third ProportionalHarmonic Mean of Trapezoid BasesDrop a Perpendicular*Midpoint*Trisection by Trapezoid DiagonalsMinimum Perimeter - 2Harmonic Mean of SegmentsTriangle by Angle and CentroidTriangle Mid-Segment
Kappa Tangent of CircleOuter TangentInner TangentRotation 90°Rotation 60°Segment TrisectionSegment Trisection*Chord TrisectionThree Circles - 1Secant BisectionThree Circles - 2Center of Rotation
Lambda Fourth ProportionalGeometric Mean of SegmentsGolden SectionAngle of 54°Third Parallel LineCircle in AngleGeometric Mean of Trapezoid BasesRegular PentagonPoint Farthest from Angle SidesRatio 1 to 5
Mu Triangle by MidpointsTriangle by Side and CentroidTriangle by Altitude Base PointsTriangle by Tangent PointsTriangle by ExcentersEquilateral Triangle by Centroid and Two PointsRight Triangle by Two Points on LegsHypotenuse and AltitudeHypotenuse and LegIsosceles Triangle by Tangent Points
Nu Circle Tangent to Line and CircleEquilateral Triangle - 2Equilateral Triangle on Concentric CirclesSquare in TrianglePoint Equidistant from Side of Angle and PointCircle Through Two Points and Tangent to LineInscribed Square - 2Line ReflectionSquare by Four Points
Xi Rhombus in TriangleCircle Tangent to Two CirclesTriangle by Tangent Point on HypotenuseParallelogram on Four LinesArbelos
Omicron Midpoint*Copy CircleLine-Circle IntersectionThree Equal SegmentsTangent to Circle*Napoleon's ProblemDrop a Perpendicular**Line-Circle Intersection*Circle with Center on LineAngle of 3°Mickey Mouse
Tutorials
Equilateral TriangleIntersect ToolPerpendicular BisectorMove ToolAngle BisectorPerpendicularParallel LineCompass
Advertisement