# Associativity Proof

• April 18th 2009, 04:34 AM
Bernice
Associativity Proof
Prove or disprove in set $\mathbb{R}$ defined algebraic operation $\circ$ associativity if:

$x\circ y = xy - x - y +2$
• April 18th 2009, 08:41 AM
Soroban
Hello, Bernice!

Quote:

Prove or disprove in set $\mathbb{R}$ defined algebraic operation $\circ$ associativity if:

$x\circ y \:= \:xy - x - y +2$

I find that it helps to use baby-talk . . .

$x \circ y \:\text{ means: }\:\begin{Bmatrix}\text{multiply the two terms,}\\ \text{minus the first term,} \\ \text{minus the second term,} \\ \text{then add 2.} \end{Bmatrix}$

We will see if: . $(a \circ b)\circ c \:=\: a\circ(b\circ c)$

. . . $a\circ b \;=\;ab - a - b + 2$

$(a\circ b)\circ c \;=\; (ab - a - b + 2)\circ c$

. . . . . . $=\; (ab-a-b+2)c - (ab-a-b+2) - c + 2$

. . . . . . $=\; abc - ac - bc + 2c - ab + a + b - 2 - c + 2$

. . . . . . $=\; {\color{blue}abc - ab - bc - ac + a + b + c}$

. . . $(b\circ c) \;=\;bc - b - c + 2$

$a\circ(b\circ c) \;=\;a\circ(bc - b - c + 2)$

. . . . . . $= \;a(bc-b-c+2) - a - (bc-b-c+2) + 2$

. . . . . . $=\; abc - ab - ac + 2a - a - bc + b + c - 2 + 2$

. . . . . . $=\; {\color{blue}abc - ab - bc - ac + a + b + c}$

They are equal! . . . $(a\circ b)\circ c \;=\;a\circ(b\circ c)$

Therefore, the operation is associative.

• April 18th 2009, 08:47 AM
Mush
Beat to it. Nevermind.