Take the 2-minute tour ×
Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. It's 100% free, no registration required.

Suppose $P$ is a regular (i.e.,equiangular equilateral) polygon in the Euclidean plane, and the number sides of $P$ is not a multiple of $4$. Then $P$ contains an inscribed square. (Citation.) Of all the squares inscribed in $P$, some are largest. (Proof, the boundary of $P$ is compact, so a subsequence of vertices of increasing inscribed squares has a limit.) Among all such largest squares, does at least one of them have a side parallel to a side of $P$? It looks like it should, so I suspect it does, but that's not worth much.

share|improve this question
1  
Prompted by judaism.stackexchange.com/questions/10443. –  msh210 Oct 16 '11 at 19:47

2 Answers 2

up vote 2 down vote accepted

Please consult this reference http://www.springerlink.com/content/p5t554523v7t9473/

Let P be a regular n-gon. If n is even not divisible by 4, the paper shows that the largest inscribed square has edges parallel with edges of P. (In this case the largest inscribed square is also the largest square contained in P.)

So suppose n is odd. The case n=3 is well known (e.g. Martin Garder in Scientific American). The inner square shares an edge with the outer triangle. The above paper shows that an inscribed square shares a common symmetry axis with P. Every symmetry axis of P passes through a vertex and bisects an opposite edge of P (because n is odd). If that axis is a diagonal of the square, the square cannot have 4 points of contact with P (it would have to share a vertex with P). So the common symmetry axis must bisect opposite edges of the square. Then the square has two edges parallel to an edge of P.

So the answer to your question is yes.

BTW, note that the largest square contained in an n-gon is not always an inscribed square. For n=5 and n=9, the largest square shares a vertex with the outer polygon, and there are only 3 points of contact with the outer polygon.

Addendum

If n is divisible by 4, it is evident that the maximal inscribed square shares all 4 vertices with the outer polygon P. By inspection, it is obvious that the square has edges in parallel with P if n = 4, 12, 20, ... and not if n = 8, 16, 24, ...

So the complete answer to your question is this: A maximal inscribed square in a regular n-gon P has edges in parallel with P if and only if n is not divisible by 8.

share|improve this answer
    
Beautiful. Thank you. –  msh210 Jan 5 '12 at 16:43

No. Consider regular octagon. Then largest inscribed square will be this one: Largest square inside octagon

It's not hard to prove this. Consider the circumcircle of octagon. Then, largest square inside octagon cannot be larger than largest square inscribed in circle. But in that case, they're the same, so this square is the largest inside octagon.

share|improve this answer
    
Quite right, thanks. +1. I'll edit my question to restrict to a polygon with number of sides not divisible by $4$. –  msh210 Oct 16 '11 at 19:10
1  
This paper: math.sc.edu/~dilworth/preprints_files/… has some suggestive diagrams and perhaps useful ideas. –  Joseph Malkevitch Oct 16 '11 at 19:17
    
@JosephMalkevitch, thanks. I've seen it. (In fact, that's how I found Emch, whom I linked to in the question.) But I think the best that does for me is showing that there is a square inscribed in $P$ wish a side parallel to a side of $P$, without showing it's maximal. –  msh210 Oct 16 '11 at 19:46
    
s/wish/with/. Apparently, I don't have enough rep here to edit my comments. –  msh210 Oct 16 '11 at 20:37
    
@msh210, No rep is required (?) for editing comments...just you can't after 5min. –  Tapu Oct 16 '11 at 23:58

Your Answer

 
discard

By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.