Looking for an algebraic proof of an unusual equality
15100
Proving the identity $\sum_{k=1}^n {k^3} = \big(\sum_{k=1}^n k\big)^2$ without induction
156669
Trying to prove a simple (?) inequality
16548
Prove $(x+y) \text{ mod } n = ((x \text{ mod } n)+(y \text{ mod } n)) \text{ mod } n,\,$ and product analog
138857
Proving an inequality by induction, how to figure out intermediate inductive steps?
103501
Question about a normal equation proof
107765
Prove that there exists two roots in $[-1,1]$
126032
Proving a certain inequality
150738
Proof of $(A - B) - C = A - (B \cup C)$
76347
Shorter proof for some equvalences
14386
Proof of an equality involving cosine $\sqrt{2 + \sqrt{2 + \cdots + \sqrt{2 + \sqrt{2}}}}\ =\ 2\cos (\pi/2^{n+1})$
32427
Basic mathematical induction regarding inequalities
89535
fake proof of $\forall a. \forall b. a = b \to 1 = 0$
66946
show that $(i+k)! > i!k!$ algebraically
123757
Proving a summation inequality with induction
29462
Suggestions on how to prove the following equality. $a^{m+n}=a^m a^n$
91871
Proving quadratic inequalities?
2251
Can someone give me a hint on how to prove this?