/r/mathriddles

Photograph via snooOG

This subreddit is for anyone to share math or logic related riddles, and try and solve others. Come check it out! This subreddit is designed for viewing on old.reddit.com.

Remember to spoiler tag your answers & flair your posts with the difficulty. Spoiler mode:

Welcome

Welcome to Math Riddles! Post your math and logic puzzles, and try and solve others! While the subreddit aims for math related riddles, all logic puzzles and riddles are welcome as well.

Rules

This subreddit is for people to share math problems that they think others would enjoy solving. It is not intended for helping students with homework problems or explaining mathematical concepts. If you are searching for such a subreddit, you should consider /r/cheatatmathhomework, /r/HomeworkHelp, or /r/learnmath.

Titles should be descriptive of the problem, and sensationalized titles such as "Completely stumped by this problem" or "One of my favorite puzzles" are discouraged.

While math riddles of any difficulty are welcomed, please avoid posing problems whose solution is formulaic and/or trivial (e.g. "What number is 3 more than its double?") In general, if you might expect to see a problem on a typical school exam, don't post it here.

Codebreaking and "guess the rule" type posts are not permitted; if you wish to submit such a post, do so on subreddits such as /r/puzzles.

Puzzles should generally only be posted here if you have enjoyed solving them and want to share that experience with others; if you are trying to discover the answer to a question of yours that you can't solve, you should try asking on /r/math or /r/learnmath depending on the topic.

Image posts are discouraged on /r/mathriddles, and should be linked with more context in a text post. Pictures of text should be transcribed, where possible.


Make sure to spoiler tag your solutions!


Spoiler Tag: >!spoiler!< produces spoiler. This works reddit-wide and on mobile. If subreddit CSS is enabled, the following spoiler formats work as well:

