Plan ahead for the next school year. Schedule your class today!

G
Topic
First Poster
Last Poster
k a July Highlights and 2025 AoPS Online Class Information
jwelsh   0
Jul 1, 2025
We are halfway through summer, so be sure to carve out some time to keep your skills sharp and explore challenging topics at AoPS Online and our AoPS Academies (including the Virtual Campus)!

[list][*]Over 60 summer classes are starting at the Virtual Campus on July 7th - check out the math and language arts options for middle through high school levels.
[*]At AoPS Online, we have accelerated sections where you can complete a course in half the time by meeting twice/week instead of once/week, starting on July 8th:
[list][*]MATHCOUNTS/AMC 8 Basics
[*]MATHCOUNTS/AMC 8 Advanced
[*]AMC Problem Series[/list]
[*]Plus, AoPS Online has a special seminar July 14 - 17 that is outside the standard fare: Paradoxes and Infinity
[*]We are expanding our in-person AoPS Academy locations - are you looking for a strong community of problem solvers, exemplary instruction, and math and language arts options? Look to see if we have a location near you and enroll in summer camps or academic year classes today! New locations include campuses in California, Georgia, New York, Illinois, and Oregon and more coming soon![/list]

MOP (Math Olympiad Summer Program) just ended and the IMO (International Mathematical Olympiad) is right around the corner! This year’s IMO will be held in Australia, July 10th - 20th. Congratulations to all the MOP students for reaching this incredible level and best of luck to all selected to represent their countries at this year’s IMO! Did you know that, in the last 10 years, 59 USA International Math Olympiad team members have medaled and have taken over 360 AoPS Online courses. Take advantage of our Worldwide Online Olympiad Training (WOOT) courses
and train with the best! Please note that early bird pricing ends August 19th!
Are you tired of the heat and thinking about Fall? You can plan your Fall schedule now with classes at either AoPS Online, AoPS Academy Virtual Campus, or one of our AoPS Academies around the US.

Our full course list for upcoming classes is below:
All classes start 7:30pm ET/4:30pm PT unless otherwise noted.

Introductory: Grades 5-10

Prealgebra 1 Self-Paced

Prealgebra 1
Wednesday, Jul 16 - Oct 29
Sunday, Aug 17 - Dec 14
Tuesday, Aug 26 - Dec 16
Friday, Sep 5 - Jan 16
Monday, Sep 8 - Jan 12
Tuesday, Sep 16 - Jan 20 (4:30 - 5:45 pm ET/1:30 - 2:45 pm PT)
Sunday, Sep 21 - Jan 25
Thursday, Sep 25 - Jan 29
Wednesday, Oct 22 - Feb 25
Tuesday, Nov 4 - Mar 10
Friday, Dec 12 - Apr 10

Prealgebra 2 Self-Paced

Prealgebra 2
Friday, Jul 25 - Nov 21
Sunday, Aug 17 - Dec 14
Tuesday, Sep 9 - Jan 13
Thursday, Sep 25 - Jan 29
Sunday, Oct 19 - Feb 22
Monday, Oct 27 - Mar 2
Wednesday, Nov 12 - Mar 18

Introduction to Algebra A Self-Paced

Introduction to Algebra A
Tuesday, Jul 15 - Oct 28
Sunday, Aug 17 - Dec 14
Wednesday, Aug 27 - Dec 17
Friday, Sep 5 - Jan 16
Thursday, Sep 11 - Jan 15
Sunday, Sep 28 - Feb 1
Monday, Oct 6 - Feb 9
Tuesday, Oct 21 - Feb 24
Sunday, Nov 9 - Mar 15
Friday, Dec 5 - Apr 3

Introduction to Counting & Probability Self-Paced

