Saturday, December 31, 2016

Free Speech Among The Deplorables


Carl Paladino, a wealthy Buffalo businessman, likes to send racist emails. Several of these were published (NSFW) when he ran for Governor of New York in 2010. This month's stir was bigger. Paladino apparently wrote a private reply to a newspaper's year-end quiz, intending to amuse his friends with it, but then he mistakenly sent the reply to the newspaper instead. Here are Paladino's published New Year's wishes:

In response to these comments, many in Buffalo have demanded that Paladino be removed from the city's school board, to which he was re-elected in May. The board has now voted 6–2 to ask the state Education Commissioner to remove him.

Personally, I believe Carl Paladino lacks the baseline character required of an educator. But whether the state's regulations, and the political forces arrayed on all sides, will actually permit his removal is something Commissioner Elia will have to judge. Jim Heaney, a Buffalo journalist and apparently no friend of Paladino's, has argued that executive action isn't the best approach in the present case. Among other ideas, Heaney suggests calling a special election for Paladino's board seat. If that were feasible, it sounds to me like a good idea: voters gave Paladino his authority, and ideally voters should be the ones to take it away. And I do think Paladino would lose…in May, he was nearly unseated by a high school student.


Pamela Ramsey Taylor, director of a county nonprofit group in West Virginia, was removed by her board of directors in connection with a state investigation that began when Taylor posted a racist slur about Michelle Obama to her Facebook page. Mayor Beverly Whaling of Clay, West Virginia, who had commented approvingly on Taylor's post, quickly resigned her office as well.