[this text here](#spoiler) will appear as this text here. Hover over it to reveal. Additionally, > > this text here will appear as

this text here

The double blockquotes format is better if you want additional markup within. For just one line it can be simpler to use the (#spoiler) format.

This subreddit is designed for best viewing on Old Reddit; if you use New Reddit, some CSS features will be unavailable.


If you have any ideas for the subreddit, feel free to message the mods!

Flair and Sorting

Always flair your posts with an estimated difficulty. The three levels are listed below. The below buttons also function as sorting, so if you're in the mood for only Hard problems, or only Easy problems, just click one of the buttons below. The left button is unsolved, while the right button is solved.

EasyEasy - S

MediumMedium - S

HardHard - S


If you want to search solely for solved or unsolved problems, regardless of difficulty, just click one of the two buttons below.

UnsolvedSolved


Posts can also be flaired as solved, either by a moderator or by the original poster of the problem. To do this, click the "flair as solved" button below the post, and choose the 'Solved' variant of your post. If your post was initially marked as Medium, then choose Medium - Solved.

This change will change the next to your post to , marking the post as solved.

If a moderator changes your post to solved, and you believe that it still is not, feel free to change it back.

Spoiler Mode

Toggle spoiler mode:

Enable Disable

This button toggles spoiler mode, meaning that all of the comments are hidden until a button is hovered over. This makes all comments visible (even those that are spoiler tagged).

Similar Subreddits

Check out /r/CasualMath and the other puzzle-based subreddits in the buttons at the top left of the subreddit!

/r/mathriddles

27,311 Subscribers

4

Sum of Squares Congruent Pairs

Suppose p is a prime. Suppose n and m are integers such that:

  • 1 <= n <= m <= p
  • n^2 + m^2 = 0 (mod p)

For each p, how many pairs (n,m) are there?

5 Comments
2024/12/10
03:32 UTC

4

Repeats in the LCM of 1,2,3...

Let a(n) be the least common of the first n integers.

  • Show that the longest run of consecutive terms of a(n) with different values is 5: a(1) through a(5).
  • Show that the longest run of consecutive terms of a(n) with the same value is unbounded.
1 Comment
2024/12/09
19:31 UTC

1

The n Days of Christmas

On the first day of Christmas my true love sent to me
partridge in a pear tree

On the second day of Christmas my true love sent to me
Two turtle doves,
And a partridge in a pear tree.

On the third day of Christmas my true love sent to me
Three French hens,
Two turtle doves,
And a partridge in a pear tree.

If this continues, how many gifts will I have on the nth day of Christmas?

2 Comments
2024/12/09
18:52 UTC

6

The Integer-Dimensional Ball

Let Z^n be the n-dimensional grid of integers where the distance between any two points equals the length of their shortest grid path (the taxicab metric). How many points in Z^n have a distance from the origin that is less than or equal to n?

6 Comments
2024/12/08
20:49 UTC

8

Lone Ones Oddly Choose To Self Triple

Show that C(3n,n) is odd if and only if the binary representation of n contains no adjacent 1's.

7 Comments
2024/12/08
20:11 UTC

2

Fibonacci Primes

Show that all primes that appear in the Fibonacci sequence, except 2 and 3, are congruent to 1 mod 4.

3 Comments
2024/12/08
19:36 UTC

9

Turbo the snail avoiding monsters

Turbo the snail plays a game on a board with 2024 rows and 2023 columns. There are hidden monsters in 2022 of the cells. Initially, Turbo does not know where any of the monsters are, but he knows that there is exactly one monster in each row except the first row and the last row, and that each column contains at most one monster.

Turbo makes a series of attempts to go from the first row to the last row. On each attempt, he chooses to start on any cell in the first row, then repeatedly moves to an adjacent cell sharing a common side. (He is allowed to return to a previously visited cell.) If he reaches a cell with a monster, his attempt ends, and he is transported back to the first row to start a new attempt. The monsters do not move, and Turbo remembers whether or not each cell he has visited contains a monster. If he reaches any cell in the last row, his attempt ends and the game is over.

Determine the minimum value of n for which Turbo has a strategy that guarantees reaching the last row on the n-th attempt or earlier, regardless of the locations of the monsters.

3 Comments
2024/12/08
18:44 UTC

1

Compound Instruction

We start with 1 teacher and 1 student on day 1.

  • After 1 day of instruction, a student becomes a teacher.
  • On their nth day of teaching, a teacher will teach n new students.

On the nth day, how many students and teachers are there?

1 Comment
2024/12/08
18:40 UTC

3

Minimizing Bakeries for Bagel Coverage in Infinite Grids

A bagel is a loop of 2a + 2b + 4 unit squares which can be obtained by cutting a concentric a × b hole out of an (a + 2) × (b + 2) rectangle, for some positive integers a and b. (The side of length a of the hole is parallel to the side of length a + 2 of the rectangle.)

Consider an infinite grid of unit square cells. For each even integer n ≥ 8, a bakery of order n is a finite set of cells S such that, for every n-cell bagel B in the grid, there exists a congruent copy of B all of whose cells are in S. (The copy can be translated and rotated.)

We denote by f(n) the smallest possible number of cells in a bakery of order n.

Find a real number α such that, for all sufficiently large even integers n ≥ 8, we have: 1/100 < f(n) / n^α < 100

0 Comments
2024/12/08
18:04 UTC

2

Weekly teacup order riddle

Hi all,

I have a cup of tea in a different coloured mug every day of the week. Blue, Red, Pink, Yellow, Orange, Green and Violet. Next year I plan to change the order so that I'm drinking from a different colour of mug on every day. Trying to figure out the order of mugs for 7 years - so that across the 7 different years every colour of mug is drank from on every day of the week. The tricky part is if possible, it would be great to have it so that the new colour is not adjacent to the previous years day (aka if I had red the first year on Thursday - the second year could not have red drank on Wed or Friday and of course Thursday). It would also be great if the two mugs never were adjacent in the same order You can only have red then yellow once (yellow then red fine)

Year 1 and 2 are already set

M T W T F S S

1 G V B R Y O P

2 B Y P O V G R

3

4

5

6

7

Bonus points if it's possible to have the R O Y G B P V as year 7.

I am a very sad man

https://preview.redd.it/7cze6tyeym5e1.png?width=2048&format=png&auto=webp&s=b4bb1d6aff95eb036d8a37af589e1afdfe4ef75d

0 Comments
2024/12/08
14:35 UTC

9

Sum of Reciprocals of Catalan Numbers

What is the sum of the reciprocals of the Catalan numbers?

6 Comments
2024/12/07
22:14 UTC

5

Sum of Reciprocals of Subperfect Powers

Let a(n) be the sequence of perfect powers except for 1:

  • 4,8,9,16,25,27,32,36,49,64,81,100, . . .

Let b(n) = a(n) - 1, the sequence of subperfect powers.

  • 3,7,8,15,24,26,31,35,48,63,80,99, . . .

What is the sum of the reciprocals of b(n)?

9 Comments
2024/12/05
21:08 UTC

6

Primorials Persist with Integer-Perfectness

Show that all primorials, except for 1 and 2, are integer-perfect.

Primorial numbers: the product of the first n primes.

  • 1, 2, 6, 30, 210, 2310, 30030, 510510, . . .
  • Example: 2*3*5*7*11 = 2310 therefore 2310 is a primorial number.

Integer-Perfect numbers: numbers whose divisors can be partitioned into two disjoint sets with equal sum.

  • 6, 12, 20, 24, 28, 30, 40, 42, 48, 54, 56, 60, 66, . . .
  • Example: 1 + 3 + 4 + 6 + 8 + 16 + 24 = 2 + 12 + 48, therefore 48 is integer-perfect.
1 Comment
2024/12/05
20:49 UTC

3

Minimizing the Sum of Differences Between Permutations

Let π be a given permutation of the set {1, 2, ..., n}. Determine the smallest possible value of

∑ (from i=1 to n) |π(i) - σ(i)|,

where σ is a permutation chosen from the set of all n-cycles. Express the result in terms of the number and lengths of the cycles in the disjoint cycle decomposition of π, including the fixed points.

0 Comments
2024/12/05
15:02 UTC

9

Circle Assignments for Bipartite Planar Graphs

Prove that for any finite bipartite planar graph, one can assign a circle to each vertex such that:

  1. The circles lie in a plane,
  2. Two circles touch if and only if the corresponding vertices are adjacent,
  3. Two circles intersect at exactly two points if the corresponding vertices are not adjacent.
0 Comments
2024/12/05
15:01 UTC

4

Solution Bound for an Affine Map Equation over Finite Fields

Let q > 1 be a power of 2. Let f: F_q^2 → F_q^2 be an affine map over F_2. Prove that the equation

f(x) = x^(q+1)

has at most 2q - 1 solutions.

3 Comments
2024/12/05
15:00 UTC

5

Parity Distribution in a Floor Sequence

Let A > 0 and B = (3 + 2√2)A. Prove that in the infinite sequence a_k = floor(k / √2), for k in (A, B) ∩ Z,the number of even and odd terms differs by at most 2

0 Comments
2024/12/05
14:58 UTC

4

Growth of Ball Counts in a Probabilistic Urn Process

An urn initially contains one red ball and one blue ball. At each step, a ball is selected randomly with uniform probability. The following actions occur based on the selected ball:

If the selected ball is red, one new red ball and one new blue ball are added to the urn.

If the selected ball is blue (for the k-th time it is selected), one new blue ball and 2k + 1 new red balls are added to the urn.

The selected ball is not removed from the urn. Let G(n) represent the total number of balls in the urn after n steps. Prove that there exist constants c > 0 and α > 0 such that, with probability 1,

G(n) / n^α → c as n → ∞.

2 Comments
2024/12/05
14:53 UTC

6

Maximizing Operations in Triangular Mark Configurations

Let n be a positive integer. There are n(n+1)/2 marks, each with a black side and a white side, arranged in an equilateral triangle, where the largest row contains n marks. Initially, all marks have their black side facing up.

An operation consists of selecting a line parallel to one of the sides of the triangle and flipping all the marks on that line.

A configuration is called admissible if it can be reached from the initial configuration by performing a finite number of such operations. For each admissible configuration C, define f(C) as the minimum number of operations required to transform the initial configuration into C.

Determine the maximum possible value of f(C) over all admissible configurations C.

3 Comments
2024/12/04
18:27 UTC

0

Discord server to make a collab between many people and create the hardest puzzle ever!

Imagine you are the best math-logic puzzle creator in the world. You are to make one single puzzle that will revolutionize the universe of puzzles by using math and logic. The puzzle will be unique, like no other ever existed, and it shall be the hardest puzzle ever created and almost impossible to solve, even for the best thinkers in the world and there will be only one concrete answer, without any paradoxes. https://discord.gg/wCxJ6ueC

2 Comments
2024/12/03
15:41 UTC

7

What is the minimum number of friendships that must already exist so that every user could eventually become friends with every other user?

Generalized version of my old post

There are n users on a social network called Mathbook, and some of them are Mathbook-friends. (On Mathbook, friendship is always mutual and permanent.)

Starting now, Mathbook will only allow a new friendship to be formed between two users if they have at least two friends in common. What is the minimum number of friendships that must already exist so that every user could eventually become friends with every other user?

9 Comments
2024/12/03
11:39 UTC

4

Separation of Points by a Line in the Plane

Prove that there exists a positive constant c such that the following statement is true: Consider an integer n > 1, and a set S of n points in the plane such that the distance between any two distinct points in S is at least 1. It follows that there is a line l separating S such that the distance from any point of S to l is at least c * n^(-1/3).

(A line l separates a set of points S if some segment joining two points in S crosses l.)

Note: Weaker results with c * n^(-1/3) replaced by c * n^(-alpha) may be awarded points depending on the value of the constant alpha > 1/3.

2 Comments
2024/12/02
07:11 UTC

5

For which values of alpha can Hephaestus always win the flooding game?

Let alpha ≥ 1 be a real number. Hephaestus and Poseidon play a turn-based game on an infinite grid of unit squares. Before the game starts, Poseidon chooses a finite number of cells to be flooded. Hephaestus is building a levee, which is a subset of unit edges of the grid (called walls) forming a connected, non-self-intersecting path or loop.

The game begins with Hephaestus moving first. On each of Hephaestus's turns, he adds one or more walls to the levee, as long as the total length of the levee is at most alpha * n after his n-th turn. On each of Poseidon's turns, every cell adjacent to an already flooded cell and with no wall between them becomes flooded.

Hephaestus wins if the levee forms a closed loop such that all flooded cells are contained in the interior of the loop, stopping the flood and saving the world. For which values of alpha can Hephaestus guarantee victory in a finite number of turns, no matter how Poseidon chooses the initial flooded cells?

Note: Formally, the levee must consist of lattice points A0, A1, ..., Ak, which are pairwise distinct except possibly A0 = Ak, such that the set of walls is exactly {A0A1, A1A2, ..., Ak-1Ak}. Once a wall is built, it cannot be destroyed. If the levee is a closed loop (i.e., A0 = Ak), Hephaestus cannot add more walls. Since each wall has length 1, the length of the levee is k.

9 Comments
2024/12/02
06:58 UTC

9

Can a Long Snake Turn Around in a Grid??

A snake of length k is an animal that occupies an ordered k-tuple (s1, s2, ..., sk) of cells in an n x n grid of square unit cells. These cells must be pairwise distinct, and si and si+1 must share a side for i = 1, 2, ..., k-1. If the snake is currently occupying (s1, s2, ..., sk) and s is an unoccupied cell sharing a side with s1, the snake can move to occupy (s, s1, ..., sk-1) instead.

The snake has turned around if it occupied (s1, s2, ..., sk) at the beginning, but after a finite number of moves occupies (sk, sk-1, ..., s1) instead.

Determine whether there exists an integer n > 1 such that one can place a snake of length 0.9 * n^2 in an n x n grid that can turn around.

2 Comments
2024/12/02
06:56 UTC

8

Counting  n times m Nice Matrices with Prescribed Properties

An n times m matrix is nice if it contains every integer from 1 to mn exactly once and 1 is the only entry which is the smallest both in its row and in its column. Prove that the number of n times m nice matrices is (nm)!n!m!/(n+m-1)!.

3 Comments
2024/11/30
18:21 UTC

5

Existence of Positive Integers with Exactly  Divisors in  {1,2, ....., n}

Prove that for all sufficiently large positive integers n and a positive integer k <= n, there exists a positive integer m having exactly k divisors in the set {1,2, ....., n}

4 Comments
2024/11/30
18:17 UTC

8

minimum value

What is the minimum value of

[ |a + b + c| * (|a - b| * |b - c| + |c - a| * |b - c| + |a - b| * |c - a|) ] / [ |a - b| * |c - a| * |b - c| ]

over all triples a, b, c of distinct real numbers such that

a^2 + b^2 + c^2 = 2(ab + bc + ca)?

5 Comments
2024/11/29
23:09 UTC

7

Nim with Powers: A Game of Strategy and Parity

A Nim-style game is defined as follows: Two positive integers k and n are given, along with a finite set S of k-tuples of integers (not necessarily positive). At the start of the game, the k-tuple (n, 0, 0, ..., 0) is written on the blackboard.

A legal move consists of erasing the tuple (a1, a2, ..., ak) on the blackboard and replacing it with (a1 + b1, a2 + b2, ..., ak + bk), where (b1, b2, ..., bk) is an element of the set S. Two players take turns making legal moves. The first player to write a negative integer loses. If neither player is ever forced to write a negative integer, the game ends in a draw.

Prove that there exists a choice of k and S such that the following holds: the first player has a winning strategy if n is a power of 2, and otherwise the second player has a winning strategy.

3 Comments
2024/11/29
13:51 UTC

11

Cooperative Strategy in Round-Guessing Games with Limited Information

A. Two players play a cooperative game. They can discuss a strategy prior to the game, however, they cannot communicate and have no information about the other player during the game. The game master chooses one of the players in each round. The player on turn has to guess the number of the current round. Players keep note of the number of rounds they were chosen, however, they have no information about the other player's rounds. If the player's guess is correct, the players are awarded a point. Player's are not notified whether they've scored or not. The players win the game upon collecting 100 points. Does there exist a strategy with which they can surely win the game in a finite number of rounds?

b)How does this game change, if in each round the player on turn has two guesses instead of one, and they are awarded a point if one of the guesses is correct (while keeping all the other rules of the game the same)?

7 Comments
2024/11/29
13:45 UTC

5

Streightedge and compass

It is known and not too hard to prove that any 5 points in the plane define a unique conic section.

My riddle for you is:

Given 5 points in the plane, how would you construct the tangents to the conic they define at one of the points?

2 Comments
2024/11/28
17:27 UTC

Back To Top