Stay ahead of learning milestones! Enroll in a class over the summer!

G
Topic
First Poster
Last Poster
k a April Highlights and 2025 AoPS Online Class Information
jlacosta   0
Apr 2, 2025
Spring is in full swing and summer is right around the corner, what are your plans? At AoPS Online our schedule has new classes starting now through July, so be sure to keep your skills sharp and be prepared for the Fall school year! Check out the schedule of upcoming classes below.

WOOT early bird pricing is in effect, don’t miss out! If you took MathWOOT Level 2 last year, no worries, it is all new problems this year! Our Worldwide Online Olympiad Training program is for high school level competitors. AoPS designed these courses to help our top students get the deep focus they need to succeed in their specific competition goals. Check out the details at this link for all our WOOT programs in math, computer science, chemistry, and physics.

Looking for summer camps in math and language arts? Be sure to check out the video-based summer camps offered at the Virtual Campus that are 2- to 4-weeks in duration. There are middle and high school competition math camps as well as Math Beasts camps that review key topics coupled with fun explorations covering areas such as graph theory (Math Beasts Camp 6), cryptography (Math Beasts Camp 7-8), and topology (Math Beasts Camp 8-9)!

Be sure to mark your calendars for the following events:
[list][*]April 3rd (Webinar), 4pm PT/7:00pm ET, Learning with AoPS: Perspectives from a Parent, Math Camp Instructor, and University Professor
[*]April 8th (Math Jam), 4:30pm PT/7:30pm ET, 2025 MATHCOUNTS State Discussion
April 9th (Webinar), 4:00pm PT/7:00pm ET, Learn about Video-based Summer Camps at the Virtual Campus
[*]April 10th (Math Jam), 4:30pm PT/7:30pm ET, 2025 MathILy and MathILy-Er Math Jam: Multibackwards Numbers
[*]April 22nd (Webinar), 4:00pm PT/7:00pm ET, Competitive Programming at AoPS (USACO).[/list]
Our full course list for upcoming classes is below:
All classes run 7:30pm-8:45pm ET/4:30pm - 5:45pm PT unless otherwise noted.

Introductory: Grades 5-10

Prealgebra 1 Self-Paced

Prealgebra 1
Sunday, Apr 13 - Aug 10
Tuesday, May 13 - Aug 26
Thursday, May 29 - Sep 11
Sunday, Jun 15 - Oct 12
Monday, Jun 30 - Oct 20
Wednesday, Jul 16 - Oct 29

Prealgebra 2 Self-Paced

Prealgebra 2
Sunday, Apr 13 - Aug 10
Wednesday, May 7 - Aug 20
Monday, Jun 2 - Sep 22
Sunday, Jun 29 - Oct 26
Friday, Jul 25 - Nov 21

Introduction to Algebra A Self-Paced

Introduction to Algebra A
Monday, Apr 7 - Jul 28
Sunday, May 11 - Sep 14 (1:00 - 2:30 pm ET/10:00 - 11:30 am PT)
Wednesday, May 14 - Aug 27
Friday, May 30 - Sep 26
Monday, Jun 2 - Sep 22
Sunday, Jun 15 - Oct 12
Thursday, Jun 26 - Oct 9
Tuesday, Jul 15 - Oct 28

Introduction to Counting & Probability Self-Paced

Introduction to Counting & Probability
Wednesday, Apr 16 - Jul 2
Thursday, May 15 - Jul 31
Sunday, Jun 1 - Aug 24
Thursday, Jun 12 - Aug 28
Wednesday, Jul 9 - Sep 24
Sunday, Jul 27 - Oct 19

Introduction to Number Theory
Thursday, Apr 17 - Jul 3
Friday, May 9 - Aug 1
Wednesday, May 21 - Aug 6
Monday, Jun 9 - Aug 25
Sunday, Jun 15 - Sep 14
Tuesday, Jul 15 - Sep 30

Introduction to Algebra B Self-Paced

Introduction to Algebra B
Wednesday, Apr 16 - Jul 30
Tuesday, May 6 - Aug 19
Wednesday, Jun 4 - Sep 17
Sunday, Jun 22 - Oct 19
Friday, Jul 18 - Nov 14

