## How to Make a Straight Line in Different Circumstances

I no longer remember how I came to be aware of this paper. No matter. Here is Paul Rojas’s The straight line, the catenary, the brachistochrone, the circle, and Fermat. It is about a set of optimization problems, in this case, attempts to find the shortest path something can follow.

The talk of the catenary and the brachistochrone give away that this is a calculus paper. The catenary and the brachistochrone are some of the oldest problems in calculus as we know it. The catenary is the problem of what shape a weighted chain takes under gravity. The brachistochrone is the problem of what path a beam of light traces out moving through regions with different indexes of refraction. (As in, through films of glass or water or such.) Straight lines and circles we’ve heard of from other places.

The paper relies on calculus so if you’re not comfortable with that, well, skim over the lines with $\int$ symbols. Rojas discusses the ways that we can treat all these different shapes as solutions of related, very similar problems. And there’s some talk about calculating approximate solutions. There is special delight in this as these are problems that can be done by an analog computer. You can build a tool to do some of these calculations. And I do mean “you”; the approach is to build a box, like, the sort of thing you can do by cutting up plastic sheets and gluing them together and setting toothpicks or wires on them. Then dip the model into a soap solution. Lift it out slowly and take a good picture of the soapy surface.

This is not as quick, or as precise, as fiddling with a Matlab or Octave or Mathematica simulation. But it can be much more fun.

## A Picture Showing Why The Square Root of 2 Is Irrational

Seyma Erbas had a post recently that I quite liked. It’s a nearly visual proof of the irrationality of the square root of two. Proving that the square root of two is irrational isn’t by itself a great trick: either that or the proof there are infinitely many prime numbers is probably the simplest interesting proof-by-contradiction someone could do. The Pythagoreans certainly knew of it, and being the Pythagoreans, inspired confusing legends about just what they did about this irrationality.

Anyway, in the reblogged post here, a proof (by contradiction) that the square root of two can’t be rational is done nearly entirely in pictures. The paper which Seyma Erbas cites, Steven J Miller and David Montague’s “Irrationality From The Book”, also includes similar visual proofs of the irrationality of the square roots of three, five, and six, and if the pictures don’t inspire you to higher mathematics they might at least give you ideas for retiling the kitchen. Miller and Montague talk about the generalization problem — making similar diagrams for larger and larger numbers, such as ten — and where their generalization stops working.

Yesterday I came a across a new (new to me, that is) proof of the irrationality of $sqrt{2}$. I found it in the paper “Irrationality From The Book,” by Steven J. Miller, David Montague, which was recently posted to arXiv.org.

Apparently the proof was discovered by Stanley Tennenbaum in the 1950′s but was made widely known by John Conway around 1990. The proof appeared in Conway’s chapter “The Power of Mathematics” of the book Power, which was edited by Alan F. Blackwell, David MacKay (2005).

View original post 213 more words

## Peer Gibberish

Well, this is an embarrassing thing to see: according to Nature, the Springer publishing and the Institute of Electrical and Electronic Engineers (IEEE) have had to withdraw at least 120 papers from their subscription services, because the papers were gibberish produced by a program, SCIgen, that strings together words and phrases into computer science-ish texts. SCIgen and this sort of thing are meant for fun (Nature also linked to arXiv vs snarXiv, which lets you try to figure out whether titles are actual preprints on the arXiv server or gibberish), but such nonsense papers have been accepted for conferences or published in, typically, poorly-reviewed forums, to general amusement and embarrassment when it’s noticed.