GCD and LCM trouble

Question

Question:

Let $a_1$, $b_1$, $c_1$ be natural numbers. We define:

$$a_2 = (b_1, c_1), b_2 = (c_1, a_1), c_2 = (a_1, b_1)$$and $$a_3 = [b_2, c_2], b_3 = [c_2, a_2], c_3 = [a_2, b_2]$$ Show that $(b_3, c_3) = a_2$.

(due credits: Regional Mathematics Olympiad 2013 examination)

Attempt:

Substituting values, we have: $(b_3,c_3)=([c_2,a_2],[b_2,a_2])$

Now, we know that: $([m,n],[n,p])=[(m,p),n]$

So, $([c_2,a_2],[b_2,a_2])=[(c_2,b_2),a_2]=[((a_1,b_1),(c_1,a_1)),a_2]$

Now, we know that $((m,n),(n,r)) = (m,n,r)$.

So, $[((a_1,b_1),(c_1,a_1)),a_2] = [(a_1,b_1,c_1),a_2]=[(a_1,b_1,c_1),(b_1,c_1)]$

Thus, we have: $$(b_3,c_3)=[(a_1,b_1,c_1),(b_1,c_1)]$$

But, I am stuck here. I feel pretty close to the answer. But can't figure out what to do next. Perhaps, there's some identity related to $[(m,n),n]$?

UPDATE: I know that a solution exists at this site. However, I want to know how I can extend my solution to get the answer.

Answer 1

It is clear that $$(a_1,b_1,c_1) | (b_1,c_1)$$ and if $m|n$ then $[m,n] = n$ so $$(b_3,c_3) = [(a_1,b_1,c_1),(b_1,c_1)] = (b_1,c_1) = a_2$$