Introduction to Counting & Probability
Wednesday, Jul 2 - Sep 17
Sunday, Jul 27 - Oct 19
Monday, Aug 11 - Nov 3
Wednesday, Sep 3 - Nov 19
Sunday, Sep 21 - Dec 14 (1:00 - 2:30 pm ET/10:00 - 11:30 am PT)
Friday, Oct 3 - Jan 16
Sunday, Oct 19 - Jan 25
Tuesday, Nov 4 - Feb 10
Sunday, Dec 7 - Mar 8

Introduction to Number Theory
Tuesday, Jul 15 - Sep 30
Wednesday, Aug 13 - Oct 29
Friday, Sep 12 - Dec 12
Sunday, Oct 26 - Feb 1
Monday, Dec 1 - Mar 2

Introduction to Algebra B Self-Paced

Introduction to Algebra B
Friday, Jul 18 - Nov 14
Thursday, Aug 7 - Nov 20
Monday, Aug 18 - Dec 15
Sunday, Sep 7 - Jan 11
Thursday, Sep 11 - Jan 15
Wednesday, Sep 24 - Jan 28
Sunday, Oct 26 - Mar 1
Tuesday, Nov 4 - Mar 10
Monday, Dec 1 - Mar 30

Introduction to Geometry
Monday, Jul 14 - Jan 19
Wednesday, Aug 13 - Feb 11
Tuesday, Aug 26 - Feb 24
Sunday, Sep 7 - Mar 8
Thursday, Sep 11 - Mar 12
Wednesday, Sep 24 - Mar 25
Sunday, Oct 26 - Apr 26
Monday, Nov 3 - May 4
Friday, Dec 5 - May 29

Paradoxes and Infinity
Mon, Tue, Wed, & Thurs, Jul 14 - Jul 16 (meets every day of the week!)
Sat & Sun, Sep 13 - Sep 14 (1:00 - 4:00 PM PT/4:00 - 7:00 PM ET)

Intermediate: Grades 8-12

Intermediate Algebra
Sunday, Jul 13 - Jan 18
Thursday, Jul 24 - Jan 22
Friday, Aug 8 - Feb 20
Tuesday, Aug 26 - Feb 24
Sunday, Sep 28 - Mar 29
Wednesday, Oct 8 - Mar 8
Sunday, Nov 16 - May 17
Thursday, Dec 11 - Jun 4

Intermediate Counting & Probability
Sunday, Sep 28 - Feb 15
Tuesday, Nov 4 - Mar 24

Intermediate Number Theory
Wednesday, Sep 24 - Dec 17

Precalculus
Wednesday, Aug 6 - Jan 21
Tuesday, Sep 9 - Feb 24
Sunday, Sep 21 - Mar 8
Monday, Oct 20 - Apr 6
Sunday, Dec 14 - May 31

Advanced: Grades 9-12

Calculus
Sunday, Sep 7 - Mar 15
Wednesday, Sep 24 - Apr 1
Friday, Nov 14 - May 22

Contest Preparation: Grades 6-12

MATHCOUNTS/AMC 8 Basics
Tues & Thurs, Jul 8 - Aug 14 (meets twice a week!)
Sunday, Aug 17 - Nov 9
Wednesday, Sep 3 - Nov 19
Tuesday, Sep 16 - Dec 9
Sunday, Sep 21 - Dec 14 (1:00 - 2:30 pm ET/10:00 - 11:30 am PT)
Monday, Oct 6 - Jan 12
Thursday, Oct 16 - Jan 22
Tues, Thurs & Sun, Dec 9 - Jan 18 (meets three times a week!)

MATHCOUNTS/AMC 8 Advanced
Tues & Thurs, Jul 8 - Aug 14 (meets twice a week!)
Sunday, Aug 17 - Nov 9
Tuesday, Aug 26 - Nov 11
Thursday, Sep 4 - Nov 20
Friday, Sep 12 - Dec 12
Monday, Sep 15 - Dec 8
Sunday, Oct 5 - Jan 11
Tues, Thurs & Sun, Dec 2 - Jan 11 (meets three times a week!)
Mon, Wed & Fri, Dec 8 - Jan 16 (meets three times a week!)

