2
$\开始组$

证明如果x美元$美元$都不是$0,$然后$$x^4+x^3y+x^2y^2+xy^3+y^4>0$$

我知道这看起来很容易,但我对微积分还很陌生,需要一些帮助来证明这是真的。感谢您的帮助!

$\端组$
  • 1
    $\开始组$ 提示:只要检查一个或两个都为负数的情况就足够了。负乘以负是。。。 $\端组$ 评论 2020年1月21日1:19
  • 4
    $\开始组$ 如果$x=y$,则表达式等于$5x^4>0$。否则,由于表达式是对称的,我们可以假设$x>y$。然后$x-y>0$。将表达式乘以$(x-y)$。你得到$x^5-y^5$。因此,该问题相当于$x\mapsto x^5$正在增加。注意:这不是一个解决方案,而是一个观察结果。可能会要求您证明这一点,以表明$x^5$正在增加。既然你在做微积分,也许你可以对$x^5$求导,以表明它在增加。 $\端组$ 评论 2020年1月21日1:19
  • 1
    $\开始组$ @肖恩·罗伯森:如果其中一个是消极的,另一个是积极的,你的建议如何解决问题? $\端组$ 评论 2020年1月21日2:46

6个答案6

重置为默认值
$\开始组$

$$\开始{align}x^4+x^3y+x^2y^2+xy ^3+y ^4&=\frac12\overbrace{\ left(x^4+y^4\ right)}^{\ substack{\text{$\gt0$if}\\text{$(x,y)\ne(0,0)$}}+\frac12 \overbace{\left(x^2+y^2\right)(x+y)^2}^{\ge0}\结束{对齐}$$

$\端组$
2
$\开始组$

让我们按以下等分$y^4美元$(因为它总是非负的),然后设置$z=x/年$得到等价不等式$$f(z)=z^4+z^3+z^2+z+1>0$$要显示这一点,只需注意$f(z)=(z^5-1)/(z-1)$对于$z\neq 1个$,当$z\geq1美元$$z<1$,然后单独讨论。我把这件事留给你。

$\端组$
2
  • 1
    $\开始组$ 查看$f(z)>0$的一种方法是观察$f$的根来自$z^5-1$。由于$f(1)\neq0$,它的根都是剩余的$4$复杂(非真实)统一根。因此,$f$不会更改符号。 $\端组$ 评论 2020年1月21日3:13
  • $\开始组$ @毕达哥拉斯论点不错,是的。 $\端组$
    – 一帆提
    评论 2020年1月21日3:16
1
$\开始组$

另一种方式:

请注意$0\leq x^2(x+y)^2=x^4+2x^3y+x^2y^2$,以及类似的$y^4+2xy^3+x^2y^2\geq 0美元$.将这些相加并除以$2$,我们得到$\frac12x^4+x^3y+x^2y^2+xy^3+frac12y^4\geq 0$。然后添加$\压裂{x^4+y^4}{2}$,这是积极的,因为x美元$美元$不是两者都是$0$.

$\端组$
0
$\开始组$

\开始{align}&x^4+x^3y+x^2y^2+xy^3+y^4\\[8pt]={}&\左(\左(\tfrac x y\右)^4+\左(\frac x y\左)^3+\左(\t rac x y\右)|2+\左={}&\大(u^4+u^3+u^2+u+1\大)y^4。\结束{对齐}$y^4>0$除非在以下情况下$y=0$看看这个就够了$4$中的th次多项式美元$

从代数中回忆起$$(u-1)(u^4+u^3+u^2+u+1)=u^5-1。$$如果你解决了$u^5-1=0$对于$u(美元)$你会得到$5$的第个根$1$作为解决方案。德莫伊夫的公式说这些是$$\cos\tfrac{2\pik}5+i\sin\tfrac{2\pyk}5\text{对于}k=0,1,2,3,4。$$什么时候?$k=0$这个号码是$1$这是$u-1=0$所以其他四个是$u^4+u^3+u^2+1=0$由于这个多项式的系数是实的,所以根必须是复共轭对。这里我们注意到$k=1$k美元=4$是彼此的复共轭,情况也是如此$k=2$$k=3$所以我们有这些根:$$\cos\tfrac{2\pi}5\pmi\sin\tfrac{2\π}5\text{和}\cos\tfras{4\pi}5\fmi\sin\tfrac{4\π}5。$$因此\开始{align}&u^4+u^3+u^2+u+1 \\[8pt]={}&\left(u-\left(\cos\tfrac{2\pi}5+i\sin\trac{2\pi}5\ right)\ right(u-\left(\cos\tfrac{2\pi}5-i\sin\trac{2\pi}5\ right)\ right)\\&{}\times\left(u-\left(\cos\tfrac{4\pi}5+i\sin\tfrac{2\pi}5\right)\right(u-\ left(\ cos\tfrac{2\\pi}5-i\sin\ tfrac{5\rift)\right)\[8pt]={}&\左(u^2-u\cos\tfrac{2\pi}5+1\右)\left(u^2-u\cos\tfrac{4\pi}5+1 \右)\结束{对齐}每一个都是一个二次多项式,其根不是实的。每个都有一个向上而不是向下打开的抛物线图。因此,每个因素都是积极的。

我把这个叫做代数而不是微积分。我还想,大多数修过微积分先修课的学生都不会很好地处理这一点。

$\端组$
0
$\开始组$

这是一个微积分证明。如果$x=y\neq 0$假设现在$x-y\neq 0$.让$f(x)=x^5$.然后$f'(x)=5x^4$根据中值定理$$f(x)-f(y)=f'(\xi)(x-y){\rm~用于~some~}\xi~{\rm介于~}x~{\rma和~}y之间$$哪里$f'(\xi)=5\xi^4>0$$\xi\neq 0美元$,否则x美元$美元$一定是不同的符号,所以$f(x)-f(y)\neq 0$但是$f'(0)(x-y)=0$,一个矛盾。要证明原始断言,请注意$$x^4+x^3y+x^2y^2+xy^3+y^4=\压裂{f(x)-f(y)}{x-y}=f'(\xi)>0$$根据需要。量化宽松政策

$\端组$
0
$\开始组$

假设$x=年$$y=-b$具有$a\ge b\gt0$左边等于$(a^3-b^3)(a-b)+a^2b^2$$

$\端组$

你必须登录来回答这个问题。

不是你想要的答案吗?浏览标记的其他问题.