What these people wrote is cruel and disgusting, and their apologies were insufficient. (Taylor's is here.) Yet was it fair for Whaling and Taylor to lose their jobs over this? Should the p.c. police be trawling Facebook for thought-crimes to punish people for IRL?

While I do object to p.c. thought-policing, that isn't a good description of what happened here. Mayor Whaling resigned under public pressure: those are the breaks. When you're an elected politician, you serve at the whims of the Mob, and your speech has a lot to do with it. And as I understand it, Taylor was removed in the first instance not for the content of what she posted, but rather because her post raised reasonable concerns in the Governor's office about the quality of service that Taylor's agency was providing to county residents under her leadership. And let's be real here: if you're a county-level services provider and the Governor of the state knows you by name, you done fucked up.


Milo Yiannopoulus, a controversial right-wing pundit, recently signed a lucrative publishing contract with Threshold Editions, an imprint of Simon & Schuster. This has led some people on the Left to contemplate a publisher boycott. The Chicago Review of Books tweeted this:

I'll be interested to hear what the American Library Association says about this. The ALA hosts an annual campaign called "Banned Books Week", and although the word "banned" usually overstates what the ALA is criticizing, the basic idea that animates Banned Books Week is excellent:
Banned Books Week brings together the entire book community; librarians, booksellers, publishers, journalists, teachers, and readers of all types, in shared support of the freedom to seek and to express ideas, even those some consider unorthodox or unpopular.
By (literally) banning all of Simon & Schuster's books from its pages, the Chicago Review of Books directly contradicts these aims.

I hope this decision is reversed; it isn't even consistent with the journal's stated mission:
We seek to explore the connections between literature, current events, and pop culture. Our contributors are as diverse as the books we cover, from established authors, journalists, and writing professors to students and freelance critics.
What happens when even our literary journals lose faith in the power of words? The Chicago Review ought to fight Yiannopoulos's book by doing what it does best: writing a review of it.

Friday, December 23, 2016

Matthew 2:1-12

My sister has sent us a beautiful trifold Christmas card that opens up to show a 15th century painting of the adoration of the magi. As my wife and I were admiring the painting, we had to admit that neither of us really knew the details of this Bible story. So we consulted our King James Version. We were surprised by what we read. For example, I hadn't known that before visiting Jesus, the wise men checked in with Herod when they arrived; nor had I known that the news they brought raised an alarm in all of Jerusalem. I hadn't known that Herod tried to use the wise men to locate the infant, nor that the wise men sneaked out of town rather than tell Herod where Jesus lived. The story is far more ominous than I had understood. (Herod's instruction to the wise men is especially chilling to read.)

In case you prefer a more accurate translation than the KJV, below I have collected together the ESV, NET, and NRSV. These differ among themselves only in small ways.

And for your enjoyment as we head into the Christmas weekend, here is the beautiful painting from my sister's card: Adoration of the Magi, by Gentile da Fabrano (1385–1427). A larger image is here.

Now after Jesus was born in Bethlehem of Judea in the days of Herod the king, behold, wise men from the east came to Jerusalem, 2saying, "Where is he who has been born king of the Jews? For we saw his star when it rose and have come to worship him." 3When Herod the king heard this, he was troubled, and all Jerusalem with him; 4and assembling all the chief priests and scribes of the people, he inquired of them where the Christ was to be born. 5They told him, "In Bethlehem of Judea, for so it is written by the prophet

6"'And you, O Bethlehem, in the land of Judah,
    are by no means least among the rulers of Judah;
for from you shall come a ruler
    who will shepherd my people Israel.'"

7Then Herod summoned the wise men secretly and ascertained from them what time the star had appeared. 8And he sent them to Bethlehem, saying, "Go and search diligently for the child, and when you have found him, bring me word, that I too may come and worship him." 9After listening to the king, they went on their way. And behold, the star that they had seen when it rose went before them until it came to rest over the place where the child was. 10When they saw the star, they rejoiced exceedingly with great joy. 11And going into the house, they saw the child with Mary his mother, and they fell down and worshiped him. Then, opening their treasures, they offered him gifts, gold and frankincense and myrrh. 12And being warned in a dream not to return to Herod, they departed to their own country by another way.

        —ESV, available online.

1After Jesus was born in Bethlehem in Judea, in the time of King Herod, wise men from the East came to Jerusalem 2saying, "Where is the one who is born king of the Jews? For we saw his star when it rose and have come to worship him." 3When King Herod heard this he was alarmed, and all Jerusalem with him. 4After assembling all the chief priests and experts in the law, he asked them where the Christ was to be born. 5"In Bethlehem of Judea," they said, "for it is written this way by the prophet: 

   6'And you, Bethlehem, in the land of Judah,
   are in no way least among the rulers of Judah,
   for out of you will come a ruler who will shepherd my people Israel.'"

7Then Herod privately summoned the wise men and determined from them when the star had appeared. 8He sent them to Bethlehem and said, "Go and look carefully for the child. When you find him, inform me so that I can go and worship him as well." 9After listening to the king they left, and once again the star they saw when it rose led them until it stopped above the place where the child was. 10When they saw the star they shouted joyfully. 11As they came into the house and saw the child with Mary his mother, they bowed down and worshiped him. They opened their treasure boxes and gave him gifts of gold, frankincense, and myrrh. 12After being warned in a dream not to return to Herod, they went back by another route to their own country.

        —NET, available online.

1In the time of King Herod, after Jesus was born in Bethlehem of Judea, wise men from the East came to Jerusalem, 2asking, "Where is the child who has been born king of the Jews? For we observed his star at its rising, and have come to pay him homage." 3When King Herod heard this, he was frightened, and all Jerusalem with him; 4and calling together all the chief priests and scribes of the people, he inquired of them where the Messiah was to be born. 5They told him, "In Bethlehem of Judea; for so it has been written by the prophet: 6"And you, Bethlehem, in the land of Judah, are by no means least among the rulers of Judah; for from you shall come a ruler who is to shepherd my people Israel.' " 7Then Herod secretly called for the wise men and learned from them the exact time when the star had appeared. 8Then he sent them to Bethlehem, saying, "Go and search diligently for the child; and when you have found him, bring me word so that I may also go and pay him homage." 9When they had heard the king, they set out; and there, ahead of them, went the star that they had seen at its rising, until it stopped over the place where the child was. 10When they saw that the star had stopped, they were overwhelmed with joy. 11On entering the house, they saw the child with Mary his mother; and they knelt down and paid him homage. Then, opening their treasure chests, they offered him gifts of gold, frankincense, and myrrh. 12And having been warned in a dream not to return to Herod, they left for their own country by another road. 

        —NRSV, available online

Tuesday, December 20, 2016

Holiday Challenge 2016

Welcome to the 2016 Holiday Challenge! This year, I offer a menu of choices—try any or all of them. Email your answers to

Challenge 1

Let's play rock/paper/scissors! I have made my throw already; it's written down in a google doc. To play, just decide what your throw will be and send it in an email. (Easy, right?)

Challenge 2

Find the word CANDY in this candy cane word search. Email a photo of your solution.

Challenge 3 (quoted verbatim from Lewis Carroll)

A and B begin, at 6 a.m. on the same day, to walk along a road in the same direction, B having a start of 14 miles, and each walking from 6 a.m. to 6 p.m. daily. A walks 10 miles, at a uniform pace, the first day, 9 the second, 8 the third, and so on: B walks 2 miles, at a uniform pace, the first day, 4 the second, 6 the third, and so on. When and where are they together?

Challenge 4

Like You'd Understand, Anyway. That's the title of a 2007 book of short stories by Jim Shepard. It's an unusual title because its shortest word is four letters long. Can you think of any other published books (fiction or nonfiction) in which the shortest word in the title is at least four letters long? The more words in the title, the better.


I have made a new puzzle book this year, Word Games 5I'll send a copy to:

  • The first person who beats me in rock/paper/scissors on their first try;
  • The first person who finds CANDY in the word search;
  • The first person who solves Lewis Carroll's problem;
  • The first person who sends another published book title of at least four words with each word at least four letters long. 

Plus, everybody who attempts any of the challenges will be entered into a drawing to win a copy of the book.

Enjoy! Contest ends December 31st at 11:59:59 p.m. Eastern time.

Sunday, December 11, 2016

Points In A Circle Problem: Summary To Date

The problem we've been considering is,
Place N points in the unit disk in such a way as to minimize the greatest possible area of a triangle in the disk that doesn't contain any of the points.
Note that the sense of 'containing a point' is strict: if a point lies on the boundary of a triangle, the triangle is not considered to contain the point. (Again I take the extrema to exist; this seems safe given the closed and bounded features of the problem.)

Here is a summary of where things stand:
  • For N = 1, placing the obstacle at the center of the disk results in a greatest feasible triangle area of 1. For any other location of the obstacle, there exists a feasible triangle of area greater than 1. Thus, the center of the disk is the unique solution to the N = 1 problem.
  • For N = 2, placing one obstacle at the center of the disk and the other obstacle anywhere in the disk results in a greatest feasible triangle area of 1. For any other arrangement of the obstacles, there exists a feasible triangle of area greater than or equal to 1. Thus, the center of the disk and an arbitrarily located second point together represent a solution (not unique) to the N = 2 problem. 
  • For N = 3, placing the three obstacles in the locations we have been denoting O1, O2, and O3 results in a greatest feasible triangle area of 0.8286369…. Our conjecture, not yet proven, is that no arrangement of three obstacles results in a smaller value than this for the greatest feasible triangle area.
A more economical way to summarize is to generalize the notation we used in the N = 2 solution. Given N obstacle points X1, …, XN in the closed unit disk, let

aN(X1, …, XN)

denote the greatest possible area of a triangle in the disk that doesn't contain any of the Xi. Let

aN* = minimum possible value of aN(X1, …, XN).

Then for each given value of N, our problem is to calculate aN* and find N points Xi* for which aN(X1*, …, XN*) = aN*.

Using this notation, our summary is:

  • a1* = 1 and a1(X) = 1 if and only if X = O, the center of the disk.
  • a2* = 1 and a2(X1, X2) = 1 if X1 = O or X2 = O.
  • a3* ≤ a3(O1, O2, O3) = 0.8286369….

It's been a lot of work for just a handful of equations! Still, getting to these results has been fun, and has required growing amounts of insight about the optimization. Some of this likely generalizes to arbitrary numbers of obstacles in arbitrary locations—such as the idea that if you know two vertices in a greatest-area feasible triangle, then the third vertex has to be one of a finite number of possibilities.

I will keep thinking about the N = 3 problem, although it's hard not to cheat and start exploring N = 4. Would any of my readers like to make a conjecture for the best obstacles in the N = 4 case? I'll stay out of the way while you work on it. Email any thoughts to


A note about N = 3. The three obstacles O1, O2, and O3 are each a distance 0.32096… from the center of the disk. I have been using decimals and dot-dot-dot to express this distance, but it can also be expressed exactly as the real root of the cubic polynomial 5x3 − 4x2 + 7x − 2, namely

And the resulting greatest area (0.8286369…) can also be expressed exactly as the positive root of the polynomial 160000x6 − 265824x4 +  412857x2 − 209952, namely

To calculate these values, I first generalized the coordinates of O1, O2, and O3 to be functions of a variable radius r. Then I calculated the vertices of the spotlight triangle and the edge triangle in terms of r. Because the spotlight triangle and the edge triangle share a common base, the two triangles have equal areas when their altitudes are equal. The equal-altitude condition turns out to be equivalent to 5r3 − 4r2 + 7r − 2 = 0.

(Note, even Mathematica won't be able to solve the equal-altitude equation unless you are careful to orient your diagram so that the common base is horizontal. Doing so leads to much simpler expressions in r.)

Book Review: A Great Reckoning

A Great Reckoning

(the 12th Inspector Gamache novel)

By Louise Penny

Minotaur Books, 2016

Hardcover, 386 pages

In 2014, I called Louise Penny's How the Light Gets In "a triumph in the genre and an absorbing novel altogether." A Great Reckoning is a regression to the mean for the Inspector Gamache series, but that's still a pretty high mean.

It is easy to draw parallels between Louise Penny's Inspector Gamache series and the Adam Dalgleish series of books by P.D. James. James's hero and Penny's are similarly principled, brave, charismatic, and soulful. Both command teams of younger investigators who receive lessons in life and work from their mentors. The cases described in the books take both detectives from their city offices to more intimate settings—Gamache drawn somehow repeatedly to the cozy village of Three Pines, Dalgleish posted to a variety of English locations, typically with a touch of the gothic about them.

Phlegmatic, Francophone, and fulfilled in monogamy, Armand Gamache is also an homage to George Simenon's Inspector Jules Maigret. The Maigret stories broke with the "puzzle story" tradition of early mystery novels by putting emotional motivations and psychological insight at the center of sleuthing. Penny's books are also intensely psychological, though her practice of spelling everything out could not be more different from Simenon's show-don't-tell minimalism. So much explicitness on Penny's part leaves her readers with little need, or room, to discover meaning on their own.

The emotional themes can be treacly, verging on self-help—the kind of thing one hears in a second-rate commencement speech. But I don't mind it much. Sometimes we need help, and sometimes it can only come from ourselves. Read the Acknowledgments section at the end of this book before you judge.

A good sentence in a novel might be complex (P.D. James) or simple (George Simenon); but either way, sentences are the best way to write literature. The writing in A Great Reckoning includes many staccato sentence-fragments. This is a difficult technique that sometimes succeeds in enhancing drama but sometimes fails by sounding mawkish and theatrical.
But on the village green itself stood the the three tall pines from which the village took its name. Vibrant, straight and strong. Evergreen. Immortal. Pointing to the sky. Daring it to do its worst. Which it planned to do. 
I can't read this and not hear a campily ominous "Soon" as fragment number seven.
He found them in the weight room, where Leduc worked out, searching the lockers. For clues.
How about, "searching the lockers for clues"? Or just: "searching the lockers"? From the context—remember, this is a crime novel—it's pretty clear that these these people are searching for clues. That makes the extra emphasis not just melodramatic, but, again, campy. The temptation to add a silent "duh-duh-duuuuuh" to the end is, to me, irresistible.
A cup of tea sat on his desk beside a couple of chocolate chip cookies. Uneaten.
Well, sure—had the cookies been eaten, they would be in Gamache's stomach, not on his desk. Untouched is the word Penny wanted here. 
Amelia sat forward, leaning toward the stage. Even after the Commander had disappeared. She stared at the empty space once occupied by him.
A good sentence here would have been more effective and more considerate of the reader.

There are some other problems with the writing, such as when two people walk into a bistro brushing wet snow from their coats, and we are confusingly told that outside the bistro it is sleeting, not snowing. In the otherwise effective opening scene, a careful description of Gamache's study omits to tell us that his dog Henri is the room with him, so that Henri bursts awkwardly into the reader's mind mid-stride as he follows Gamache out of the study. One never has such experiences when reading George Simenon or P.D. James.

Of course the writing is also good in places. I laughed when it was said of a profusely sweating man, "If people were mostly water, then this young man was more human than most." And here is a good passage from an exchange between Gamache and his former boss, the corrupt Michel Brébeuf:
Michel Brébeuf looked at Gamache with undisguised tenderness.
But what, Armand asked himself, did that tenderness itself disguise? What was lurking, swishing its tail, in those depths?
(The "swishing its tail" is nice.) The character of Brébeuf exerts strong forces on Gamache, not only because of his dark power, but also because the two were childhood friends. Gamache's vulnerability to Brébeuf's dangerous pull is elegantly conveyed here:
Gamache listened, but didn't nod. Didn't agree or disagree. He was bending much of his will to disengaging from Brébeuf, while still listening closely.
It shouldn't be passed over that Penny, like James a female author, succeeds very well at drawing her main character, with all his complex masculine traits. Relations between men are also well observed, as in this brief exchange between Gamache and Paul Gélinas, a Deputy Commissioner of the Royal Canadian Mounted Police, recently widowed.
(Gélinas speaking) "Brébeuf wouldn't kill the only person not just willing but happy to keep him company. What did he call Leduc?"
(Gamache answering) "His life raft. And now? Are you still lonely?"
     "I was talking about Brébeuf."
He paused to let Gélinas know he was listening, if he wanted to talk. The RCMP officer said nothing more, but his lips compressed, and Gamache turned away to give the man at least the semblance of privacy.

Of the half-dozen or so Inspector Gamache novels that I've read, few match the artistic standard set by most Simenon and James novels. Some ingredients are there, with lifelike characters and cases that put interesting themes on the table. But the books also have limitations that prevent them from rising above the status of genre fiction. Penny might be perfectly comfortable as an excellent genre author, but I wonder if a more forceful literary editor could help her transition from writing good books to writing great ones.

Read this review on Amazon.

In case you missed it: My list of favorite genre fiction.

Sunday, December 4, 2016

Points In A Circle Problem: The Best Triangles for the Conjectured Best Obstacles

Previously we established that for the obstacles O1, O2, and O3 shown here, the greatest-area feasible triangle must have all three of its vertices on the boundary of the disk.

(This needn't be the case for larger numbers of obstacles, as suggested by this N = 400 example.)

In today's post, we'll (finally!) solve the problem of finding the greatest-area triangle that doesn't strictly contain O1, O2, and O3. Later on, I'll write another post summarizing where things stand for the Points In A Circle Problem as a whole.

The starting point for today generalizes an observation from the solution to the N = 1 problem, as follows:

If two vertices are known in a greatest-area feasible triangle, then the remaining vertex must be one of a finite number of possibilities.

To see this, let obstacle points X1, …, XN be given in any arrangement. (The figure below shows an example for N = 3.) Given two vertices A and B in a greatest-area feasible triangle ABC (recall that A and B are on the disk boundary by hypothesis), define A1 as the projection of A through X1 to the disk boundary on the other side, and define B1 as the projection of B through X1 to the disk boundary on the other side; and similarly for A2, …, AN and B2, …, BN.

If vertex C (also on the disk boundary, by hypothesis) were located inside the proper arc A1B1, then triangle ABC would contain obstacle X1. Conversely, if vertex C were not inside the proper arc A1B1, then triangle ABC would not contain obstacle X1. The same is true for any other obstacle, and hence triangle ABC strictly contains obstacle Xi if and only if C belongs to the proper arc AiBiThe set of feasible locations for vertex C is therefore the complement of the union of all the proper arcs AiBi. This is, itself, a set of (closed) arcs on the boundary. 

Now, given a segment AB in the disk, we maximize the area of a triangle on base AB by putting the third vertex as far as possible perpendicularly from AB, subject to whatever constraints operate.

For example, if the only constraint is that the triangle must belong to the disk, then we maximize the area of triangle ABC by making vertex C one of the two points Q and Q' on the disk boundary where the tangent to the boundary is parallel to AB. These points are locally furthest from base AB (measuring distances perpendicularly).

Note that diameter QQ' bisects chord ab, so that aQ is congruent to bQ and aQ' is congruent to bQ'. Triangles abQ and abQ' are both isosceles.

The feasible region for vertex C is a union of closed arcs. Suppose first that C is in the interior of one of these arcs. Then, we can slide C back and forth by a small amount within that arc.

By the altitude property, either the area of the triangle will increase and decrease to first order as C slides back and forth, or else vertex C occupies one of the two points Q, Q' on the boundary where the sliding motion runs parallel to AB and thus doesn't change the area to first order. But if triangle ABC is a greatest-area feasible triangle, then the area can't increase to first order by sliding vertex C. Therefore, if triangle ABC is a greatest-area feasible triangle, then C must be one of the two points Q and Q', or else an endpoint of one of the feasible arcs. This is a finite set of possibilities for vertex C, determined by A, B, and the obstacles X1, …, XN.

Next we generalize another observation from the N = 1 solution:

If a greatest-area feasible triangle doesn't have any obstacle points on its boundary, then the triangle is an inscribed equilateral triangle.

This observation is corollary of the previous one, since the only possibilities for the third vertex are the two special places where sliding the third vertex doesn't gain you any area. The upshot is that the triangle must be isosceles on each of its bases, and therefore equilateral.

With the two italicized conclusions in hand, we can specialize to the case of obstacles O1, O2, and O3. To begin with, an inscribed equilateral triangle is clearly infeasible for these obstacles, because it would contain all three obstacle points. Thus, a greatest-area feasible triangle for O1, O2, and O3. must have some side touching some obstacle point. Let's say without loss of generality that side AB touches O1.

This condition is enough to allow us to parametrize the space of possibilities by a single variable, say the angle θ in this diagram, which ranges from 0 to 90 degrees.

Given a θ value, A and B are determined, as are the finitely many possible candidates for the third vertex C. These candidates are denoted A2, A3, B2, B3, Q, and Q'. Here's an animation showing how the players move as the angle θ changes. Points leading to infeasible triangles are crossed out. 

For each angle θ, there are in principle six candidate triangles to consider. It isn't hard to determine their areas as explicit functions of θ. I began by writing the coordinates of vertex B as functions of θ:

Bx = cos θ [[1 − a02cos2 θ]] − a0 sin θ cos θ

By = cos θ [[1 − a02cos2 θ]] + a0 cos2 θ

where [[ … ]] stands for a radical (i.e., square root).

Then I defined a function on points as follows. For a point P on the boundary of the disk and a point X in the interior, let F(P, X) denote the point on the boundary obtained by projecting from P through X all the way to the boundary. This is a useful function because given vertex B, we can use the function F to generate all but two of the other points needed for the problem.

A = F(B, O1)
A2 = F(A, O2)
A3 = F(A, O3)
B2 = F(B, O2)
B3 = F(B, O3).

To generate the remaining two points, Q and Q', define the projection onto the disk boundary for points M ≠ 0 by G(M) = M/||M||. Then for θ < 90°, Q = G(½(A + B)) and Q' = G(−½(A + B)). For θ = 90°, set Q = (−1, 0) and Q' = (1, 0).

To obtain an explicit formula for F(P, X), solve the equation ||P + t(X − P)||2 = 1 for t (the equation is linear after you discard the root t = 0; don't forget that ||P|| = 1), and plug the result into ||P + t(X − P)|| to obtain

F(P, X) = P + 2(1 − X•P)||X − P||−2(X − P)

where X•P denotes the inner product. With this explicit expression for F, the coordinates of all the points can be calculated explicitly as functions of θ, and hence all the candidate triangle areas can also be calculated.

If we simply graph the areas of triangles ABA2, ABA3, ABB2, ABB3, ABQ, and ABQ' as functions of θ on a single set of axes, we get a complicated picture:

Some of these areas are quite large; however, the largest areas belong to infeasible triangles. In order to sort all this out, let's chunk the θ range into parts, each with their own state of affairs.

1. When you watched the animation, you might have noticed the three points A, O2, and O3 becoming collinear at around 26°—actually, 26.0016…°—a value we'll denote by θ*. At this angle, points A2 and A3 coincide, and the feasible triangles are ABQ, ABB3, and ABA3

Triangle ABA3 is none other than the spotlight triangle, with area 0.828637…. The other two feasible triangles, ABB3 and ABQ, have smaller areas (0.452… and 0.681…, respectively). 

So for θ = θ*, the best triangle is the spotlight triangle.

2. For 0 ≤ θ < θ*, the order of the points around the disk boundary is stable (B, Q, A, B3, B2, Q', A3, A2), and the feasible triangles are ABQ, ABB3, and ABA2. The figure shows the example of 17°.

Here is a graph of how the three feasible triangle areas vary over the range 0 ≤ θ < θ*.

Over this range, none of the feasible triangles reaches or exceeds the benchmark 0.828637… (shown as a dashed line).

3. For θ* < θ < 60°, the ordering is stable (B, Q, A, B3, B2, Q', A2, A3), and the feasible triangles are ABQ, ABB3, and ABA3. The figure shows the example of 48°.

Here is a graph of how the three feasible triangle areas vary over the range θ* < θ < 60°.

Over this range, none of the feasible triangles reaches or exceeds the benchmark 0.828637…. 

4. At θ = 60°, A coincides with B3 and B coincides with A3, making B, A, O1, and O3 collinear, and giving nontrivial feasible triangles ABQ, ABB2, and ABA2.

The feasible triangles for θ = 60° are none other than the spotlight triangle and the edge triangle, which (thanks to the particular choice of a0) have equal areas, namely the benchmark area 0.828637….

5. For 60° < θ < 90°, the ordering is stable (B, A3, Q, B3, A, B2, Q', A2), and the feasible triangles are ABA2, ABA3, ABB2, and ABB3.

Here is a graph of how the four feasible triangle areas vary over the range 60° < θ < 90°.

Over this range, none of the feasible triangles reaches or exceeds the benchmark 0.828637…. 

6. At θ = 90°, the feasible triangles are ABA2, ABA3, ABB2, and ABB3

Triangles ABA2 and ABA3 have equal areas 0.596…, and triangles ABB2 and ABB3 have equal areas 0.453…. None of them bests the benchmark 0.828637….

Altogether then, among feasible triangles over the entire θ range, the spotlight triangles and edge triangles are best. 


The triangle of greatest area that doesn't strictly contain any of the obstacles O1, O2, or O3 is either a spotlight triangle or an edge triangle, with area 0.828637….

This settles the question for these particular obstacles, and it provides an upper bound for the problem of placing three points in the unit disk in such a way as to minimize the greatest possible area of a triangle in the disk that doesn't contain any of the points.

Saturday, December 3, 2016

Two Rights and a Wrong

My kids liked these puzzles. In each group of three sentences, two sentences are right and one sentence is wrong. Which sentence is wrong?


A flying fox is a fox.
A flying fish is a fish.
A flying squirrel is a squirrel.


A spider monkey is a monkey.
A rhinoceros beetle is a beetle.
A tarantula hawk is a hawk.


A glowworm is not a worm.
A whale shark is not a shark.
A butterfly is not a fly.


Bluegrass is a kind of grass.
Acorn squash is a kind of squash.
Venus fly-traps are from Venus.


An anglerfish is a fish.
A silverfish is a fish.
A puffer fish is a fish.

Sunday, November 27, 2016

Correctly Rated Things

Following up on my earlier posts about overrated things and underrated things, I'll complete the sequence with four correctly rated things:

Ben Affleck. Correctly admired for his best work, correctly jeered at for his worst, and lusted after by many women, who in that respect are also correct.

Starbucks. The views of people mistakenly devoted to Starbucks perfectly balance the views of people mistakenly disdainful of it, which averages out to: correct.

Scotch whisky. A product so good—and, in addition, so correctly rated—that even when people tell you they don't like it, they often add that they wish they did.

Tuscany. In the villages you have food and wine and long views, and in the cities you have art and architecture: and all of it is wonderful. There's no contrarian take on Tuscany.

Bonus correctly rated thing: Tornadoes. They are as fascinating as they are awful…as blind as they are malevolent…as mathematical as they are biblical. Nobody ever had an original thought about a tornado—or an incorrect one.

Points In A Circle Problem: Analyzing Scenario (iii)

Given three distinct obstacle points located anywhere inside the unit disk, we established previously that a greatest-area feasible triangle must satisfy one among the following three conditions:

(i) All three vertices of the triangle are on the boundary of the disk.

(ii) Exactly two vertices are on the boundary of the disk, and both sides meeting the interior vertex have one or two obstacle points on them.

(iii) Each proper side has one obstacle point on it.

Previously we also investigated scenario (ii) for the particular case of the conjectured optimum trio of obstacle points—let's call these obstacle points O1, O2, O3 from now on. By an explicit calculation, we determined that for these particular obstacles, all triangles in scenario (ii) have area less than 0.828…, the area of the spotlight triangle (and the edge triangle). Thus, the global maximizer isn't in class (ii).

Today we'll investigate scenario (iii). This is an interesting scenario, because it relates to a famous set of problems about triangles inscribed in triangles. We won't use any of that machinery, however.

We'll handle scenario (iii) in three subcases:

(iii)(a). All three vertices of the triangle are in the interior of the disk.

(iii)(b). Exactly two vertices of the triangle are in the interior of the disk.

(iii)(c). Exactly one vertex of the triangle is in the interior of the disk.

Scenario (iii)(a). All three vertices of the triangle are in the interior of the disk.

Given triangle ABC with obstacles X on BC, Y on CA, and Z on AB, we can (for example) slide vertex B slightly along AB (away from A), and simultaneously slide vertex C slightly along CA (toward A), using obstacle X as a "hinge" of sorts.

The triangle remains feasible throughout the sliding operation, because the obstacles remain on the proper sides. We also notice that if X is not the midpoint of BC, then the area of the triangle does not remain stationary. If XB is longer than CX, then the area increase due to sliding B exceeds the area decrease due to sliding C. Hence, if ABC is a greatest-area feasible triangle, then X must be the midpoint of BC.

We could have performed the sliding operation using any obstacle point as the "hinge," thus each obstacle must be the midpoint of the side it belongs to. (That is, the obstacle triangle XYZ is the medial triangle of ABC.)

So far we've made no assumption about the obstacle points other than non-collinearity, but now let's specialize to the case of the conjectured optimum trio of obstacles. If O1 be the midpoint of BC, O2 be the midpoint of CA, and O3 be the midpoint of AB, it follows from the fact that O1O2O3 is equilateral that ABC is also equilateral.

Thus, if ABC is a greatest-area feasible triangle with one obstacle on each side, and if all three vertices of ABC are in the interior of the disk, then up to congruence, ABC could not be other than this triangle:

However, this triangle only has area 0.53529..., which is less than the spotlight and edge triangles (0.82863...). This shows that the global maximizer isn't in class (iii)(a).

Scenario (iii)(b). Exactly two vertices of the triangle are in the interior of the disk.

By reasoning similar to the above (using O1 as a hinge), O1 must be the midpoint of BC. This allows us to parametrize triangle ABC by a single variable—say, the angle θ in this diagram.

The length r is actually a function of θ because, given the value of θ, r is to be chosen so that CO2 and BO3, extended, meet on the boundary of the disk.

Here is an animation showing how the family of triangles evolves over the range of θ values (0 to 60 degrees).

It's clear from the animation that r(θ) grows too slowly to offset the rapid decrease in altitude that results from rotating the top side. Thus, it makes sense that the area numbers decrease throughout the motion.

At this point the natural thing to do would be to express the area of triangle ABC as a function of θ. However, I did not actually derive r(θ) or the coordinates of vertex A as functions of θ. (The graphics above were generated using a combination of explicit functions and a root-finding routine.) Instead of calculating the area of triangle ABC, I decided to bound the area by calculating instead the area of a larger region, G, consisting of triangles C*O1O2, B*O1O3, O1O2O3, and O2O3Q, where vertices C*, B*, and Q lie on the boundary of the disk as shown.

For any angle θ, triangle C*O1O2 exceeds triangle CO1O2 in area, triangle B*O1O3 exceeds triangle BO1O3 in area, and triangle O2O3Q exceeds triangle O2O3A in area (the altitude from O2O3 is as great as possible because Q is at the bottom of the disk).

The lengths O1C* and O1B* are the positive roots of the quadratic equation r2 ± 0.64197 sin(θ) r − 0.896982. These are easily expressed as functions of θ, r±(θ), which makes the area of region G easy to express in closed form:

area(G) = ½r+(θ)s sin(π/3 + θ) + ½r(θ)s sin(π/3 − θ) + const.,

where s = 0.555925… is the known side of equilateral triangle O1O2O3.

And here's a graph of area(G). The maximum value is 0.823….

Since area(G) ≤ 0.823… and since the area of triangle ABC is less than area(G), we have that the area of triangle ABC is less than 0.823…. That value in turn is less than the area of the spotlight and edge triangles (0.82863…), which shows that the global maximizer isn't in class (iii)(b).

Scenario (iii)(c). Exactly one vertex of the triangle is in the interior of the disk.

This family of possibilities is also parametrized by a single variable—say, the y-coordinate of vertex C, as shown in this animation:

By drawing a careful diagram and repeatedly applying of the law of cosines, the law of sines, and the angle sum of a triangle, I was able to solve triangle ABC in terms of the variable y.

The graph of the area function as a function of y agrees with the behavior illustrated in the animation.

The greatest area occurs at the maximum y value, at which point the triangle ABC is isosceles.

The best area in class (iii)(c), 0.645389…, is less than the area of the spotlight and edge triangles (0.82863…), which shows that the global maximizer isn't in class (iii)(c).

And that completes the analysis of scenario (iii), at least for the particular obstacles O1, O2, and O3.

Together with the previous analysis of scenario (ii), this leads to our conclusion for today:


For the three obstacles O1, O2, and O3, the greatest-area feasible triangle has all three of its vertices on the boundary of the disk.

Thursday, November 24, 2016

My Year's Best List 2016

The best things that I read, watched, listened to, and otherwise ingested in 2016!

(Previous lists: 201520142013.)

Best Books—Fiction

Karl Ove Knausgaard, My Struggle: Book 2 (2013)

I began this groundbreaking series with Book 4, but beginning with Book 2 would also be good. In fluent prose, Knausgaard recounts the events of his mid- to late-thirties, addressing such themes as love, parenting, masculinity, obligation, and modern values.

In Book 2 we learn how My Struggle arose from Knausgaard's life, from his painful artistic struggles, and from his growing dissatisfaction with fiction and the traditional novel form. The unstated subject of this series appears to be reality itself—or the means by which art achieves verisimilitude.

Rachel Cusk, who posited another brilliant solution to the problem of the novel, reviews the book insightfully here. And here is a second review in the NY Times.

Buy it online: My Struggle: Book 2

Patrick Modiano, Young Once (1981)

Modiano convincingly conveys character, period, and place as he examines a critical year in the formation of two lives. Louis and Odile meet at age nineteen and drift together through their early adulthood in postwar Paris. Young Once offers enough plot to maintain the reader's interest, but plot isn't the reason people read Modiano, an author whose simple prose imbues certain moments with an almost unbearable emotional depth.

I don't see many reviews available online; Modiano's 2014 Nobel win seems to have caught the English-speaking literary world by surprise.

Buy it online: Young Once

Honorable mention: Chris Bachelder, The Throwback Special.

This poignantly comic, well written novel would make an excellent gift for your once-athletic husband (or from your once-athletic husband). Here is the NY Times review.

Buy it online: The Throwback Special.

Best Book—Children's

William Steig, Abel's Island (1976)

Browsing in a used bookstore while on vacation, I found Abel's Island by William Steig (1907–2003), author-illustrator of Sylvester and the Magic Pebble, Amos & Boris, Shrek!, and other beloved children's books. Abel's Island is about a wealthy, married mouse who becomes separated from his wife and his comforts by a violent storm—and by a fateful act that ultimately fuses the material with the transcendent. About 120 pages long, the book has charming illustrations, some terrific writing, and the author's usual aversion to baby-talk.

The edition I bought was the 1987 ninth printing in hardcover from Farrar/Straus/Giroux. I don't see that version available online, but there have been many editions published since then.

Buy it online: Abel's Island.

Best Books—Nonfiction

Dominick Tyler, Uncommon Ground: A Word-Lover's Guide to the British Landscape (2015). Tyler, a photographer, traveled Britain to produce this treasury of words that name features of the landscape. Often ancient, sometimes unpronounceable, his lexicon evokes by turns the bucolic, the desolate, the sylvan, and even the sinister. Tyler is interested in the way words allow us to attach to reality in general and to the landscape in particular. His pensive mini-essays, and his artful yet unpretentious photographs, offer pure browsing pleasure while advancing his proposition that "rebuilding our landscape vocabulary might enable more complicated conversations about nature to take place." Here is the Guardian review including a few of the photos. See my full review and buy the book on Amazon.

William M. Kramer, A Lone Traveler: Einstein in California (2004). A concise and pleasurable account of Einstein's three visits to California in the early 1930s. When the book opens, Einstein is still a German citizen and still an outspoken pacifist. By the time of the book's close, Einstein is a U.S. citizen and a proponent of military action against the Nazis. Kramer rightly judged that this transitional period in Einstein's life was worth a closer look. See my full review and buy the book on Amazon.

J. Kenji López-Alt, The Food Lab: Better Home Cooking Through Science (2015). The Food Lab has quickly earned its place on our shelf alongside The Joy of CookingThe New Vegetarian EpicureIsa Does ItEveryday Italian, and Marcella Says. I credit this book for some of the best dishes I've ever prepared. Don't take my word for it; try this chili con carne recipe, and then buy the book online: The Food Lab: Better Home Cooking Through Science.

Best Short Stories

Ann Beattie, "Panthers." Paris Review, Fall 2016.

David Szalay, "Lascia amor e siegui Marte." Paris Review, Winter 2015.

Best Poem

April Bernard, "Cold Morning." New York Review of Books, November 24, 2016. In this poem by a former Bennington colleague, the speaker is telling us about a morning when she saw a horse lying dead on the ground surrounded by its puzzled brethren. Later that same morning, she heard a strange news item about some buffalo that had blundered onto the interstate. Between these two recounted anecdotes, the speaker tells of her grief over the death of a friend. The emotion of the subject matter is controlled by a stately rhythm and lightened just a little by wit.

Best Essay

Ta-Nahesi Coates, "What O.J. Simpson Means to Me." The Atlantic, October 2016. An exemplary personal essay because the self is not the subject, but rather the lens on the subject. Read it online.

Patrick Deneen, "After Liberalism," the Nineteenth Annual Paul Holmer Lecture. A critique of Enlightenment liberalism from a political scientist at the University of Notre Dame. Read the transcript online.

Daniel Mendelsohn, "How Greek Drama Saved the City." New York Review of Books, June 23, 2016. One of America's foremost essayists describes the theater in ancient Greece and how it differs from theater in today's society. Reading this was like being in college again, but in a good way. Read it online.

Luc Sante, "The Invisible Man." New York Review of Books, May 10, 1984. A William S. Burroughs critical biography in miniature. Read it online.

Best Long-Form Journalism 

Ariel Sabar, "The Unbelievable Tale of Jesus's Wife."
A hotly contested, supposedly ancient manuscript suggests Christ was married. But believing its origin story—a real-life Da Vinci Code, involving a Harvard professor, a onetime Florida pornographer, and an escape from East Germany—requires a big leap of faith.
Author-journalist Ariel Sabar took it upon himself to investigate the provenance of 'The Gospel of Jesus's Wife.' What he discovered, you couldn't make up. Read it online.

Christopher Goffard, "Framed: A Mystery in Six Parts."
She was the PTA mom everybody knew. Who would want to harm her?
This is crack-cocaine in newspaper form. Read it online.

Best Music, Best Theater

No awards this year. We saw one concert and one play, and both were OK.

Best Movies

(Links point to reviews.)

The Assassin – Mythic tale with sumptuous period details and sublime scenery; I wasn't always clear on the plot.

The Lobster – Not sure that dystopian-quirky-black-comedy-parables are my thing, but the film succeeds very well on its own terms.

Moana – A pretty good road movie, suffused with the joy the makers must have felt in expressing such astonishing visual creativity.

Everybody Wants Some!! – Yet another Linklater gem. "Few filmmakers have so fully embraced the bittersweet joy of living in the moment."

The Hunter (2011) – A contemplatively beautiful quest film, badly misrepresented by a thriller-style marketing poster.

Creed – A great sports flick. Director Ryan Coogler did for the Rocky franchise what J. J. Abrams ought to have done for Star Wars.

Which leads us to:

Biggest disappointment: Star Wars: The Force Awakens. There's some great movie-making in the scenes where Finn becomes Finn, and in the scenes that introduce Rae, but the film grows workmanlike as it enters recycling mode. As soon as I met Rae, I wanted the film to tell her story. Instead, the movie pastes Rae and everybody else into a story we've all heard before.

Best Meal in an Airport

Tie between Chelsea's Kitchen in PHX (the 2014 winner) and Columbia Cafe in TPA.

Columbia Cafe is the TPA outpost of Ybor City's famous Columbia Restaurant (said to be Florida's oldest). The whole staff was friendly and fast, and I had a delicious lechon asado (roasted pulled pork marinated with garlic and citrus topped with Mojo onions).

At Chelsea's Kitchen with my sister and her husband, I had a very good roast chicken before hopping on a red-eye flight. Something is working with the decor at Chelsea's, because while you're there it's easy to forget you're in an airport terminal.

Best Solo Drive

Quebec City to Halifax via the Gaspé Peninsula.

One day in 2015 I was perusing my Times Atlas of the World for ideas, and my eye was drawn to a strange offshoot of Quebec I'd never noticed before: the Gaspé Peninsula. Gazing into the map, I could almost see little fishing boats sheltering between headlands in the cold waters of the Gulf of St. Lawrence. Maybe a rustic lodge in the highlands.... I made up my mind to drive the Gaspé. Sometimes, a place is exactly what you think it will be. Here's a brief overview of the region, and if you want to research the drive, this page is a good starting point. Note: Buy a French phrasebook! I met almost nobody in the Gaspé who spoke English.

Best Single-Artist Exhibition

Portraits by Alex Katz at the Metropolitan Museum of Art.

Great portraitists work on many fronts, including color, composition, and clothing. But what matters in portraiture is the face. In great portraits, the sitter's expression is often ambiguous or enigmatic. Mr. Katz achieves this effect through abstraction—yet he doesn't abstract away the individuality of his subjects. What the portraits lack in painterliness, they make up for in boldness of design. Here is a review of the exhibition I saw, and here is a profile of the 88-year-old artist.

Best of the Year—Period. 

This summer in Williamstown, my wife and I escaped from my college reunion to visit the Clark Art Institute for the opening of Splendor, Myth, and Vision: Nudes from the Prado. The exhibition included 28 pictures by Titian, Veláquez, Rubens, and other painters from the 1500s and 1600s. Twenty-four of the pictures were being shown in the United States for the first time. Some of these masterpieces were breathtaking—almost too overwhelming to look at.

The theme of the exhibition was the tension between Catholic culture and artistic representations of the body. However, the painting I lingered over the longest was not a nude, but the royal portrait of Philip IV from ca. 1653, considered one of Velázquez's greatest portraits.

Here is the exhibition website, and here is a review of the show from the Wall Street Journal. A review from the Boston Globe includes a few more images.

The art alone would have been worth the trip, but adding to the experience was the opening event, which was held in the early evening. As the summer sun descended behind the Berkshire hills, my wife and I strolled in the new museum expansion by architect Tadao Ando. Then we enjoyed drinks and dancing with a DJ. All in all, a fabulous night.


I like ending the list with something to watch or listen to, so here is a scene from Creed in which the main character is going for a training run. The action takes place in a poor neighborhood of Philadelphia. This is one of those times when you're watching a B-movie and suddenly genius erupts.