In the book Statistical Inference pg 570 of pdf, There's a derivation on how a linear estimator can be proven to be BLUE.
I got all the way up to 11.3.18 and then the next part stuck me.
After finding the $d_i$s that satisfy the condition: $\Sigma d_i = 0$ & $\Sigma d_ix_i = 1$, we take 11.31.7 derived from the lemma: $$\sum_{i=1}^nd_ix_i=\sum_{i=1}^nK(x_i-\bar{x})x_i=KS_{xx}$$
Where did they get $S_{xx}$ from? Isn't that supposed to be defined as $\sum_{i=1}^n(x_i-\bar{x})^2$ which does not equal to the equation above.
Furthermore, if I'm on the right tracking then I'm not sure how 11.3.19 is worked out.
I'm so close to figuring it out guys and I would appreciate some guidance.