Proof with a Vandermonde variant
3601
A problem about Vandemonde matrix
83449
Proof with 3D vectors
33104
Combinatorial Proof with Summation Identity
106799
Proof Verification: Converse of Intermediate Value Theorem
91545
A stronger version of discrete "Liouville's theorem"
86826
Almost a Vandermonde matrix
97917
Step in the Stein's proof of Plancherel Theorem
76347
Shorter proof for some equvalences
27356
Lower bound on proof length
53244
Prove that $p \in \mathbb{R}[x]$ can be represented as a sum of squares of polynomials from $\mathbb{R}[x]$
81879
$Av=λv$ basis proof problems
75141
Quotient-Remainder Theorem Proving
100399
A doubt with a part of a certain proof.
141496
Could someone make the proof into a hinted exercise?
141529
Proving existence of a minimum
80598
Try to prove a generalization of the IVT?
51465
New, elegant proofs for $\varphi(p^{k})=p^{k}-p^{k-1}$