Every dissection I can think of that cuts a square into two contiguous congruent shapes seems to be rotationally symmetric. (Allowing disjoint shapes allows for dissections that aren't.) Is there a simple proof or counterexample?
2026-02-23 06:22:48.1771827768
Dissect a square into two contiguous congruent shapes. Must the dissection be rotationally symmetric?
77 Views Asked by Bumbble Comm https://math.techqa.club/user/bumbble-comm/detail At
1
There are 1 best solutions below
Related Questions in SYMMETRY
- Do projective transforms preserve circle centres?
- Decomposing an arbitrary rank tensor into components with symmetries
- A closed manifold of negative Ricci curvature has no conformal vector fields
- Show, by means of an example, that the group of symmetries of a subset X of a Euclidean space is, in general, smaller than Sym(x).
- How many solutions are there if you draw 14 Crosses in a 6x6 Grid?
- Symmetry of the tetrahedron as a subgroup of the cube
- Number of unique integer coordinate points in an $n$- dimensional hyperbolic-edged tetrahedron
- The stretch factors of $A^T A$ are the eigenvalues of $A^T A$
- The square root of a positive semidefinite matrix
- Every conformal vector field on $\mathbb{R}^n$ is homothetic?
Related Questions in DISSECTION
- Find a dissection that satisfies integral inequalities
- Cutting a square into non-similar triangles
- Dissecting a square into similar 1:sqrt(2) rectangles
- Equidecomposability of a Cube into Trirectangular Tetrahedra and a given tetrahedron
- Geometric dissection theory
- Types of possible moves of tiling puzzle pieces
- Doubly-true dissections: Dissecting an $n$-gon into $s_i$-gons, such that $n = \sum s_i$
- Rectangle Dissection Into Smaller Rectangles yields shared side
- This should be a piece of cake...... right?
- Algorithm for filling a rectangle with tiles of known relative size
Trending Questions
- Induction on the number of equations
- How to convince a math teacher of this simple and obvious fact?
- Find $E[XY|Y+Z=1 ]$
- Refuting the Anti-Cantor Cranks
- What are imaginary numbers?
- Determine the adjoint of $\tilde Q(x)$ for $\tilde Q(x)u:=(Qu)(x)$ where $Q:U→L^2(Ω,ℝ^d$ is a Hilbert-Schmidt operator and $U$ is a Hilbert space
- Why does this innovative method of subtraction from a third grader always work?
- How do we know that the number $1$ is not equal to the number $-1$?
- What are the Implications of having VΩ as a model for a theory?
- Defining a Galois Field based on primitive element versus polynomial?
- Can't find the relationship between two columns of numbers. Please Help
- Is computer science a branch of mathematics?
- Is there a bijection of $\mathbb{R}^n$ with itself such that the forward map is connected but the inverse is not?
- Identification of a quadrilateral as a trapezoid, rectangle, or square
- Generator of inertia group in function field extension
Popular # Hahtags
second-order-logic
numerical-methods
puzzle
logic
probability
number-theory
winding-number
real-analysis
integration
calculus
complex-analysis
sequences-and-series
proof-writing
set-theory
functions
homotopy-theory
elementary-number-theory
ordinary-differential-equations
circles
derivatives
game-theory
definite-integrals
elementary-set-theory
limits
multivariable-calculus
geometry
algebraic-number-theory
proof-verification
partial-derivative
algebra-precalculus
Popular Questions
- What is the integral of 1/x?
- How many squares actually ARE in this picture? Is this a trick question with no right answer?
- Is a matrix multiplied with its transpose something special?
- What is the difference between independent and mutually exclusive events?
- Visually stunning math concepts which are easy to explain
- taylor series of $\ln(1+x)$?
- How to tell if a set of vectors spans a space?
- Calculus question taking derivative to find horizontal tangent line
- How to determine if a function is one-to-one?
- Determine if vectors are linearly independent
- What does it mean to have a determinant equal to zero?
- Is this Batman equation for real?
- How to find perpendicular vector to another vector?
- How to find mean and median from histogram
- How many sides does a circle have?
Yes, any such dissection must have the two pieces related to each other by a $180^\circ$ rotation about the center of the square.
Suppose we have cut a unit square into a red piece and a green piece, hereafter $R$ and $G$. Consider the restrictions of $R$ and $G$ to the perimeter of the square, which we'll denote $R_p$ and $G_p$. The requirement that $R$ and $G$ be contiguous forces $R_p$ and $G_p$ to be connected segments of the boundary, so there are just two points on the boundary of the square where we transition from red to green and vice verse.
Now, let's consider the longer of these two pieces of boundary, WLOG $R_p$. Since it is of length at least $2$, it contains one full side, say $AB$. It will then also contain some pieces of $BC$ and $DA$ whose length totals at least $1$.
I claim that a shape congruent to $R_p$ can only fit in the square when it's placed to align with an axis. Why is this? Consider, for a given skew angle, how much length we can pack into the square at that angle:
You can do a bit of algebra and check that the sum of the blue lengths is always less than $1$ for any orientation of the red unit segment in the diagram. This means that for any way we tilt $R_p$ that isn't axis-aligned, there won't be room to fit it in the square.
What does this mean? It means that if $f$ is the isometry of the plane such that $f(R) = B$, $f(R_p)$ carries us to some axis-aligned image of $R_p$ within $B$. In particular, $f(\overline{AB})$ must be either parallel to $\overline{AB}$ or parallel to $\overline{BC}$.
Case 1: $f(\overline{AB})$ is parallel to $\overline{BC}$. This means that there is a point $p\in \overline{AB}$ contained in both $\overline{AB}$ (red) and $f(\overline{AB})$ (green). The only way this can happen while preserving contiguity is if $p=A$ or $p=B$ (without loss of generality we'll assume the former). This means that $R_p$ is exactly equal to the union of the line segments $\overline{AB}$ and $\overline{BC}$, and $f$ is exactly the reflection across the line $\overline{AC}$. But this forces the dissection to be the one which cuts the square into two congruent triangles, which is rotationally symmetric.
Case 2: $f(\overline{AB})$ is parallel to $AB$. Since $R$ is entirely on one side of the line segment $\overline{AB}$, $G$ will be entirely on one side of the line segment $f(\overline{AB})$. This means that either (2.1) $f(AB)=CD$ or (2.2) $R$ and $G$ are each rectangles.