When shorter means smaller? Assume a convex figure $F\subset \mathbb R^2$ satisfies the following property: if $f:F\to \mathbb R^2$ is a distance-non-increasing map then its image $f(F)$ is congruent to a subset of $F$.
Is it true that $F$ is a round disk?
Comments:


*

*It is easy to see that the round disk has this property. 

*One can reformulate the property: if for some set $G\subset\mathbb R^2$ there is a distance-non-contracting map $G\to F$ then there is a distance-preserving map $G\to F$. (The equivalence follows from Kirszbraun theorem)

*No bad map is known for the following figure: intersection of two discs say unit disc with center at (0,0) and a disc with radius 1.99 and center at (0,1) --- see comments of Martin M. W. below. (That might be a counterexample.)

*Some figures as Reuleaux triangle are bad (see the comments below)

*The construction with two folds along parallel lines (see below) gives the following: If $F$ is good then for any point $x\in \partial F$ the restriction of $dist_x$ to $\partial F$ does not have local minima except $x$. (This property holds for any shape $C^2$-close to a round disc.)

*This problem was meant to be an exercise for school students, but I was not able to solve it :). It appears in print in 2008 (in Russian), see problem #5 in Плоское оригами и длинный рубль.

*One answer is accepted, BUT it only provides a solution for unbounded figures.
 A: I will break tradition of the accumulation of interesting comments and post a suggested partial solution (of something).  The structure of mathoverflow is somehow not perfect for an incremental discussion (even though it is great in many ways).
