Lower bounds for the heights of solutions of linear equations (Q1360894)

The following result is proved: Let \(C\subset \mathbb{P}^2\) be the curve given by \(\lambda x+ \mu y+ \nu z=0\), where \(\lambda,\mu,\nu\) are non-zero complex numbers with \(\lambda+\mu+\nu=0\). Then, any pair of different points \(P_1\), \(P_2\in C(\overline \mathbb{Q})\), neither of which belongs to the set \(\{(1:1:1)\), \((\mu: -\lambda:0)\), \((\nu:0,-\lambda)\), \((0:\nu:-\mu)\}\), satisfies the inequality \[ H(P_1)H(P_2) \geq \exp (1/2400). \] Also, every \(P\in C (\overline \mathbb{Q})\) not belonging to the above exceptional set, with possibly one exception, satisfies \(H(P)\geq \exp (1/4800)\). For points \(P=(x_0:x_1: x_2:x_3) \in\mathbb{P}^3 (\overline \mathbb{Q})\) with \(x_0+x_1+ x_2+ x_3=0\), with eight explicit stated exceptions, it is proved that \(H(P) \geq\exp (1/402)\).