Category Archives: geometry

The First Six Books of the Elements of Euclid, by Oliver Byrne (Taschen)

Recently for my birthday I received a copy of Oliver Byrne’s 1847 edition of Euclid’s Elements (pictured at right), republished by Taschen Books in 2010. I’ve only just started reading it, but it’s beautiful and fascinating. Oliver Byrne was a … Continue reading

Posted in books, geometry, pictures | Tagged , , , , , , | 3 Comments

SMT solutions

In my last post I described the general approach I used to draw orthogons using an SMT solver, but left some of the details as exercises. In this post I’ll explain the solutions I came up with. Forbidding touching edges … Continue reading

Posted in computation, geometry | Tagged , , , , , , , ,

Drawing orthogons with an SMT solver

I’m long overdue to finish up my post series on orthogons as promised. First, a quick recap: An orthogon is a polygon with only right angles. Two orthogons are considered the same if you can turn one into the other … Continue reading

Posted in computation, geometry | Tagged , , , , , , , , , | 1 Comment

Chromatic number of the plane roundup

I’ve had fun writing about the Hadwiger-Nelson problem to determine the chromatic number of the plane, but I think this will be my last post on the topic for now! More 7-colorings Of course, the original point of the hexagonal … Continue reading

Posted in geometry | Tagged , , , , , , , , | 7 Comments

Some words on PWW #22

There are lots of patterns to be found in the picture from my previous post! This is a really remarkable tiling. Here are a few special properties I know of: First of all, I hope you realized that the pattern … Continue reading

Posted in geometry, pattern | Tagged , , , | 9 Comments

Post without words #22

Image | Posted on by | Tagged , , , , , | 13 Comments

The chromatic number of the plane, part 4: an upper bound

In my previous posts I explained lower bounds for the Hadwiger-Nelson problem: we know that the chromatic number of the plane is at least 5 because there exist unit distance graphs which we know need at least 5 colors. Someday, … Continue reading

Posted in geometry, proof | Tagged , , , , , ,