Let an operation * be defined on Q⁺ by \(a + b = \frac{ab}{2}\). Then show that Q⁺ forms a group.