# Sign of Quotient of Factors of Difference of Squares/Corollary

## Corollary to Sign of Quotient of Factors of Difference of Squares

Let $a, b \in \R$ such that $a \ne b$.

Then

$-\map \sgn {\dfrac {b - a} {b + a} } = \map \sgn {a^2 - b^2} = -\map \sgn {\dfrac {b + a} {b - a} }$

where $\sgn$ denotes the signum of a real number.

## Proof

 $\displaystyle \map \sgn {\frac {b - a} {b + a} }$ $=$ $\displaystyle \map \sgn {\paren {-1} \frac {a - b} {a + b} }$ $\displaystyle$ $=$ $\displaystyle \map \sgn {-1} \map \sgn {\frac {a - b} {a + b} }$ Signum Function is Completely Multiplicative $\displaystyle$ $=$ $\displaystyle \paren {-1} \map \sgn {\frac {a - b} {a + b} }$ Definition of Signum Function $\displaystyle$ $=$ $\displaystyle -\map \sgn {a^2 - b^2}$ Sign of Quotient of Factors of Difference of Squares $\displaystyle$ $=$ $\displaystyle \paren {-1} \map \sgn {\frac {a + b} {a - b} }$ Sign of Quotient of Factors of Difference of Squares $\displaystyle$ $=$ $\displaystyle \map \sgn {-1} \map \sgn {\frac {a + b} {a - b} }$ Definition of Signum Function $\displaystyle$ $=$ $\displaystyle \map \sgn {\paren {-1} \frac {a + b} {a - b} }$ Signum Function is Completely Multiplicative $\displaystyle$ $=$ $\displaystyle \map \sgn {\frac {b + a} {b - a} }$

$\blacksquare$
{"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": 2, "mathjax_display_tex": 0, "mathjax_asciimath": 0, "img_math": 0, "codecogs_latex": 0, "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, "url": "https://proofwiki.org/wiki/Sign_of_Quotient_of_Factors_of_Difference_of_Squares/Corollary", "fetch_time": 1601410417000000000, "content_mime_type": "text/html", "warc_filename": "crawl-data/CC-MAIN-2020-40/segments/1600402088830.87/warc/CC-MAIN-20200929190110-20200929220110-00727.warc.gz", "warc_record_offset": 567392460, "warc_record_length": 9567, "token_count": 459, "char_count": 1287, "score": 4.46875, "int_score": 4, "crawl": "CC-MAIN-2020-40", "snapshot_type": "latest", "language": "en", "language_score": 0.5119274258613586, "file_path": "/sailhome/yjruan/project/latent-lm/data/processed/finemath-4plus/finemath-4plus/train-00037-of-00064.parquet"}