AMC 10 Problem Series
Tues & Thurs, Jul 8 - Aug 14 (meets twice a week!)
Sunday, Aug 10 - Nov 2
Thursday, Aug 14 - Oct 30
Tuesday, Aug 19 - Nov 4
Mon & Wed, Sep 15 - Oct 22 (meets twice a week!)
Mon, Wed & Fri, Oct 6 - Nov 3 (meets three times a week!)
Tue, Thurs & Sun, Oct 7 - Nov 2 (meets three times a week!)

AMC 10 Final Fives
Friday, Aug 15 - Sep 12
Sunday, Sep 7 - Sep 28
Tuesday, Sep 9 - Sep 30
Monday, Sep 22 - Oct 13
Sunday, Sep 28 - Oct 19 (1:00 - 2:30 pm ET/10:00 - 11:30 am PT)
Wednesday, Oct 8 - Oct 29
Thursday, Oct 9 - Oct 30

AMC 12 Problem Series
Wednesday, Aug 6 - Oct 22
Sunday, Aug 10 - Nov 2
Monday, Aug 18 - Nov 10
Mon & Wed, Sep 15 - Oct 22 (meets twice a week!)
Tues, Thurs & Sun, Oct 7 - Nov 2 (meets three times a week!)

AMC 12 Final Fives
Thursday, Sep 4 - Sep 25
Sunday, Sep 28 - Oct 19
Tuesday, Oct 7 - Oct 28

AIME Problem Series A
Thursday, Oct 23 - Jan 29

AIME Problem Series B
Tuesday, Sep 2 - Nov 18

F=ma Problem Series
Tuesday, Sep 16 - Dec 9
Friday, Oct 17 - Jan 30

WOOT Programs
Visit the pages linked for full schedule details for each of these programs!


MathWOOT Level 1
MathWOOT Level 2
ChemWOOT
CodeWOOT
PhysicsWOOT


Programming

Introduction to Programming with Python
Thursday, Aug 14 - Oct 30
Sunday, Sep 7 - Nov 23
Tuesday, Dec 2 - Mar 3

Intermediate Programming with Python
Friday, Oct 3 - Jan 16

USACO Bronze Problem Series
Wednesday, Sep 3 - Dec 3
Thursday, Oct 30 - Feb 5
Tuesday, Dec 2 - Mar 3

Physics

Introduction to Physics
Tuesday, Sep 2 - Nov 18
Sunday, Oct 5 - Jan 11
Wednesday, Dec 10 - Mar 11

Physics 1: Mechanics
Sunday, Sep 21 - Mar 22
Sunday, Oct 26 - Apr 26
0 replies
jwelsh
Jul 1, 2025
0 replies
Poland 6
orl   3
N 19 minutes ago by Plane_geometry_youtuber
Source: IMO LongList 1959-1966 Problem 36
Let $ABCD$ be a quadrilateral inscribed in a circle. Show that the centroids of triangles $ABC,$ $CDA,$ $BCD,$ $DAB$ lie on one circle.
3 replies
orl
Sep 2, 2004
Plane_geometry_youtuber
19 minutes ago
Inspired by JBMO 2025
sqing   0
29 minutes ago
Source: Own
Let $  a, b >0, \frac{a+1}{b} + \frac{b+1}{a} + a+b =7 .$ Prove that
$$\frac{(a^2 + b)^2}{b + 1} + \frac{(b^2 + a)^2}{a + 1} + \frac{(ab + 1)^2}{a + b} \geq \frac{121ab(a + b +1)^2}{50(a + b +ab)}$$Equality holds when $(a,b)=(\frac12,1)$ or $(a,b)=(2,2) . $
0 replies
1 viewing
sqing
29 minutes ago
0 replies
again ineq)
Maksat_B   36
N 43 minutes ago by sqing
Source: JBMO 2025 pr1
For all positive real numbers \( a, b, c \), prove that
\[
\frac{(a^2 + bc)^2}{b + c} + \frac{(b^2 + ca)^2}{c + a} + \frac{(c^2 + ab)^2}{a + b} \geq \frac{2abc(a + b + c)^2}{ab + bc + ca}.
\]
Proposed by Hakan Karakuş, Türkiye
36 replies
Maksat_B
Jun 26, 2025
sqing
43 minutes ago
Tangency point of mixtilinear incircle is isogonal to...
v_Enhance   49
N an hour ago by eg4334
Source: European Girl's MO 2013, Problem 5
Let $\Omega$ be the circumcircle of the triangle $ABC$. The circle $\omega$ is tangent to the sides $AC$ and $BC$, and it is internally tangent to the circle $\Omega$ at the point $P$. A line parallel to $AB$ intersecting the interior of triangle $ABC$ is tangent to $\omega$ at $Q$.