Introduction to Geometry
Wednesday, Apr 23 - Oct 1
Sunday, May 11 - Nov 9
Tuesday, May 20 - Oct 28
Monday, Jun 16 - Dec 8
Friday, Jun 20 - Jan 9
Sunday, Jun 29 - Jan 11
Monday, Jul 14 - Jan 19

Intermediate: Grades 8-12

Intermediate Algebra
Monday, Apr 21 - Oct 13
Sunday, Jun 1 - Nov 23
Tuesday, Jun 10 - Nov 18
Wednesday, Jun 25 - Dec 10
Sunday, Jul 13 - Jan 18
Thursday, Jul 24 - Jan 22

Intermediate Counting & Probability
Wednesday, May 21 - Sep 17
Sunday, Jun 22 - Nov 2

Intermediate Number Theory
Friday, Apr 11 - Jun 27
Sunday, Jun 1 - Aug 24
Wednesday, Jun 18 - Sep 3

Precalculus
Wednesday, Apr 9 - Sep 3
Friday, May 16 - Oct 24
Sunday, Jun 1 - Nov 9
Monday, Jun 30 - Dec 8

Advanced: Grades 9-12

Olympiad Geometry
Tuesday, Jun 10 - Aug 26

Calculus
Tuesday, May 27 - Nov 11
Wednesday, Jun 25 - Dec 17

Group Theory
Thursday, Jun 12 - Sep 11

Contest Preparation: Grades 6-12

MATHCOUNTS/AMC 8 Basics
Wednesday, Apr 16 - Jul 2
Friday, May 23 - Aug 15
Monday, Jun 2 - Aug 18
Thursday, Jun 12 - Aug 28
Sunday, Jun 22 - Sep 21
Tues & Thurs, Jul 8 - Aug 14 (meets twice a week!)

MATHCOUNTS/AMC 8 Advanced
Friday, Apr 11 - Jun 27
Sunday, May 11 - Aug 10
Tuesday, May 27 - Aug 12
Wednesday, Jun 11 - Aug 27
Sunday, Jun 22 - Sep 21
Tues & Thurs, Jul 8 - Aug 14 (meets twice a week!)

AMC 10 Problem Series
Friday, May 9 - Aug 1
Sunday, Jun 1 - Aug 24
Thursday, Jun 12 - Aug 28
Tuesday, Jun 17 - Sep 2
Sunday, Jun 22 - Sep 21 (1:00 - 2:30 pm ET/10:00 - 11:30 am PT)
Monday, Jun 23 - Sep 15
Tues & Thurs, Jul 8 - Aug 14 (meets twice a week!)

AMC 10 Final Fives
Sunday, May 11 - Jun 8
Tuesday, May 27 - Jun 17
Monday, Jun 30 - Jul 21

AMC 12 Problem Series
Tuesday, May 27 - Aug 12
Thursday, Jun 12 - Aug 28
Sunday, Jun 22 - Sep 21
Wednesday, Aug 6 - Oct 22

AMC 12 Final Fives
Sunday, May 18 - Jun 15

F=ma Problem Series
Wednesday, Jun 11 - Aug 27

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, May 22 - Aug 7
Sunday, Jun 15 - Sep 14 (1:00 - 2:30 pm ET/10:00 - 11:30 am PT)
Tuesday, Jun 17 - Sep 2
Monday, Jun 30 - Sep 22

Intermediate Programming with Python
Sunday, Jun 1 - Aug 24
Monday, Jun 30 - Sep 22

USACO Bronze Problem Series
Tuesday, May 13 - Jul 29
Sunday, Jun 22 - Sep 1

Physics

Introduction to Physics
Wednesday, May 21 - Aug 6
Sunday, Jun 15 - Sep 14
Monday, Jun 23 - Sep 15

Physics 1: Mechanics
Thursday, May 22 - Oct 30
Monday, Jun 23 - Dec 15

