Summer and Fall classes are open for enrollment. Schedule today!

G
Topic
First Poster
Last Poster
k a June Highlights and 2025 AoPS Online Class Information
jlacosta   0
Jun 2, 2025
Congratulations to all the mathletes who competed at National MATHCOUNTS! If you missed the exciting Countdown Round, you can watch the video at this link. Are you interested in training for MATHCOUNTS or AMC 10 contests? How would you like to train for these math competitions in half the time? We have accelerated sections which meet twice per week instead of once starting on July 8th (7:30pm ET). These sections fill quickly so enroll today!

[list][*]MATHCOUNTS/AMC 8 Basics
[*]MATHCOUNTS/AMC 8 Advanced
[*]AMC 10 Problem Series[/list]
For those interested in Olympiad level training in math, computer science, physics, and chemistry, be sure to enroll in our WOOT courses before August 19th to take advantage of early bird pricing!

Summer camps are starting this month at the Virtual Campus in math and language arts that are 2 - to 4 - weeks in duration. Spaces are still available - don’t miss your chance to have a transformative summer experience. 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 upcoming events:
[list][*]June 5th, Thursday, 7:30pm ET: Open Discussion with Ben Kornell and Andrew Sutherland, Art of Problem Solving's incoming CEO Ben Kornell and CPO Andrew Sutherland host an Ask Me Anything-style chat. Come ask your questions and get to know our incoming CEO & CPO!
[*]June 9th, Monday, 7:30pm ET, Game Jam: Operation Shuffle!, Come join us to play our second round of Operation Shuffle! If you enjoy number sense, logic, and a healthy dose of luck, this is the game for you. No specific math background is required; all are welcome.[/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, Jun 15 - Oct 12
Monday, Jun 30 - Oct 20
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
Monday, Jun 2 - Sep 22
Sunday, Jun 29 - Oct 26
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
Sunday, Jun 15 - Oct 12
Thursday, Jun 26 - Oct 9
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
Sunday, Jun 1 - Aug 24
Thursday, Jun 12 - Aug 28
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
Tuesday, Nov 4 - Feb 10
Sunday, Dec 7 - Mar 8

Introduction to Number Theory
Monday, Jun 9 - Aug 25
Sunday, Jun 15 - Sep 14
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
Wednesday, Jun 4 - Sep 17
Sunday, Jun 22 - Oct 19
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, Jun 16 - Dec 8
Friday, Jun 20 - Jan 9
Sunday, Jun 29 - Jan 11
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!)

Intermediate: Grades 8-12

Intermediate Algebra
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
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, Jun 22 - Nov 2
Sunday, Sep 28 - Feb 15
Tuesday, Nov 4 - Mar 24

Intermediate Number Theory
Sunday, Jun 1 - Aug 24
Wednesday, Jun 18 - Sep 3
Wednesday, Sep 24 - Dec 17

Precalculus
Sunday, Jun 1 - Nov 9
Monday, Jun 30 - Dec 8
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

Olympiad Geometry
Tuesday, Jun 10 - Aug 26

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

Group Theory
Thursday, Jun 12 - Sep 11

Contest Preparation: Grades 6-12

MATHCOUNTS/AMC 8 Basics
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!)
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
Wednesday, Jun 11 - Aug 27
Sunday, Jun 22 - Sep 21
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
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!)
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
Monday, Jun 30 - Jul 21
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
Thursday, Jun 12 - Aug 28
Sunday, Jun 22 - Sep 21
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
Sunday, Jun 22 - Sep 21
Tuesday, Sep 2 - Nov 18

F=ma Problem Series
Wednesday, Jun 11 - Aug 27
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
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
Thursday, Aug 14 - Oct 30
Sunday, Sep 7 - Nov 23
Tuesday, Dec 2 - Mar 3

Intermediate Programming with Python
Sunday, Jun 1 - Aug 24
Monday, Jun 30 - Sep 22
Friday, Oct 3 - Jan 16

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

Physics

Introduction to Physics
Sunday, Jun 15 - Sep 14
Monday, Jun 23 - Sep 15
Tuesday, Sep 2 - Nov 18
Sunday, Oct 5 - Jan 11
Wednesday, Dec 10 - Mar 11

Physics 1: Mechanics
Monday, Jun 23 - Dec 15
Sunday, Sep 21 - Mar 22
Sunday, Oct 26 - Apr 26

