# Identity proof

• January 14th 2006, 02:01 PM
DenMac21
Identity proof
I have to prove that if $|x| <> 1, y <> 0, y<>-x$ then identity is valid:

$\frac{x^2-1}{y^2+xy}\cdot(\frac{1}{1-\frac{1}{y}}-1)\cdot\frac{1-xy^3-y^4+y}{1-x^2}=\frac{y^2+y+1}{y}$

I have try to prove it.This what I have done:

$\frac{x^2-1}{y^2+xy}\cdot(\frac{1}{y-1})\cdot\frac{1-xy^3-y^4+y}{1-x^2}=\frac{y^2+y+1}{y}$

$\frac{(1-x^2)(-1+xy^3+y^4-y)}{(y^2+xy)(y-1)(1-x^2)}=\frac{y^2+y+1}{y}$

$\frac{(-1+xy^3+y^4-y)}{(y^2+xy)(y-1)}=\frac{y^2+y+1}{y}$

$\frac{-1+xy^3+y^4-y}{y^3-y^2+xy^2-xy}=\frac{y^2+y+1}{y}$

$\frac{y(-1+xy^3+y^4-y)}{y(y^2-y+xy-x)}=y^2+y+1$

$\frac{-1+xy^3+y^4-y}{y^2-y+xy-x}=y^2+y+1$

$-1+xy^3+y^4-y=(y^2-y+xy-x)(y^2+y+1)$

$-1+xy^3+y^4-y=-x+xy^3+y^4-y$

$x=1$

So identity is not valid.
Am I right?
• January 14th 2006, 02:23 PM
ThePerfectHacker
Did you make a mistake when you multiplied the 3 terms by the 4 terms?
And I also do not understand what all that stuff in the beginning is?
• January 14th 2006, 02:29 PM
DenMac21
Quote:

Originally Posted by ThePerfectHacker
Did you make a mistake when you multiplied the 3 terms by the 4 terms?

I don't think so, I checked.

Quote:

Originally Posted by ThePerfectHacker
And I also do not understand what all that stuff in the beginning is?

What do you mean exactly?
• January 14th 2006, 02:39 PM
ThePerfectHacker
I also checked, confirmed.

That means that if the identity is true then $x=1$ which means that if $x$ is anything else from 1 then it is false. Which means it cannot be an identity.
• January 14th 2006, 03:47 PM
ticbol
Quote:

Originally Posted by DenMac21
I have to prove that if $|x| <> 1, y <> 0, y<>-x$ then identity is valid:

$\frac{x^2-1}{y^2+xy}\cdot(\frac{1}{1-\frac{1}{y}}-1)\cdot\frac{1-xy^3-y^4+y}{1-x^2}=\frac{y^2+y+1}{y}$

I have try to prove it.This what I have done:

[...skip...]

$x=1$

So identity is not valid.
Am I right?

As in proving trig identities, here it is better to check first if the probvlem identity is true for a numerical substitution.
Try x=0 and y=2.
You get the LHS to be 13/4, while the RHS to be 7/2.
LHS <> RHS, hence, not an identity.

So no need to crack cranium for those x's and y's.
• January 14th 2006, 11:13 PM
CaptainBlack
Quote:

Originally Posted by ThePerfectHacker
I also checked, confirmed.

That means that if the identity is true then $x=1$ which means that if $x$ is anything else from 1 then it is false. Which means it cannot be an identity.

The " $|x| <> 1, y <> 0, y<>-x$" is meant to be the set of conditions:

$x^2 \ne 1, y \ne 0, y \ne -x$

RonL
{"extraction_info": {"found_math": true, "script_math_tex": 0, "script_math_asciimath": 0, "math_annotations": 0, "math_alttext": 0, "mathml": 0, "mathjax_tag": 0, "mathjax_inline_tex": 0, "mathjax_display_tex": 0, "mathjax_asciimath": 0, "img_math": 0, "codecogs_latex": 20, "wp_latex": 0, "mimetex.cgi": 0, "/images/math/codecogs": 0, "mathtex.cgi": 0, "katex": 0, "math-container": 0, "wp-katex-eq": 0, "align": 0, "equation": 0, "x-ck12": 0, "texerror": 0, "math_score": 0.7674245238304138, "perplexity": 1048.2237802616987}, "config": {"markdown_headings": true, "markdown_code": true, "boilerplate_config": {"ratio_threshold": 0.18, "absolute_threshold": 10, "end_threshold": 15, "enable": true}, "remove_buttons": true, "remove_image_figures": true, "remove_link_clusters": true, "table_config": {"min_rows": 2, "min_cols": 3, "format": "plain"}, "remove_chinese": true, "remove_edit_buttons": true, "extract_latex": true}, "warc_path": "s3://commoncrawl/crawl-data/CC-MAIN-2016-36/segments/1471982964275.89/warc/CC-MAIN-20160823200924-00243-ip-10-153-172-175.ec2.internal.warc.gz"}