Relativity
Sat & Sun, Apr 26 - Apr 27 (4:00 - 7:00 pm ET/1:00 - 4:00pm PT)
Mon, Tue, Wed & Thurs, Jun 23 - Jun 26 (meets every day of the week!)
0 replies
jlacosta
Apr 2, 2025
0 replies
k i Adding contests to the Contest Collections
dcouchman   1
N Apr 5, 2023 by v_Enhance
Want to help AoPS remain a valuable Olympiad resource? Help us add contests to AoPS's Contest Collections.

Find instructions and a list of contests to add here: https://artofproblemsolving.com/community/c40244h1064480_contests_to_add
1 reply
dcouchman
Sep 9, 2019
v_Enhance
Apr 5, 2023
k i Zero tolerance
ZetaX   49
N May 4, 2019 by NoDealsHere
Source: Use your common sense! (enough is enough)
Some users don't want to learn, some other simply ignore advises.
But please follow the following guideline:


To make it short: ALWAYS USE YOUR COMMON SENSE IF POSTING!
If you don't have common sense, don't post.


More specifically:

For new threads:


a) Good, meaningful title:
The title has to say what the problem is about in best way possible.
If that title occured already, it's definitely bad. And contest names aren't good either.
That's in fact a requirement for being able to search old problems.

Examples:
Bad titles:
- "Hard"/"Medium"/"Easy" (if you find it so cool how hard/easy it is, tell it in the post and use a title that tells us the problem)
- "Number Theory" (hey guy, guess why this forum's named that way¿ and is it the only such problem on earth¿)
- "Fibonacci" (there are millions of Fibonacci problems out there, all posted and named the same...)
- "Chinese TST 2003" (does this say anything about the problem¿)
Good titles:
- "On divisors of a³+2b³+4c³-6abc"
- "Number of solutions to x²+y²=6z²"
- "Fibonacci numbers are never squares"


b) Use search function:
Before posting a "new" problem spend at least two, better five, minutes to look if this problem was posted before. If it was, don't repost it. If you have anything important to say on topic, post it in one of the older threads.
If the thread is locked cause of this, use search function.

Update (by Amir Hossein). The best way to search for two keywords in AoPS is to input
[code]+"first keyword" +"second keyword"[/code]
so that any post containing both strings "first word" and "second form".


c) Good problem statement:
Some recent really bad post was:
[quote]$lim_{n\to 1}^{+\infty}\frac{1}{n}-lnn$[/quote]
It contains no question and no answer.
If you do this, too, you are on the best way to get your thread deleted. Write everything clearly, define where your variables come from (and define the "natural" numbers if used). Additionally read your post at least twice before submitting. After you sent it, read it again and use the Edit-Button if necessary to correct errors.


For answers to already existing threads:


d) Of any interest and with content:
Don't post things that are more trivial than completely obvious. For example, if the question is to solve $x^{3}+y^{3}=z^{3}$, do not answer with "$x=y=z=0$ is a solution" only. Either you post any kind of proof or at least something unexpected (like "$x=1337, y=481, z=42$ is the smallest solution). Someone that does not see that $x=y=z=0$ is a solution of the above without your post is completely wrong here, this is an IMO-level forum.
Similar, posting "I have solved this problem" but not posting anything else is not welcome; it even looks that you just want to show off what a genius you are.

e) Well written and checked answers:
Like c) for new threads, check your solutions at least twice for mistakes. And after sending, read it again and use the Edit-Button if necessary to correct errors.



To repeat it: ALWAYS USE YOUR COMMON SENSE IF POSTING!


Everything definitely out of range of common sense will be locked or deleted (exept for new users having less than about 42 posts, they are newbies and need/get some time to learn).

The above rules will be applied from next monday (5. march of 2007).
Feel free to discuss on this here.
49 replies
ZetaX
Feb 27, 2007
NoDealsHere
May 4, 2019
Romanian National Olympiad 1997 - Grade 10 - Problem 4
Filipjack   0
8 minutes ago
Source: Romanian National Olympiad 1997 - Grade 10 - Problem 4
Let $a_0,$ $a_1,$ $\ldots,$ $a_n$ be complex numbers such that [center]$|a_nz^n+a_{n-1}z^{n-1}+\ldots+a_1z+a_0| \le 1,$ for any $z \in \mathbb{C}$ with $|z|=1.$[/center]