Relativity
Mon, Tue, Wed & Thurs, Jun 23 - Jun 26 (meets every day of the week!)
0 replies
jlacosta
Jun 2, 2025
0 replies
again ineq)
Maksat_B   21
N 7 minutes ago by Sadigly
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
21 replies
Maksat_B
Today at 11:17 AM
Sadigly
7 minutes ago
Inverses and inversion
Vivouaf   0
12 minutes ago
Let $\Omega, \omega$ be circles and $A$ a point in the plane. Denote by $A'$, the inverse of $A$ wrt $\omega$. Perform an inversion at $\Omega$ which sends $\omega$ to $\omega'$, $A$ to $B$, $A'$ to $B'$. Show that $B'$ remains the inverse of $B$ wrt $\omega'$.
0 replies
Vivouaf
12 minutes ago
0 replies
Divisibility Problem
hidummies   1
N 15 minutes ago by ajovanovic
Consider $f(x) = \lfloor \frac{x}{2} \rfloor + \lfloor \frac{x}{3} \rfloor + \lfloor \frac{x}{4} \rfloor  + \lfloor  \frac{x}{5} \rfloor + \cdots$

I am not sure if the following statement is true:

For any integer $k$, there exists some integer $x\ge 2$ such that $k | f(x).$

Please share your insights or references. Thx!

1 reply
hidummies
2 hours ago
ajovanovic
15 minutes ago
cauchy inequality
lahmacun   14
N 18 minutes ago by Sadigly
Let $a,b$ be positive real numbers. Prove that $$\frac{a^4+b^4}{a^3+b^3}\geq\frac{a^2+b^2}{a+b}$$
I have an AM-GM solution. Want to see if there is a Cauchy solution.
14 replies
lahmacun
Jun 17, 2020
Sadigly
18 minutes ago
No more topics!
Connected, not n-colourable graph
mavropnevma   7
N May 31, 2025 by OutKast
Source: Tuymaada 2013, Day 1, Problem 4 Juniors and 3 Seniors
The vertices of a connected graph cannot be coloured with less than $n+1$ colours (so that adjacent vertices have different colours).
Prove that $\dfrac{n(n-1)}{2}$ edges can be removed from the graph so that it remains connected.

V. Dolnikov

EDIT. It is confirmed by the official solution that the graph is tacitly assumed to be finite.
7 replies
mavropnevma
Jul 20, 2013
OutKast
May 31, 2025
Connected, not n-colourable graph
G H J
Source: Tuymaada 2013, Day 1, Problem 4 Juniors and 3 Seniors
The post below has been deleted. Click to close.
This post has been deleted. Click here to see post.
mavropnevma
15142 posts
#1 • 7 Y
Y by Amir Hossein, Smoothy, Vietjung, Adventure10, Mango247, and 2 other users
The vertices of a connected graph cannot be coloured with less than $n+1$ colours (so that adjacent vertices have different colours).
Prove that $\dfrac{n(n-1)}{2}$ edges can be removed from the graph so that it remains connected.

V. Dolnikov

EDIT. It is confirmed by the official solution that the graph is tacitly assumed to be finite.
Z K Y
The post below has been deleted. Click to close.
This post has been deleted. Click here to see post.
mavropnevma
15142 posts
#2 • 6 Y
Y by fermat007, Amir Hossein, Vietjung, Adventure10, Mango247, and 1 other user
In other words, we are asked to show we can remove (at least) $\dfrac{n(n-1)}{2}$ edges of a connected graph $G = (V,E)$, with chromatic number $\chi(G) > n$, so that $G$ remains connected. Although, most likely, the problem refers to finite graphs, the de Bruijn - Erdös theorem allows the consideration of infinite graphs as well.

Theorem.An infinite graph $G$ can be coloured with $k$ colours (so that adjacent vertices bear different colour) if and only if any finite subgraph of it can be thus coloured with $k$ colours.

As a consequence, if $G$ is infinite, with $\chi(G) > n$, then there exists a finite subgraph $H$ of it, with $\chi(H) > n$ (the issue of the connectedness of $H$ is moot, since we may consider its connected component of maximal chromatic number, which must be larger than $n$). We then remove $\dfrac{n(n-1)}{2}$ edges from $H$, and since $G$ was connected, putting back the vertices from $G - H$ keeps the graph connected. In the sequel we will therefore assume $G$ is finite.

Let $m$ be the number of edges of a finite graph $G$; then
\[\chi(G) \leq \dfrac {1} {2} + \sqrt{2m +\dfrac {1} {4}}.\]
Proof. Let be a colouring of $G$ with $k=\chi(G)$ colours. Then $G$ has at least one edge connecting any two colour classes; otherwise we could use a same colour for both classes. Therefore $m\geq \dfrac {k(k-1)} {2}$, the very conclusion we desired. Another (trivial) result is $\chi(G) \leq \Delta(G) + 1$, where $\Delta(G)$ is the largest degree of a vertex of $G$.
In our case we therefore have $m \geq \dfrac {n(n+1)} {2} = \dfrac {n(n-1)} {2} + n$, and at least we now know a graph with $\chi(G)\geq n+1$ has enough edges so we can remove $\dfrac{n(n-1)}{2}$ of them. On the other hand, we also have $\Delta(G) \geq n$.