The main idea so far for relevant contractive maps are folding the plane in half.  So you could change the question and ask if any convex shape other than a circle has the property that it always fits inside of itself if you fold it once across a chord.  [Edit 1: If you do ask, the answer is that one fold is not enough for a dented circle, as Martin points out in the comment.] A Rouleaux triangle does not have this property, but maybe it is interesting to check other regular Rouleaux polygons.
I think that no ellipse (other than a circle) has this property.  You have to be a little careful because if you take an ellipse that is not round and not too thin, then if you fold it across its short semiaxis, the half-ellipse can fit inside of the original ellipse in non-standard ways.
If you fold the ellipse across its long semiaxis instead, then trivially the half ellipse only fits in the original ellipse in one way (up to symmetry).  Suppose that you tilt this chord slightly, but keep it passing through the center, and then cut the ellipse in half.  Then I think that this kind of half ellipse also fits in the original ellipse in one way.  If that is correct, then if you fold the ellipse along this slightly tilted chord, then the folded shape does not fit in the original ellipse.  [Edit 2: Anton says that it is not true, and that this half-ellipse which is cut at a slight diagonal can be movable within the original ellipse.  I do not know whether it can be moved far enough, but I will refrain from speculating.]
A similar trick works for any regular odd-sided polygon $P$.  $P$ has a longest diagonal.  Make a chord which is close to this diagonal and parallel to it, so that the region on one side that has the majority of vertices has less than half of the area.  This subregion only fits in $P$ in one way, so if you fold along this chord the folded shape does not fit. [Edit 2: At least this case of the argument actually works.]
I conjecture that if $K$ is any convex shape whose longest chords are isolated, then either by tilting or offsetting a longest chord, you can make a fold that does not fit in $K$. [Edit 2: A foolish conjecture as long as the ellipsoid case is in doubt.]
On the other hand, a constant-width body has the opposite property.  It has an entire circle of longest chords, in a natural sense a maximal family of them.
A: Here's a few thoughts on the question:
First, although this is probably obvious to everyone who's posted already, the region F must be bounded (if it is not $\mathbb{R}^2$). If not, then since it's convex, it must contain an infinite ray, and F must be contained in a half-space since it is convex. Take the projection onto the ray, then map the ray by arclength onto a spiral that can't live in any half-space, for example. This map then cannot be contained inside of F and is clearly length-decreasing. 
So assume F is bounded. Then I think we may assume F is compact, by taking its closure. Any 1-Lipschitz map from F to $\mathbb{R}^2$ will extend to a 1-Lipschitz map from of the closure, and if the image lies in F, then its closure will lie in the closure. This probably doesn't help at all.  
Edit: as Anton Petrunin has pointed out, the following argument is bogus:
Now, the space of 1-Lipschitz maps to $\mathbb{R}^2$ is convex (and I think it is complete in the sup topology). Also, it's an easy exercise to see that any convex combination of 1-Lipschitz maps lying in isometric copies of F also lie in isometric copies of F (convex combinations of isometries give conformal affine maps with dilatation $\leq 1$). 
So to prove the claim for a given region F, we need "only" prove that extremal maps, i.e. ones which are not convex combinations of other maps, are contained in an isometric copy of F. I'm not sure if this helps, but there might be some literature on the convex structure of 1-Lipschitz maps which one could possibly exploit. 
A: An incomplete answer; but perhaps it helps to rephrase the problem as below.  The reason the round circle does have this property is that without loss of generality, the map $f$ fixes the origin; and then since $f$ makes all distances shorter, QED.
To simplify things, I will assume that $F$ is bounded.  Define $&rho;_&theta;$ to be a euclidean rotation (about the origin) through angle $&theta;$.
For $z\in F$, consider the function $d_z(x,y):=\sup\{&lambda;: x\not\in y+&lambda; (F-z)\}$; If $F$ were symmetric under $-1$, this would be a classical distance function; it does satisfy the triangle inequality by reasoning about Minkowski sums: if $x\in a F$ and $y\in x+b F$, then $y\in (a+b) F$.  It is also translation-invariant: $d_z(x+v,y+v)=d_z(x,y)$.
We want to understand for which $F$ does $f$ being euclidean-short imply that for some $&theta;$ and some $z\in F$, $&rho;_&theta;\circ f$ is $d_z$-short.
Some easy observations, if $F$ is not a round circle, then (by relative compactness) assume that neither $d_z < |\cdot|$ nor $d_z > |\cdot|$; and then I think building a folding-type counterexample should be easy?  But as I said before, it's an incomplete answer.
A: Inspired by the origami question, the only new suggestion that I can make is to mention the origamist Robert J. Lang.  According to the biography on his web site, he is also a physicist.  There was an open problem called the napkin-folding problem:  Does there exist a contractive map from the square to the plane that increases its perimeter?  Lang found a counterexample using his experience in origami.
Actually, I just discovered that you (Anton) already know this story, following a link on the Wikipedia page.  However, my remaining comment is that maybe Lang is a good reference or expert for this new question.
A:  Edit: I could not make the second step work :-( 
Here goes my attempt: assume $F$ is a bounded  connected closed  convex set which is not a round disc. We will like to show that there is a distance non-increasing map $f:\mathbb{R}^2 \to \mathbb{R}^2$ such that $f(F)$ is not congruent to any subset of $F$. 
Step 1: There is a closed disc $D$ which satisfies the following properties: 
(1) $D \not \supseteq F$, and 
(2) for all subset $S$ of $D$, if $S \supsetneqq D \cap F$, then $S$ is not congruent to any subset of $F$. 
To see it: start with any disc $D_0$ with diameter $d$ smaller than the diameter of $F$. If there exists a subset $S_0$ of $D_0$ such that $S_0 \supsetneqq D_0 \cap F$ but $S_0$ is congruent to a subset $S_1$ of $F$, then moving $D_0$ (i.e. translating the center of $D_0$) by appropriate amount, we obtain a disc $D_1$ of diameter $d$ which contains $S_1$. If $D_1$ does not satisfy (2), then repeat this process. Because $F$ is bounded and area of $D \cap F$ is an increasing sequence, there can be only two possibilities: either 
(a) there exists a disc of diameter $d$ which satisfies (2), or 
(b) $F$ contains a disc of diameter $d$. 
Since $F$ is not a disc, there exists $d < $ diameter($F$) such that (b) does not hold for $d$. Then by the above argument, (a) is true, which completes step 1.
Step 2: Let $D$ be as in step 1. WLOG assume $D$ is centered at the origin. Construct an area non-increasing map $f: \mathbb{R}^2 \to \mathbb{R}^2$ such that $f$ is identity on $D$ and $f$ maps a point of $F \setminus D$ to $D \setminus F$. There has to be a better way to see it than what I propose now, but here we go. Let me first describe the idea: let $P$ be one of the "corner" points of $D \cap F$ such that there are points of $F$ near $P$ and outside $D$. Pick such a point $Q$ and construct $f$ in a way that $f$ rotates $Q$ a bit and then retracts into $D$. The point is that you would want to use retraction to offset the increase of distance caused by the (non-uniform) rotation.
On a second thought, I will stop now and go get some food, and try to have the construction typed in the meantime. But most probably someone will have a better idea by the time I get back.
A: Another tact; consider the set of foldings of our convex shape.  Since the fold axis partitions the perimeter into two parts, and by convexity both have finite length, so one of them is at least half the length of the total perimeter.
edit: this needs fixing/to be made more precise --- see comments below. end edit
I claim * (without proof) that the longer part determines the congruence of the image with a subset of $F$, up to a Euclidean symmetry of $F$; whence w.l.o.g., we may assume the folding map fixes the longer part.  Then we clearly require that the shorter part be mapped into $F$ --- in fact, it must be mapped to the intersection of $F$ with the half-plane containing the longer part.
Since we are interested in all such foldings, we may consider in particular the foldings that exactly bisect the perimeter; but then by oposite containments, such a folding must be a congruence of the two parts, and hence the folding axis is in fact a symmetry axis of $F$.  An intermediate value theorem argument shows that there is such a folding map with axis in any direction, so $F$ has at least a circular group of symmetries; that is, $F$ is a circle.
