elementary set theory - How to prove that from "Every infinite cardinal satisfies $a^2=a$" we can prove that $b+c=bc$ for any two infinite cardinals $b,c$?

Prove that if $a^2=a$ for each infinite cardinal $a$ then $b + c = bc$ for any two infinite cardinals $b,c$.

I tried $b+c=(b+c)^2=b^2+2bc+c^2=b+2bc+c$, but then I'm stuck there.

Answer

If you can compare $b$ and $c$, then suppose without loss of generality that $b\leq c$. Then $$bc \leq cc = c \leq b+c \leq c+c = 2c \leq bc.$$

The last inequality because we are assuming $b$ and $c$ are both infinite, so $2\leq b$; the equality $cc=c$ by assumption.

Added${}^{\mathbf{2}}$. From $a^2=a$ for all infinite cardinals, one may deduce the Axiom of Choice (this is a theorem of Tarski's), which in turn is equivalent to the fact that we can compare $b$ and $c$.

If you don't want to go through AC in order to assume comparability of $b$ and $c$, then I would have had some trouble with the problem, though Apostolos's answer together with your $b+c = b+bc+c\geq bc$ does tie it together neatly.

Added. In ZF, the Axiom of Choice is equivalent to the statement that given any two sets $A$ and $B$, either $A$ injects into $B$ or $B$ injects into $A$ (that is, the cardinalities of $A$ and $B$ are comparable). Whether or not we can assume that two cardinals are comparable may depend on what one means by "cardinal".

By "cardinal", I understood a cardinal number, which means an ordinal that is not bijectable with any strictly smaller ordinal, where ordinals are ordered by $\in$ (this is the definition in Jech's Set Theory, under Alephs, page 24: "An ordinal $\alpha$ is called a cardinal number if $|\alpha|\neq|\beta|$ for all $\beta\lt\alpha$." The definition precedes the discussion of the Axiom of Choice, which begins in page 38). The ordering among cardinals is induced by the ordering of ordinals. If that is what we mean by "cardinal", then any two cardinals are certainly comparable (even in ZF without AC), so we will either have $b\leq c$ or $c\leq b$, and there is no loss in generality in assuming the first. But as Asaf points out, when dealing with cardinal numbers in this sense, both $a^2=a$ and $b+c=bc=\max\{b,c\}$ are theorems in ZF.