Prove that $|a_k| \le 1$ and $|a_0+a_1+\ldots+a_n-(n+1)a_k| \le n,$ for any $k=\overline{0,n}.$
0 replies
+1 w
Filipjack
8 minutes ago
0 replies
Simple cube root inequality [Taiwan 2014 Quizzes]
v_Enhance   43
N 9 minutes ago by arqady
Prove that for positive reals $a$, $b$, $c$ we have \[ 3(a+b+c) \ge 8\sqrt[3]{abc} + \sqrt[3]{\frac{a^3+b^3+c^3}{3}}. \]
43 replies
v_Enhance
Jul 18, 2014
arqady
9 minutes ago
Sequence of projections is convergent
Filipjack   0
17 minutes ago
Source: Romanian National Olympiad 1997 - Grade 10 - Problem 3
A point $A_0$ and two lines $d_1$ and $d_2$ are given in the space. For each nonnegative integer $n$ we denote by $B_n$ the projection of $A_n$ on $d_2,$ and by $A_{n+1}$ the projection of $B_n$ on $d_1.$ Prove that there exist two segments $[A'A''] \subset d_1$ and $[B'B''] \subset d_2$ of length $0.001$ and a nonnegative integer $N$ such that $A_n \in [A'A'']$ and $B_n \in [B'B'']$ for any $n \ge N.$
0 replies
Filipjack
17 minutes ago
0 replies
IMO ShortList 2008, Number Theory problem 3
April   23
N 34 minutes ago by L13832
Source: IMO ShortList 2008, Number Theory problem 3
Let $ a_0$, $ a_1$, $ a_2$, $ \ldots$ be a sequence of positive integers such that the greatest common divisor of any two consecutive terms is greater than the preceding term; in symbols, $ \gcd (a_i, a_{i + 1}) > a_{i - 1}$. Prove that $ a_n\ge 2^n$ for all $ n\ge 0$.

Proposed by Morteza Saghafian, Iran
23 replies
April
Jul 9, 2009
L13832
34 minutes ago
Right-angled triangle if circumcentre is on circle
liberator   76
N an hour ago by numbertheory97
Source: IMO 2013 Problem 3
Let the excircle of triangle $ABC$ opposite the vertex $A$ be tangent to the side $BC$ at the point $A_1$. Define the points $B_1$ on $CA$ and $C_1$ on $AB$ analogously, using the excircles opposite $B$ and $C$, respectively. Suppose that the circumcentre of triangle $A_1B_1C_1$ lies on the circumcircle of triangle $ABC$. Prove that triangle $ABC$ is right-angled.

Proposed by Alexander A. Polyansky, Russia
76 replies
liberator
Jan 4, 2016
numbertheory97
an hour ago
APMO 2016: Great triangle
shinichiman   26
N 2 hours ago by ray66
Source: APMO 2016, problem 1
We say that a triangle $ABC$ is great if the following holds: for any point $D$ on the side $BC$, if $P$ and $Q$ are the feet of the perpendiculars from $D$ to the lines $AB$ and $AC$, respectively, then the reflection of $D$ in the line $PQ$ lies on the circumcircle of the triangle $ABC$. Prove that triangle $ABC$ is great if and only if $\angle A = 90^{\circ}$ and $AB = AC$.

