(a) Answer: \(y(x^2 + 1) = x^2 + x + 1 \Rightarrow (y - 1)x^2 - x + (y - 1) = 0\)
- M1 for multiplying both sides by \(x^2 + 1\) (which is never zero)
- A1* for collecting terms to obtain the given equation
Worked solution: \(x^2 + 1 \gt 0\), so \(y(x^2 + 1) = x^2 + x + 1\), i.e. \(yx^2 + y - x^2 - x - 1 = 0\), which is \((y - 1)x^2 - x + (y - 1) = 0\).
(b) Answer: For \(y \ne 1\), a real \(x\) needs \(1 - 4(y - 1)^2 \ge 0\), so \(|y - 1| \le \frac{1}{2}\); \(y = 1\) (at \(x = 0\)) is also in the interval.
- M1 for using the condition for real roots: \((-1)^2 - 4(y - 1)(y - 1) \ge 0\)
- A1 for \((y - 1)^2 \le \frac{1}{4}\) (or \(4y^2 - 8y + 3 \le 0\))
- M1 for solving: \(-\frac{1}{2} \le y - 1 \le \frac{1}{2}\) (or critical values \(\frac{1}{2}\), \(\frac{3}{2}\) with the inside region)
- A1 for \(\frac{1}{2} \le y \le \frac{3}{2}\)
- B1 for dealing with \(y = 1\), where the equation is linear (\(x = 0\)), and noting it lies in the interval; with a conclusion
Worked solution: Any point on \(C\) has a real \(x\)-coordinate, which is a root of \((y - 1)x^2 - x + (y - 1) = 0\).
If \(y \ne 1\) this is a quadratic, so its discriminant is non-negative: \(1 - 4(y - 1)^2 \ge 0\), so \((y - 1)^2 \le \frac{1}{4}\) and \(-\frac{1}{2} \le y - 1 \le \frac{1}{2}\), i.e. \(\frac{1}{2} \le y \le \frac{3}{2}\).
If \(y = 1\) the equation is \(-x = 0\), so \(x = 0\); and \(y = 1\) lies in the interval.
So \(\frac{1}{2} \le y \le \frac{3}{2}\) for every point on \(C\).
(c) Answer: \(\left(1, \frac{3}{2}\right)\) and \(\left(-1, \frac{1}{2}\right)\)
- M1 for substituting \(y = \frac{3}{2}\) or \(y = \frac{1}{2}\) into the equation in (a) and solving (a repeated root)
- A1 for \(\left(1, \frac{3}{2}\right)\) and \(\left(-1, \frac{1}{2}\right)\)
Worked solution: \(y = \frac{3}{2}\): \(\frac{1}{2}x^2 - x + \frac{1}{2} = 0 \Rightarrow (x - 1)^2 = 0 \Rightarrow x = 1\).
\(y = \frac{1}{2}\): \(-\frac{1}{2}x^2 - x - \frac{1}{2} = 0 \Rightarrow (x + 1)^2 = 0 \Rightarrow x = -1\).
Greatest value at \(\left(1, \frac{3}{2}\right)\), least value at \(\left(-1, \frac{1}{2}\right)\).