Help:Multiple Proofs
Jump to navigation
Jump to search
$\mathsf{Pr} \infty \mathsf{fWiki}$ strives not just to provide Proofs, but to present all possible proofs of each theorem.
Page structure
![]() | This article is incomplete. In particular: example You can help $\mathsf{Pr} \infty \mathsf{fWiki}$ by expanding it. To discuss this page in more detail, feel free to use the talk page. When this work has been completed, you may remove this instance of {{Stub}} from the code.If you would welcome a second opinion as to whether your work is correct, add a call to {{Proofread}} the page. |
As with multiple definitions, the theorem statement is copied identically on the transcluded subpages, but not inside the <onlyinclude> ... </onlyinclude>
tags.
Pages that deviate from this structure have to be refactored accordingly.
Sources
A source backing up a proof is only placed at the corresponding transcluded proof page, not on the main page.
Special Cases
![]() | This article, or a section of it, needs explaining. In particular: if proofs that do special cases can be put on the same page You can help $\mathsf{Pr} \infty \mathsf{fWiki}$ by explaining it. To discuss this page in more detail, feel free to use the talk page. When this work has been completed, you may remove this instance of {{Explain}} from the code. |
Multiple Proof Outlines
Giving Specific Names
![]() | This article, or a section of it, needs explaining. In particular: if a proof gets a specific name (e.g. Proof Using AM-GM), should the corresponding subpages get a similar specific name? You can help $\mathsf{Pr} \infty \mathsf{fWiki}$ by explaining it. To discuss this page in more detail, feel free to use the talk page. When this work has been completed, you may remove this instance of {{Explain}} from the code. |
Partially coinciding proofs
- See also Help:Splitting Sources
Sources
If a proof originates from a source work, the source has to be placed on the same subpage as the proof. If the source mentions a theorem without proving it, it has to be placed on the main page of the theorem.