Let us notice that $\dfrac{n(n-1)}{2}$ is the largest value generally possible; for $G=K_{n+1}$ (the complete graph on $n+1$ vertices $v_1,v_2,\ldots,v_n,v_{n+1}$) we can remove $\displaystyle \binom {n+1} {2} - n = \dfrac{n(n-1)}{2}$ edges (being left with the (connected) Hamiltonian path $v_1v_2\ldots v_nv_{n+1}$ with $n$ edges), but not more.

The solution goes by induction on $|G| + n$. Initial cases are trivial, so we pass right to the induction step. It is easy to see there exists a vertex $v$ which does not disconnect the graph when removed. Let $G - v$.
If $\chi(G - v) > n$, then by the induction hypothesis we may remove from $G - v$ a set $M$ of edges, having $|M| \geq \dfrac{n(n-1)}{2}$, so that the graph remains connected, but then the graph $G' = (V, E\setminus M)$ will also be connected.
Otherwise, since $\chi(G - v) \geq \chi(G) - 1 > n-1$ (in fact then $\chi(G - v) = n$), we may remove from $G - v$ a set $M$ of edges, having $|M| \geq \dfrac{(n-1)(n-2)}{2}$. But clearly $\deg v \geq n$, so we may remove at least $n-1$ edges incident at $v$ from $G' = (V, E\setminus M)$, which therefore remains connected after the removal of (at least) $\dfrac{(n-1)(n-2)}{2} + (n-1) = \dfrac{n(n-1)}{2}$ edges.
Z K Y
The post below has been deleted. Click to close.
This post has been deleted. Click here to see post.
MellowMelon
5850 posts
#3 • 12 Y
Y by Amir Hossein, Nguyenhuyhoang, TheStrangeCharm, GGPiku, Kayak, lifeisgood03, Vietjung, mijail, Adventure10, math_comb01, and 2 other users
Another solution: we color the graph by going through each vertex individually. Pick an arbitrary vertex and give it color number $1$. Then at each step, choose another vertex adjacent to at least one vertex we've colored already, and give it the smallest number color that is valid. Furthermore, each time we give a vertex $v$ a color $k$, we know it is adjacent to colors $1, 2, \ldots, k-1$. If $k \geq 3$, erase the edges connecting $v$ to vertices of color greater than $1$; the graph is still connected.

At the end, we've used all of the colors $1, 2, 3, \ldots, n+1$ at least once, so we've erased at least $1 + 2 + 3 + \cdots + (n-1)= \dfrac {n(n-1)} {2}$ edges. The final graph is still connected, so we're done.
Z K Y
The post below has been deleted. Click to close.
This post has been deleted. Click here to see post.
mavropnevma
15142 posts
#4 • 6 Y
Y by Amir Hossein, Vietjung, Adventure10, Mango247, and 2 other users
The above is based in essence on the following

Proposition 1.4.1. [Reinhard Diestel - Graph Theory] The vertices of a connected (finite) graph $G$ can always be enumerated, say as $v_1,\ldots,v_{|G|}$, so that $G_i := G[v_1,\ldots,v_i]$ is connected for every $i$.

Now the coloring is done running through the enumeration provided by this proposition, via the greedy algorithm, and the removal of edges is done as stated above. Quite short and sweet.
Z K Y
The post below has been deleted. Click to close.
This post has been deleted. Click here to see post.
Kayak
1298 posts
#5 • 2 Y
Y by Adventure10, Mango247
This is most probably a silly question, but
mavropnevma wrote:
In our case we therefore have $m \geq \dfrac {n(n+1)} {2} = \dfrac {n(n-1)} {2} + n$, and at least we now know a graph with $\chi(G)\geq n+1$ has enough edges so we can remove $\dfrac{n(n-1)}{2}$ of them . On the other hand, we also have $\Delta(G) \geq n$.

I understand how the bound of $|E| \geq \binom{\chi(G)}{2} = \binom{\chi(G)-1}{2} + \chi(G)-1$ is proved, and I also know that how the bound of $\Delta(G) \geq \chi(G) - 1$ is proved, but I don't see how putting them together leads the conclusion of the problem. Can somebody explain how it's relevant to the problem or how mavropnevma reaches to the conclusion in the bolded part ?