Senior Problems Committee of the Australian Mathematical Olympiad Committee
26 replies
shinichiman
May 16, 2016
ray66
2 hours ago
IMO ShortList 2001, geometry problem 2
orl   48
N 2 hours ago by legogubbe
Source: IMO ShortList 2001, geometry problem 2
Consider an acute-angled triangle $ABC$. Let $P$ be the foot of the altitude of triangle $ABC$ issuing from the vertex $A$, and let $O$ be the circumcenter of triangle $ABC$. Assume that $\angle C \geq \angle B+30^{\circ}$. Prove that $\angle A+\angle COP < 90^{\circ}$.
48 replies
orl
Sep 30, 2004
legogubbe
2 hours ago
Projective Electrostatistics
drago.7437   0
2 hours ago
Source: Own
Given two charges of any magnitude , a third charge collinear with them , exists such that it is in equillibirum , Prove that if a fourth charge in the same line exists such that it is in equillibrium , then the 3rd charge and the fourth charge are harmonic conjugates with respect to the two fixed charges . , For example if two +q charges are fixed then if in their midpoint placed a charge -q , it is in equillibrium , also if the same charge -q is placed at infinity the system is again in equillibrium , and the midpoint and the point at infinity are harmonic conjugates .
0 replies
drago.7437
2 hours ago
0 replies
Find an angle
socrates   3
N 2 hours ago by Nari_Tom
Source: Baltic Way 2016, Problem 18
Let $ABCD$ be a parallelogram such that $\angle BAD = 60^{\circ}.$ Let $K$ and $L$ be the midpoints of $BC$ and $CD,$ respectively. Assuming that $ABKL$ is a cyclic quadrilateral, find $\angle ABD.$
3 replies
socrates
Nov 5, 2016
Nari_Tom
2 hours ago
Two Orthocenters and an Invariant Point
Mathdreams   1
N 3 hours ago by RANDOM__USER
Source: 2025 Nepal Mock TST Day 1 Problem 3
Let $\triangle{ABC}$ be a triangle, and let $P$ be an arbitrary point on line $AO$, where $O$ is the circumcenter of $\triangle{ABC}$. Define $H_1$ and $H_2$ as the orthocenters of triangles $\triangle{APB}$ and $\triangle{APC}$. Prove that $H_1H_2$ passes through a fixed point which is independent of the choice of $P$.

(Kritesh Dhakal, Nepal)
1 reply
Mathdreams
4 hours ago
RANDOM__USER
3 hours ago
Geometry
youochange   2
N 3 hours ago by youochange
m:}
Let $\triangle ABC$ be a triangle inscribed in a circle, where the tangents to the circle at points $B$ and $C$ intersect at the point $P$. Let $M$ be a point on the arc $AC$ (not containing $B$) such that $M \neq A$ and $M \neq C$. Let the lines $BC$ and $AM$ intersect at point $K$. Let $P'$ be the reflection of $P$ with respect to the line $AM$. The lines $AP'$ and $PM$ intersect at point $Q$, and $PM$ intersects the circumcircle of $\triangle ABC$ again at point $N$.