Prove that $\angle ACP = \angle QCB$.
49 replies
v_Enhance
Apr 11, 2013
eg4334
an hour ago
Today's calculation of Integral 599
Kunihiko_Chikaya   5
N Yesterday at 3:55 PM by abdutlgz
Evaluate $\int_0^{\frac{\pi}{6}} \frac{e^x(\sin x+\cos x+\cos 3x)}{\cos^ 2 {2x}}\ dx$.

created by kunny
5 replies
Kunihiko_Chikaya
Apr 27, 2010
abdutlgz
Yesterday at 3:55 PM
A^2+B^2=AB+BA
mathisreal   1
N Yesterday at 10:50 AM by loup blanc
Source: OIMU 2023 #4
Determine all pairs of real matrices $(A,B)$ of size $2\times 2$ with $A\neq B$ such that
\[A^2+B^2=AB+BA=2I\]
1 reply
mathisreal
Yesterday at 12:03 AM
loup blanc
Yesterday at 10:50 AM
ISI UGB 2025 P3
SomeonecoolLovesMaths   14
N Yesterday at 10:10 AM by Cats_on_a_computer
Source: ISI UGB 2025 P3
Suppose $f : [0,1] \longrightarrow \mathbb{R}$ is differentiable with $f(0) = 0$. If $|f'(x) | \leq f(x)$ for all $x \in [0,1]$, then show that $f(x) = 0$ for all $x$.
14 replies
SomeonecoolLovesMaths
May 11, 2025
Cats_on_a_computer
Yesterday at 10:10 AM
ISI UGB 2025 P1
SomeonecoolLovesMaths   10
N Yesterday at 8:03 AM by Cats_on_a_computer
Source: ISI UGB 2025 P1
Suppose $f \colon \mathbb{R} \longrightarrow \mathbb{R}$ is differentiable and $| f'(x)| < \frac{1}{2}$ for all $x \in \mathbb{R}$. Show that for some $x_0 \in \mathbb{R}$, $f \left( x_0 \right) = x_0$.
10 replies
SomeonecoolLovesMaths
May 11, 2025
Cats_on_a_computer
Yesterday at 8:03 AM
2024 Putnam A1
KevinYang2.71   23
N Yesterday at 12:05 AM by megahertz13
Determine all positive integers $n$ for which there exists positive integers $a$, $b$, and $c$ satisfying
\[
2a^n+3b^n=4c^n.
\]
23 replies
KevinYang2.71
Dec 10, 2024
megahertz13
Yesterday at 12:05 AM
Matrices satisfy three conditions
ThE-dArK-lOrD   4
N Monday at 7:53 PM by Adustat
Source: IMC 2019 Day 1 P5
Determine whether there exist an odd positive integer $n$ and $n\times n$ matrices $A$ and $B$ with integer entries, that satisfy the following conditions:
[list=1]
[*]$\det (B)=1$;[/*]
[*]$AB=BA$;[/*]
[*]$A^4+4A^2B^2+16B^4=2019I$.[/*]
[/list]
(Here $I$ denotes the $n\times n$ identity matrix.)

Proposed by Orif Ibrogimov, ETH Zurich and National University of Uzbekistan
4 replies
ThE-dArK-lOrD
Jul 31, 2019
Adustat
Monday at 7:53 PM
Random points in the unit circle
math90   4
N Monday at 7:52 PM by Adustat
Source: IMC 2019 Day 2 P10
$2019$ points are chosen at random, independently, and distributed uniformly in the unit disc $\{(x,y)\in\mathbb R^2: x^2+y^2\le 1\}$. Let $C$ be the convex hull of the chosen points. Which probability is larger: that $C$ is a polygon with three vertices, or a polygon with four vertices?

Proposed by Fedor Petrov, St. Petersburg State University
4 replies
math90
Jul 31, 2019
Adustat
Monday at 7:52 PM
Spectrum of a function of permutations.
loup blanc   9
N Monday at 7:15 PM by loup blanc
Let $n$ be an even integer and $J_n$ be the $n\times n$ matrix of ones.
Let $S_n$ be the set of $n\times n$ permutation matrices, $f:P\in S_n\mapsto P^2+nP-J_n-I_n$
and $Z(P)=\{|\lambda|;\lambda\in spectrum(f(P))\}$.
Show that $\bigcap_{P\in S_n} Z(P)$ is constitued of 2 elements to be determined.
9 replies
loup blanc
Jun 7, 2025
loup blanc
Monday at 7:15 PM
Romania NMO 2023 Grade 11 P4
DanDumitrescu   6
N Monday at 6:58 PM by Filipjack
Source: Romania National Olympiad 2023
We consider a function $f:\mathbb{R} \rightarrow \mathbb{R}$ for which there exist a differentiable function $g : \mathbb{R} \rightarrow \mathbb{R}$ and exist a sequence $(a_n)_{n \geq 1}$ of real positive numbers, convergent to $0,$ such that

\[
    g'(x) = \lim_{n \to \infty} \frac{f(x + a_n) - f(x)}{a_n}, \forall x \in \mathbb{R}.
    \]
a) Give an example of such a function f that is not differentiable at any point $x \in \mathbb{R}.$

b) Show that if $f$ is continuous on $\mathbb{R}$, then $f$ is differentiable on $\mathbb{R}.$
6 replies
DanDumitrescu
Apr 14, 2023
Filipjack
Monday at 6:58 PM
The two-function hypothesis of the mean value theorem
fxandi   1
N Monday at 4:29 PM by fxandi
Given the constants $a$$,$ $b$$,$ $p$$,$ and $q$ with $p < a < b < q.$

Function $f : [a, b] \to \mathbb{R}$ satisfies the condition of the mean value theorem and function $g : [p, q] \to \mathbb{R}$ has the property $g(x) = f(x)$ on the interval $[a, b],$ but $g$ does not satisfy the condition of the mean value theorem on the interval $[p, q].$ Investigate whether there is a value of $c$ on the interval $(p, q)$ such that $g'(c) = \dfrac{g(q) - g(p)}{q - p}.$ Prove your answer$.$
1 reply
fxandi
Jul 6, 2025
fxandi
Monday at 4:29 PM
Problem 3 (First Day)
Valentin Vornicu   47
N May 13, 2025 by cj13609517288
Define a "hook" to be a figure made up of six unit squares as shown below in the picture, or any of the figures obtained by applying rotations and reflections to this figure.

IMAGE
Determine all $ m\times n$ rectangles that can be covered without gaps and without overlaps with hooks such that

- the rectangle is covered without gaps and without overlaps
- no part of a hook covers area outside the rectangle.
47 replies
Valentin Vornicu
Jul 12, 2004
cj13609517288
May 13, 2025
Problem 3 (First Day)
G H J
The post below has been deleted. Click to close.
This post has been deleted. Click here to see post.
Valentin Vornicu
7301 posts
#1 • 4 Y
Y by Adventure10, Mango247, and 2 other users
Define a "hook" to be a figure made up of six unit squares as shown below in the picture, or any of the figures obtained by applying rotations and reflections to this figure.

[asy]
unitsize(0.5 cm);

draw((0,0)--(1,0));
draw((0,1)--(1,1));
draw((2,1)--(3,1));
draw((0,2)--(3,2));
draw((0,3)--(3,3));
draw((0,0)--(0,3));
draw((1,0)--(1,3));
draw((2,1)--(2,3));
draw((3,1)--(3,3));
[/asy]
Determine all $ m\times n$ rectangles that can be covered without gaps and without overlaps with hooks such that

- the rectangle is covered without gaps and without overlaps
- no part of a hook covers area outside the rectangle.
This post has been edited 3 times. Last edited by djmathman, Aug 1, 2015, 2:55 AM
Reason: No point in having link to broken image if asymptote is already there
Z K Y
The post below has been deleted. Click to close.
This post has been deleted. Click here to see post.
orl
3647 posts
#2 • 2 Y
Y by Adventure10, Mango247
This problem looks like a traditional Saint-Petersburg or 239MO problem, respectively. It is kind of common usage to make use of such problems over and over again. :)
Z K Y
The post below has been deleted. Click to close.
This post has been deleted. Click here to see post.
Peter Scholze
644 posts
#3 • 2 Y
Y by Adventure10, Mango247
solution from Christian Sattler(Germany): first we define an involution on the hooks: send every hook to the one which includes the square where the hook goes around. it is clear that this is an involution, so the number of hooks is even. it immediately follows that 12 | mn. there are three cases(wlog 3 divides m): 3 divides m and 4 divides n(trivial since we can do 3x4-rectangles), 12 divides m, then n can be arbritarily, but not equal to 1,2 or 5(it is clear that n is not 1,2, and 5 is easy to exclude. in all other cases we may write n as linear combination of 3 and 4 with positive coefficients and we can use 3x4-rectangles again taking rows of 3x4-rectangles or 4x3-rectangles). so we are left with the case 6 | m and 2 | n. so look again at our involution: it shows that our hooks appear in pairs of the possible forms: either 3x4-rectangles or something similar to an S:
.===
.===
===.
===.
now mark every second row. it is easy to see that there are always 6 out of the 12 squares of the S are marked, the same for horizontal 3x4-rectangles, but vertical 3x4-rectangles have either 4 or 8 squares marked, that shows that there's an even number of them. doing the same with columns, we get that the total number of 3x4-rectangles is even. now, look at the coloring of
.==.
=..=
.==.
=..=
and periodic. it is easy to see that 6 out of 12 squares are marked at 3x4-rectangles, the S upright, the S turned by 90 degree and even distance to the left boundary of the rectangle, but 4 or 8 for an S turned by 90 degree with odd distance to the left boundary. this shows that there's an even number of them and by translating the coloring by 1 to the right and turning it all around, we get that the number of S is even as well. this shows that 24 is a divisor of mn, so we get one of the two other cases.

i only found all solutions but couldn't prove that it are all.

Peter
Z K Y
The post below has been deleted. Click to close.
This post has been deleted. Click here to see post.
janwil
5 posts
#4 • 19 Y
Y by MexicOMM, codyj, Wizard_32, me9hanics, Polynom_Efendi, AlastorMoody, ZHEKSHEN, Adventure10, jeteagle, mathleticguyyy, buffet, happyhippos, Mango247, ATGY, winniep008hfi, and 4 other users
Hi all,

I am the author of this problem (or the one who proposed it actually, the solution is a teamwork). I thought that it might be interesting for the readers of this forum to know the story behind its birth. So here it comes.

In autumn 2003 I gave a problem creation seminar for our young olympiad organizers, since they complained that they were not able to come up with new problems. As the first topic I chose combinatorics and said: "Problem creation in combinatorics is trivial -- take an arbitrary shape (I drew the hook above) and ask whether it is possible to fill some rectangle with these". I never imagined that this would ever become a real olympiad problem, yet to talk about IMO!

Jan
Z K Y
The post below has been deleted. Click to close.
This post has been deleted. Click here to see post.
Kantor
21 posts
#5 • 4 Y
Y by Adventure10, Mango247, winniep008hfi, and 1 other user
Dear Jan,

it would be great if you inform us where do you live, and to post the "official" solution to your problem.

Thanks in advance.

Kantor
Z K Y
The post below has been deleted. Click to close.
This post has been deleted. Click here to see post.
Michael Lipnowski
108 posts
#6 • 3 Y
Y by Adventure10, Mango247, winniep008hfi
I agree with Kantor: the more solutions the merrier.

So please, Jan, post the solution(s) you had in mind.

~Mike
Z K Y
The post below has been deleted. Click to close.
This post has been deleted. Click here to see post.
jsm28
38 posts
#7 • 2 Y
Y by Adventure10, Mango247
http://www.math.ucf.edu/~reid/Polyomino/j6_rect.html gives one proof.
This is indeed an easy sort of problem to create if you don't mind the solution being already known and online.
Z K Y
The post below has been deleted. Click to close.
This post has been deleted. Click here to see post.
rcv
1755 posts
#8 • 2 Y
Y by Adventure10, Mango247
"There is a small hole in the proof of Part 1, pertaining to Figure 3C. The astute reader should be able to find and close the hole."

Edit: Actually, the hole was fatal. The proof has been removed. Sorry.
This post has been edited 1 time. Last edited by rcv, Jul 13, 2004, 11:17 PM
Z K Y
The post below has been deleted. Click to close.
This post has been deleted. Click here to see post.
grobber
7849 posts
#9 • 4 Y
Y by ValidName, Adventure10, Mango247, and 1 other user
Here's a cute way of showing that if a rectangle $6a\times 2b$ can be tiled with $3\times 4$ rectangles then at least one of $a,b$ must be even: we start from a corner of the board and place a $1$ there. Then we continue to the right, placing $i\cdot k$ to the right of $k$ (so the numbers in the squares will be $1,i,-1,-i$). The $n+1$'th row is the $n$'th row multiplied by $i$ (so we write $i\cdot k$ below $k$). Each $3\times 4$ rectangle has the same number of occurences for $1,i,-1,-i$, but it's easy to see that a rectangle of the form $4m+2\times 4n+2$ doesn't satisfy this.
This post has been edited 1 time. Last edited by grobber, Jul 13, 2004, 5:39 AM
Z K Y
The post below has been deleted. Click to close.
This post has been deleted. Click here to see post.
pbornsztein
3005 posts
#10 • 3 Y
Y by Adventure10, gvole, Mango247
Well, the problem in itself is nice, but all these tiling-type problems have been studied a lot and many papers appeared on this kind of problems. Thus, the reference given by jsm28 is not so surprising and this probably appear somewhere else.
This should be sufficient for the jury to eliminate the problem, because some contestants may have known it before.

Pierre.
Z K Y
The post below has been deleted. Click to close.
This post has been deleted. Click here to see post.
Charlydif
72 posts
#11 • 2 Y
Y by Adventure10, Mango247
By some simple observations (but not trivial, in fact i think that the most important part is that of the invultion, there is the magic) the problem reduces to tile a rectangle of shape m*n (with m=6m and n=2nmand nodd) with 3*4 bricks and some S (which shape you probably know).
What we want is to show that the number of S is even, and that the number of 3*4 bricks is even two. From here we deduce that 24 divide mn which contradict the shape of the rectangle.
For the bricks, procede in this way, put the number i-j on the intersection of column i and row j. You can easy check that mod 12 the sum of every S is Zero and that of every brick is 6. But if you look every 2*6 rectangle have sum Zero mod 12, from where the whole rectangle have sum zero, so the number of bricks is even.
For the S, we do the following, call a j-column a column numebr k with j=k mod 4. Put in each 1-column a 1 and in each 3-column a -1. It is easy to check that the sum of all number is 2 mod 4.But bricks have sum Zero mod 4, and the 3333 S too.Now, the S with 2442 square per column have sum +2 or -2 mod 4. Hence Suming over all S we get that there is an odd number of this type of S. For the other type of S (the one with 3333 squares per column) aply the same idea but with rows and we get that of this new type there are an odd number. Then the total number of S is even and we are done.

Ok, when i wrote it i havent read yet that link solution, it make me feel like a fool such nice solution, anyway...here is what i did.
Z K Y
The post below has been deleted. Click to close.
This post has been deleted. Click here to see post.
janwil
5 posts
#12 • 4 Y
Y by aops29, Adventure10, Mango247, winniep008hfi
Hi all,

Sorry for not specifying my country in the first post -- I (and hence also the problem) come from Estonia.

I was afraid that something like the link posted by jsm28 might come up, but there is really no way of telling it before it actually does. Our own solution went pretty much along the lines of this link, so there is not much point in retyping it here. There are several details (e.g. there is also a third way of covering the "center" of this hexamino, but that does not work), but they can be sorted out.

Of course there is a philosophical question "some students might have seen this link". But please consider that the amount of material on Internet is huge and the chance that some student has found Michael Reid's page and memorized the facts about J6 hexamino, is pretty small. Anyway, Michael Reid's page has a lot of information about other tile shapes as well, so why not remember all of them?

Jan
Z K Y
The post below has been deleted. Click to close.
This post has been deleted. Click here to see post.
grobber
7849 posts
#13 • 4 Y
Y by Bobcats, Adventure10, Mango247, and 1 other user
I like this problem, and I have the feeling a lot of solutions will come up :).

Here's another proof that a board $4m+2\times 4n+2$ can't be tiled with J-hexomino's:

First put $1,i,-1,-1$ in the squares of the board like in my first post. In each $3\times 4$ rectangle the elements add up to $0$, so they have $M_4+M_4i$, while in each shape formed by two intertwined hexomino's such that they don't form a $3\times 4$ rectangle (call this shape $S$) the sum is $2,2i,-2$ or $-2i$. The sum of the numbers on the entire board is $2,2i,-2$ or $-2i$ (depending on the number we put in the top left corner), so there must be an odd number of $S$ shapes $(*)$.

If the two $2\times 1$ bits of an $S$ shape are vertical we call that a vertical $S$ shape, and if they're horizontal we call it horizontal.

We now put $i$ on the first line of the board, and continue by putting $i^n$ on the $n$'th line. It's easy to see that the sum of the numbers in the board has form $M_4+2+(M_4+2)i$, and the sum of the numbers in a $3\times 4$ rectangle and in a vertical $S$ is $M_4+(M_4)i$, while for a horizontal $S$ the sum is $M_4+2+(M_4+2)i$, so we must have an odd number of horizontal $S$. By doing the same, but with columns instead of lines, we find an odd number of vertical $S$, so the total number is odd+odd=even, contradicting $(*)$.
This post has been edited 1 time. Last edited by grobber, Jul 13, 2004, 10:03 AM
Z K Y
The post below has been deleted. Click to close.
This post has been deleted. Click here to see post.
pbornsztein
3005 posts
#14 • 2 Y
Y by Adventure10, Mango247
I didn't say that Jan. Your problem is nice, but I thought that an IMO problem had to be not 'well-known' (even if I didn't know it before myself).
In my opinion, tiling problems as this one have given a lot of papers, with quite often elementary solutions, the problem is quite always to find the good invariant/coloration (which indeed can be really hard) and then it probably appeared in some math magazine somewhere, and thus may be known to some contestants. This risk is sufficiently high to think about it.

Pierre.
Z K Y
The post below has been deleted. Click to close.
This post has been deleted. Click here to see post.
Kantor
21 posts
#15 • 3 Y
Y by Adventure10, Mango247, winniep008hfi
I totally agree with Pierre, however the problem is very nice. Anyway, congratulations Jan for your second problem to be considered for an IMO, the first was problem 1 IMO 1999.

Kantor
Z K Y
G
H
=
a