I think using these two bounds, you can prove the weaker version that $|E| - \Delta(G) \geq \binom{\chi(G)-1}{2}$ but we need to prove the stronger version $|E|-|V|+1 \geq \binom{\chi(G)-1}{2}$ for the problem, right ?
This post has been edited 2 times. Last edited by Kayak, Jun 19, 2018, 9:49 AM
Reason: Added second part
Z K Y
The post below has been deleted. Click to close.
This post has been deleted. Click here to see post.
fattypiggy123
615 posts
#6 • 3 Y
Y by Kayak, Adventure10, Mango247
The two bounds are not really relevant to the solution --- I guess they are just some of marvropnevma's initial thoughts. My understanding of the bolded part doesn't refer to being able to remove $\frac{n(n-1)}{2}$ edges from $G$ so that it remains connected but rather at the very least there is enough edges for it to be possible that $G$ is connected after removing that many edges (since a connected graph needs at least $n-1$ edges).

If you read through his solution, there is a part where he claims "But clearly $\deg v \geq n$." This doesn't directly follow from $\Delta(G) \geq n$ but the proof is similar so that might be why he mentioned it.
Z K Y
The post below has been deleted. Click to close.
This post has been deleted. Click here to see post.
fukano_2
492 posts
#7
Y by
redacted
This post has been edited 2 times. Last edited by fukano_2, Oct 27, 2021, 10:37 AM
Z K Y
The post below has been deleted. Click to close.
This post has been deleted. Click here to see post.
OutKast
13 posts
#8
Y by
We call a vertex coloring of a graph proper if there are no edges between any two vertices of the same color.

Lemma 1:
If the degree of every vertex is at most $n$, then the vertices can be properly colored using $n+1$ colors.

Proof:
Let the set of available colors be $[1, 2, \dots, n+1]$.
We color the vertices one by one. For each vertex, we assign it the smallest color that has not been used by any of its neighbors.
Since each vertex has at most $n$ neighbors, there is always at least one unused color among the $n+1$, so this greedy coloring procedure succeeds.
Hence, a proper coloring with $n+1$ colors exists.



Lemma 2:
If a graph cannot be properly colored with $n$ colors, then it contains a connected subgraph in which the degree of every vertex is at least $n$.

Proof:
We proceed by contradiction. Suppose the graph contains no such subgraph.
Then, repeatedly remove any vertex with degree less than $n$.
If the removal of a vertex causes another vertex’s degree to drop below $n$, we remove that one too.
Since no subgraph with all degrees $\geq n$ exists, this process eventually removes all the vertices.

Now reverse the process: add back the vertices one by one in reverse order of deletion.
At each step, the degree of the newly added vertex (in the current graph) is less than $n$.
By Lemma 1, we can assign it a color using at most $n$ colors, maintaining a proper coloring throughout the reconstruction.
Therefore, the entire graph can be properly colored with $n$ colors — a contradiction.

Hence, such a connected subgraph must exist
.
—————

Now we proceed to the solution.
By Lemma 2, the graph contains a connected subgraph in which every vertex has degree at least $n$.
We now prove that we can remove $\dfrac{n(n-1)}{2}$ edges from this subgraph and it remains connected.

Let this subgraph contain $N$ vertices. Clearly, $N \geq n + 1$.
Then the number of edges satisfies:

$E - \frac{n(n-1)}{2} = \frac{\sum d(v_j)}{2} - \frac{n(n-1)}{2} \geq \frac{Nn}{2} - \frac{n(n-1)}{2}$

We want to prove that:

$\frac{Nn}{2} - \frac{n(n-1)}{2} \geq N - 1$

This would imply that even after removing $\frac{n(n-1)}{2}$ edges, at least $N - 1$ edges remain — the minimum needed to keep a graph with $N$ vertices connected (i.e. form a spanning tree).

We prove the inequality:

$\frac{Nn}{2} - \frac{n(n-1)}{2} \geq N - 1$

Multiply both sides by 2:

$Nn - n^2 + n \geq 2N - 2$

Bring all terms to one side:

$Nn - 2N - n^2 + n + 2 \geq 0$

Group terms:

$N(n - 2) - n^2 + n + 2 \geq 0$

Now plug in $N = n + 1$ (since $N \geq n + 1$):

$(n+1)(n - 2) - n^2 + n + 2 = 0$

Thus the inequality holds.
So after removing $\frac{n(n-1)}{2}$ edges, the subgraph still contains at least $N - 1$ edges and remains connected.
This post has been edited 1 time. Last edited by OutKast, May 31, 2025, 10:45 PM
Reason: Forget the latex
Z K Y
N Quick Reply
G
H
=
a