Prove that the point $Q$ lies on the circumcircle of $\triangle ANK$.
2 replies
youochange
6 hours ago
youochange
3 hours ago
Beautiful problem
luutrongphuc   20
N 3 hours ago by r7di048hd3wwd3o3w58q
Let triangle $ABC$ be circumscribed about circle $(I)$, and let $H$ be the orthocenter of $\triangle ABC$. The circle $(I)$ touches line $BC$ at $D$. The tangent to the circle $(BHC)$ at $H$ meets $BC$ at $S$. Let $J$ be the midpoint of $HI$, and let the line $DJ$ meet $(I)$ again at $X$. The tangent to $(I)$ parallel to $BC$ meets the line $AX$ at $T$. Prove that $ST$ is tangent to $(I)$.
20 replies
luutrongphuc
Apr 4, 2025
r7di048hd3wwd3o3w58q
3 hours ago
Common tangent to diameter circles
Stuttgarden   1
N 3 hours ago by jrpartty
Source: Spain MO 2025 P2
The cyclic quadrilateral $ABCD$, inscribed in the circle $\Gamma$, satisfies $AB=BC$ and $CD=DA$, and $E$ is the intersection point of the diagonals $AC$ and $BD$. The circle with center $A$ and radius $AE$ intersects $\Gamma$ in two points $F$ and $G$. Prove that the line $FG$ is tangent to the circles with diameters $BE$ and $DE$.
1 reply
Stuttgarden
Mar 31, 2025
jrpartty
3 hours ago
Ratios in a right triangle
PNT   1
N 4 hours ago by Mathzeus1024
Source: Own.
Let $ABC$ be a right triangle in $A$ with $AB<AC$. Let $M$ be the midpoint of $AB$ and $D$ a point on $AC$ such that $DC=DB$. Let $X=(BDC)\cap MD$.
Compute in terms of $AB,BC$ and $AC$ the ratio $\frac{BX}{DX}$.
1 reply
PNT
Jun 9, 2023
Mathzeus1024
4 hours ago
Every rectangle is formed from a number of full squares
orl   9
N Apr 2, 2025 by akliu
Source: IMO ShortList 1974, Bulgaria 1, IMO 1997, Day 2, Problem 1
Consider decompositions of an $8\times 8$ chessboard into $p$ non-overlapping rectangles subject to the following conditions:
(i) Each rectangle has as many white squares as black squares.
(ii) If $a_i$ is the number of white squares in the $i$-th rectangle, then $a_1<a_2<\ldots <a_p$.
Find the maximum value of $p$ for which such a decomposition is possible. For this value of $p$, determine all possible sequences $a_1,a_2,\ldots ,a_p$.
9 replies
orl
Oct 29, 2005
akliu
Apr 2, 2025
Every rectangle is formed from a number of full squares
G H J
Source: IMO ShortList 1974, Bulgaria 1, IMO 1997, Day 2, Problem 1
The post below has been deleted. Click to close.
This post has been deleted. Click here to see post.
orl
3647 posts
#1 • 4 Y
Y by Adventure10, Mango247, ItsBesi, cubres
Consider decompositions of an $8\times 8$ chessboard into $p$ non-overlapping rectangles subject to the following conditions:
(i) Each rectangle has as many white squares as black squares.
(ii) If $a_i$ is the number of white squares in the $i$-th rectangle, then $a_1<a_2<\ldots <a_p$.
Find the maximum value of $p$ for which such a decomposition is possible. For this value of $p$, determine all possible sequences $a_1,a_2,\ldots ,a_p$.
Z K Y
The post below has been deleted. Click to close.
This post has been deleted. Click here to see post.
WakeUp
1347 posts
#2 • 3 Y
Y by sohere, Adventure10, Mango247
Since each rectangle has the same number of black squares as white squares, $a_1+a_2+\ldots +a_p=\frac{64}{2}=32$. Clearly $a_i\ge i$ for $i=1$ to $i=p$ so $32=a_1+a_2+\ldots + a_p\ge 1+2+\ldots +p=\frac{p(p+1)}{2}$ so this forces $p\le 7$. It is possible to decompose the board into $7$ rectangles, as we will show later. But first let us find all such sequences $a_i$.
Now $32-a_7=a_1+a_2+\ldots +a_6\ge 1+2+\ldots +6=21\implies 11\le a_7$. For a rectangle to have $11$ white squares, it will have an area of $22$ so it's dimensions are either $1\times 22$ or $2\times 11$ - neither of which would fit on a $8\times 8$ board. So $a_7\not= 11\implies a_7\le 10$.

If $a_7=10$ (which could fit as a $4\times 5$ rectangle) then $a_1+a_2+\ldots a_6=22$. Then $22-a_6\ge 1+2+\ldots +5=15$ so $7\ge a_6$. So $a_1,a_2,\ldots ,a_6$ are 6 numbers among 1-7. If $1\le k\le 7$ is the number that is not equal to any $a_i$, then $22=a_1+a_2+\ldots +a_7=1+2+\ldots +7-k=28-k$ so $k=6$. Then $a_1=1,a_2=2,a_3=3,a_4=4,a_5=5,a_6=7,a_7=10$. Such a decomposition is possible. Take a $4\times 5$ rectangle on the top left corner, where there are $4$ squares horizontally and $5$ vertically. Then directly below use a $7\times 2,1\times 2$ and a $8\times 1$ rectangle to cover the 3 rows below it. It's simple from there.

