# Questions tagged [slick-proof]

The tag has no usage guidance.

17 questions
Filter by
Sorted by
Tagged with
817 views

### Is there a slick proof of the fundamental theorem of dimension theory?

The fundamental theorem of dimension theory in commutative algebra states that given a module $M$ over a noetherian local ring $A$, we have $s(M)=\text{dim}(M)=d(M)$ (where $s(M)$ is the infimum of ...
3k views

### Mathematical Writing: Proof Outlines/Overview in a Paper

While my question topic is that of mathematical writing of papers, which is a broad subject, the particular question is specific. I am writing a paper, in which we have a section called "Outline of ...
2k views

### Is Cauchy induction used for proofs other than for AM–GM?

The proof by Cauchy induction of the arithmetic/geometric-mean inequality is well known. I am looking for a further theorem whose proof is much neater by this method than otherwise.
2k views

### Reference for a nice proof of “undetermined coefficients”

I'm teaching an honors differential equations class and have been using linear algebra heavily. I thought it would be interesting to include a proof of the method of undetermined coefficients along ...
7k views

### Proof without words for surface area of a sphere [closed]

I love the book Proofs Without Words by Roger B. Nelsen. One of the proofs I liked the most was this: Area under one arch of a cycloid is 3 times the area of the wheel that traces it. You break the ...
1k views

### Smoothness of $f(\sqrt x)$

I found that I need to use the following facts in a paper that I am writing. Let $f\in C^\infty(\mathbb R)$, then If $f(0)=0$, then $f(x)=x g(x)$ for some $g\in C^\infty(\mathbb R)$. If $f$ is even, ...
265 views

430 views

### Slick verification of the model category axioms for Spaces and SSets with the q-model structure?

We choose our category of spaces to be compactly generated weak Hausdorff spaces for convenience, denoted $CGWH$. Questions: 1.) Is there any sort of slick argument to verify that CGWH with the ...
1k views

### Slick proof related to choosing points from an interval in order

Choose a point anywhere in the unit interval $[0, 1]$. Now choose a second point from the same interval so that there is one point in each half, $[0, \frac12]$ and $[\frac12, 1]$. Now choose a third ...
7k views

### A slick proof of the Bruhat Decomposition for GL_n(k)?

On one of my exams last year, we were given a problem (we chose five or six out of eight problems) on an exam, the goal of which was to prove the Bruhat decomposition for $GL_n(k)$. I was one of the ...