Talk:Gauss-Lucas Theorem

From ProofWiki
Jump to navigation Jump to search

The proof outlined on Wikipedia looks sane. If anybody wants to ProofWikify it be my guest.

Fair comment, but we first need to get convex hull documented here (not in itself a big task), and then demonstrate that the proof as given here does actually prove the result. And having done that, there are plenty of steps in the given proof which need to be justified with reference to other proofs, most of which do not yet exist on $\mathsf{Pr} \infty \mathsf{fWiki}$.
My own approach has been one of bottom-up -- to post proofs only once I have developed the material supporting those proofs, so as to ensure that any proof posted up is supported by material that already exists here. Others may prefer the top-down approach: posting up the big proofs first, and then working on the subsidiary proofs, but few are actively contributing along these lines and so a very small number of these big-name proofs have actually made it up here yet.
And of course Wikipedia has a large number of proofs of all sorts of things, but as their strategy is not as rigorous as ours in that they do not require that every result links back to something that has already been established, they are not so intellectually constrained as us to make sure everything is rigorous.
It would be great if someone would do what you suggest -- grabbing various assorted pages of $\LaTeX$ off Wikipedia and plastering it up here in $\mathsf{Pr} \infty \mathsf{fWiki}$, leaving others to fill in the gaps -- it would give us the motivation to get working on this stuff. --prime mover (talk) 16:23, 23 June 2016 (UTC)