Similarly, you can find the other possibilities as $\{a_1,a_2,\ldots ,a_7\}=\{1,2,3,4,5,8,9\}$ or $\{1,2,3,4,6,7,9\}$ or $\{1,2,3,5,6,7,8\}$. Tilings are not hard to find :)
Z K Y
The post below has been deleted. Click to close.
This post has been deleted. Click here to see post.
quangminhltv99
768 posts
#3 • 2 Y
Y by Adventure10, Mango247
My solution
This post has been edited 1 time. Last edited by quangminhltv99, Aug 30, 2016, 8:29 AM
Z K Y
The post below has been deleted. Click to close.
This post has been deleted. Click here to see post.
v_Enhance
6871 posts
#4 • 1 Y
Y by MS_asdfgzxcvb
Here's an illustration of all four tilings.
Source code
Attachments:
Z K Y
The post below has been deleted. Click to close.
This post has been deleted. Click here to see post.
EpicBird08
1742 posts
#5
Y by
We claim that the answer is $\boxed{p = 7},$ achieved with $(a_1,a_2,a_3,a_4,a_5,a_6,a_7) = (1,2,3,4,5,8,9),(1,2,3,4,5,7,10), (1,2,3,4,6,7,9),(1,2,3,5,6,7,8).$

First note that $p \le 7$ since otherwise $2(a_1+a_2+\dots+a_p) \ge 2(1+2+\dots + 8) \ge 72 > 64,$ which is a clear contradiction. For $p = 7,$ the only possible ordered tuples $(a_1,a_2,a_3,a_4,a_5,a_6,a_7)$ such that $a_1 < a_2 < a_3 < a_4 < a_5 < a_6 < a_7$ and $a_1 + a_2 + \dots + a_7 = 32$ are $$(a_1,a_2,a_3,a_4,a_5,a_6,a_7) = (1,2,3,4,5,8,9),(1,2,3,4,5,7,10), (1,2,3,4,6,7,9),(1,2,3,5,6,7,8),(1,2,3,4,5,6,11).$$The last tuple does not have a construction since that would require us to have a rectangle of area $22$ with sidelengths less than or equal to $8,$ which is clearly impossible. The other four tuples are possible, as shown by the pictures below, proving our claim.
Attachments:
Z K Y
The post below has been deleted. Click to close.
This post has been deleted. Click here to see post.
Markas
105 posts
#6
Y by
$a_1 < a_2 \cdots < a_p$. We know that the i-th rectangle has $a_i$ white and $a_i$ black, or $2a_i$ squares altogether. Let $p \geq 8$ $\Rightarrow$ $a_1 \geq 1$ and $a_8 \geq 8$ $\Rightarrow$ $2(a_1 + a_2 + \cdots + a_8) \geq 2(1 + 2 + \cdots + 8) = 2.\frac{8.9}{2} = 72$ but the total number of cells in the table is 8.8 = 64, but since 72 is larger than 64, $p < 8$. We search for the largest possible p. We showed $p < 8$ $\Rightarrow$ we will prove p = 7 works, and we will find all ordered tuples $(a_1, a_2, a_3, a_4, a_5, a_6, a_7)$. We want $2(a_1 + \cdots a_7) = 64$ $\Rightarrow$ $a_1 + a_2 \cdots a_7 = 32$, where $a_1 < a_2 \cdots < a_7$ $\Rightarrow$ the ordered tuples we could get this way are $(a_1, a_2, a_3, a_4, a_5, a_6, a_7) = (1,2,3,4,5,7,10),(1,2,3,4,5,8,9), (1,2,3,4,6,7,9),(1,2,3,5,6,7,8),(1,2,3,4,5,6,11)$. The last tuple doesn't work, since rectangle with area 22, can be only 2x11, but the largest side of the table is 8. The other tuples are achievable and examples are easily drawn. So the answer is p = 7, achievable with $(a_1,a_2,a_3,a_4,a_5,a_6,a_7) = (1,2,3,4,5,8,9),(1,2,3,4,5,7,10), (1,2,3,4,6,7,9),(1,2,3,5,6,7,8)$.
Z K Y
The post below has been deleted. Click to close.
This post has been deleted. Click here to see post.
eg4334
617 posts
#7 • 1 Y
Y by MS_asdfgzxcvb
Ban this problem.
The answer is just $7$. $8$ is not possible because we need distinct even integers to sum to $64$ by area which is not possible cause $2(1+2+\dots+8) = 72 > 64$.
So basically we need distinct integers $b_1, b_2, \dots b_7$ s.t. $$\sum b_i = 32$$After a check we can just find four viable pairs becuase one has $b_7=11$ which is clearly not possible. The others are possible but I don't know how to asy.
Z K Y
The post below has been deleted. Click to close.
This post has been deleted. Click here to see post.
blueprimes
325 posts
#8
Y by
The optimum is $p = 7$, attainable with $(1, 2, 3, 5, 6, 7, 8), (1, 2, 3, 4, 5, 7, 10), (1, 2, 3, 4, 5, 8, 9), (1, 2, 3, 4, 6, 7, 9)$.
We easily have the bound
\[ 1 + 2 + \dots + p = \dfrac{p(p + 1)}{2} \le a_1 + a_2 + \dots + a_p = 32 \implies p \le 7. \]Now we show attainability at $p = 7$, by carefully listing the possible tuples our candidates are
\[ (1, 2, 3, 5, 6, 7, 8), (1, 2, 3, 4, 5, 6, 11), (1, 2, 3, 4, 5, 7, 10), (1, 2, 3, 4, 5, 8, 9), (1, 2, 3, 4, 6, 7, 9). \]Clearly $(1, 2, 3, 4, 5, 6, 11)$ does not work as one of the rectangles would have a side length that is a multiple of $11$, which cannot exist as we are confined to an $8 \times 8$ grid. It is well-known that a rectangle with even area must have an equal number of white and black squares when checkerboard-colored, below are constructions:
Attachments:
Z K Y
The post below has been deleted. Click to close.
This post has been deleted. Click here to see post.
gladIasked
632 posts
#9
Y by
Note that the $i$-th rectangle will have an area of exactly $2a_i$. Thus, we need $2(a_1+\dots+a_p)<64\implies p\le 7$ (clearly $2(1+2+\dots+8)=72>64$). When $p=7$, we obtain the following $5$ sequences:
\begin{align}
    (1, 2, 3, 5, 6, 7, 8),\\
    (1, 2, 3, 4, 5, 6, 11),\\
    (1, 2, 3, 4, 5, 7, 10),\\
    (1, 2, 3, 4, 5, 8, 9),\\
    (1, 2, 3, 4, 6, 7, 9).
