Intereting Posts

The $3 = 2$ trick on Google+
Very interesting graph!
How to solve this question related to Definite Integration
Are there other kinds of bump functions than $e^\frac1{x^2-1}$?
Simultaneous Jordanization?
A closed form for $\int_0^\infty\frac{\ln(x+4)}{\sqrt{x\,(x+3)\,(x+4)}}dx$
Prove the definitions of $e$ to be equivalent
Some intuition about embedding of $L^p$ spaces
Understanding an Easy Relative Consistency Proof
Finitely generated modules over a Noetherian ring are Noetherian
If X,Y and Z are independent, are X and YZ independent?
Proof of Proposition/Theorem V in Gödel's 1931 paper?
Solve $x^3 +1 = 2y^3$
What is the relationship between the spectrum of a matrix and its image under a polynomial function?
Show that $\mathtt d(A,B)>0$ if $A\cap B=\varnothing$, $A$ is compact and $B$ is closed.

Find a polynomial $p(x,y)$ such that

- for each $(x,y) \in \mathbb{R}^2$ we have $p(x,y) > 0$, and
- for each $a>0$ $\exists (x,y)$ : $p(x,y) = a$.

I see that $p(x,y)$ must have constant, but how can choose $p$ that achieves each positive value?

Maybe there is no such polynomial, in which case I want to prove that.

- How to show $f(x)$ has no root within $\Bbb Q$
- How come the Bernstein operator creates a polynomial of the same degree as its input function?
- Olympiad Inequality $\sum\limits_{cyc} \frac{x^4}{8x^3+5y^3} \geqslant \frac{x+y+z}{13}$
- Is there anything like “cubic formula”?
- Rational roots of polynomials
- Quickest way to determine a polynomial with positive integer coefficients

- Polynomial approximation of circle or ellipse
- Is this a known algebraic identity?
- Capelli Lemma for polynomials
- Conditions for distinct real roots of cubic polynomials.
- Any problem computable in $k$ memory slots can be computed with polynomials.
- How could it possible to factorise $x^8-1$ in product of irreducibles in the rings $(\mathbb{Z}/2\mathbb{Z})$ and $(\mathbb{Z}/3\mathbb{Z})$?
- Can we introduce new operations that make quintics solvable?
- How many irreducible monic quadratic polynomials are there in $\mathbb{F}_p$?
- Prove that $x-1$ divides $x^n-1$
- Let $f(x) =x^5+x^2+1$ with $a, b, c, d, e$ as zeros. . .

**Hint** One way to produce a (real) polynomial $p$ that only takes nonnegative values is to write a sum of squares $$p(x, y) := q(x, y)^2 + r(x, y)^2,$$ and we can ensure that the sum is always positive by insisting that the squared quantities $q(x, y), r(x, y)$ are never simultaneously zero. On the other hand, we can ensure that the $p$ takes on arbitrarily small positive values by choosing

- $r$ to be identically zero on some curve $\gamma \subset \mathbb{R}^2$ (for suitable $r$ we can just take $\gamma$ to be the curve defined by $r(x, y) = 0$), and
- $q$ that takes on arbitrarily small positive values along $\gamma$.

(Of course, since $q, r$ cannot be simultaneously zero, $q(\gamma)$ cannot contain its infimum, and hence the curve $\gamma$ cannot be compact.)

SolutionOne simple noncompact curve is the hyperboloid $x y = 1$, and by construction $$r(x, y) := x y – 1$$ vanishes identically there. On the other hand, we can parameterize one arc of this hyperboloid by $\gamma: s \mapsto (\frac{1}{s}, s)$, $s > 0$. Along this curve, we thus have $$p(\gamma(s)) = p\left(\frac{1}{s}, s\right) = q\left(\frac{1}{s}, s\right)^2 + r\left(\frac{1}{s}, s\right)^2 = q\left(\frac{1}{s}, s\right)^2.$$ Now, $q\left(\frac{1}{s}, s\right)^2$ will take on arbitrarily small positive values—but no nonpositive values—if we take, e.g., $$q(x, y) := x.$$ Thus, by construction $$p(x, y) = q(x, y)^2 + r(x, y)^2 = x^2 + (xy – 1)^2$$ has the desired properties.

**Remark** Since for any nonconstant one-variable polynomial $u(x)$ we have $\lim_{x \to \infty} u(x) = \infty$ or $\lim_{x \to \infty} u(x) = -\infty$, and likewise for the limits as $x \to -\infty$, the Heine-Borel Theorem implies that $u$ assumes any finite infimum or supremum, that is, the phenomenon in this problem only occurs for real functions of at least two variables.

- Understanding the semidirect product
- there exist some real $a >0$ such that $\tan{a} = a$
- $C(S^1)$ does not have a single generator
- Prove the centralizer of an element in group $G$ is a subgroup of $G$
- The Definition of the Absolute Value
- For which $d \in \mathbb{Z}$ is $\mathbb{Z}$ a unique factorization domain?
- nonstandard example of smooth function which fails to be analytic on $\mathbb{R}$
- Proving $\lim\limits_{x\to0}\left(\frac{1}{\log(x+\sqrt{1+x^2})}-\frac{1}{\log(1+x)}\right) =-\frac12$
- connected sums of closed orientable manifold is orientable
- Vector derivative w.r.t its transpose $\frac{d(Ax)}{d(x^T)}$
- Show that $\frac {\sin x} {\cos 3x} + \frac {\sin 3x} {\cos 9x} + \frac {\sin 9x} {\cos 27x} = \frac 12 (\tan 27x – \tan x)$
- Closed-Form Solution to Infinite Sum
- Does there exist a real Hilbert space with countably infinite dimension as a vector space over $\mathbb{R}$?
- inverse function of $y=ax\ln(bx)$
- A semigroup with identity having exactly one idempotent is a group