\end{align}Sequence $(2)$ fails because we cannot fit a $1\times 22$ or $2\times 11$ rectangle into the chessboard; constructions exist for the four remaining sequences. $\blacksquare$
This post has been edited 1 time. Last edited by gladIasked, Mar 28, 2025, 3:43 PM
Z K Y
The post below has been deleted. Click to close.
This post has been deleted. Click here to see post.
akliu
1764 posts
#10
Y by
The largest value of $p$ for which a decomposition could occur is $7$. For the sake of contradiction, assume that $p=8$ could result in a decomposition. The sequence with smallest sum for $p=8$ is $a_i = i$ for $1 \leq i \leq 8$. Indeed, this sum is $1+2+\dots+8 = 36$, meaning that there are $72$ tiles in total that the rectangles must cover. Since we have an $8$-by-$8$ chessboard, this is impossible. On the other hand, if we have $p=7$, we have $2(1+2+\dots+7) = 56$ tiles to be covered by the rectangles as a minimum. We now want to figure out all the possible ways to add $8$ more tiles to some of the $7$ rectangles that result in a valid decomposition.

We start caseworking here; by our monotonic sequence condition, we arrive at the following cases that we must check: $(1, 2, 3, 4, 5, 6, 11)$, $(1, 2, 3, 4, 5, 7, 10)$, $(1, 2, 3, 4, 5, 8, 9)$, $(1, 2, 3, 4, 6, 7, 9)$, and $(1, 2, 3, 5, 6, 7, 8)$. I don't feel like embedding diagrams in this solution; by the Just Trust In The Process method, it is simple to verify that all of these sequences result in valid decompositions except the first one.
Z K Y
N Quick Reply
G
H
=
a