All public logs
Jump to navigation
Jump to search
Combined display of all available logs of ProofWiki. You can narrow down the view by selecting a log type, the username (case-sensitive), or the affected page (also case-sensitive).
- 22:51, 30 November 2022 Timwi talk contribs created page Cosine of 22.5 Degrees (Created page with "== Theorem == <onlyinclude> :$\cos 22.5^\circ = \cos \dfrac \pi 8 = \frac 1 2 \sqrt { 2 + \sqrt 2 }$ </onlyinclude> where $\cos$ denotes cosine. == Proof == {{begin-eqn}} {{eqn | l = \cos 22.5^\circ | r = \cos \frac {45^\circ} 2 | c = }} {{eqn | r = +\sqrt { \frac {1 + \cos 45^\circ} 2 } | c = Half Angle Formula for Cosine }} {{eqn | r = \sqrt { \frac {1 + \frac {\sqrt 2} 2} 2 } | c = Cosine of 45 Degrees...")
- 22:49, 30 November 2022 Timwi talk contribs created page Sine of 22.5 Degrees (Created page with "== Theorem == <onlyinclude> :$\sin 22.5^\circ = \sin \dfrac \pi 8 = \frac 1 2 \sqrt { 2 - \sqrt 2 }$ </onlyinclude> where $\sin$ denotes sine. == Proof == {{begin-eqn}} {{eqn | l = \sin 22.5^\circ | r = \sin \frac {45^\circ} 2 | c = }} {{eqn | r = +\sqrt { \frac {1 - \cos 45^\circ} 2 } | c = Half Angle Formula for Sine }} {{eqn | r = \sqrt { \frac {1 - \frac {\sqrt 2} 2} 2 } | c = Cosine of 45 Degrees }} {{...")
- 20:36, 20 November 2022 Timwi talk contribs created page Pythagoras (#REDIRECT Pythagoras's Theorem) Tag: New redirect
- 12:53, 20 November 2022 Timwi talk contribs created page Area of Regular Hexagon (Created page with "== Theorem == Let $H$ be a regular hexagon. Let the length of one side of $H$ be $s$. Let $\AA$ be the area of $H$. Then: :$\AA = \dfrac {3 \sqrt 3} 2 s^2$ == Proof 1 == The regular hexagon can be subdivided into triangles: :300px Consider the bottom triangle. The angle $\alpha$ divides the full circle into 6 equa...")
- 12:34, 20 November 2022 Timwi talk contribs created page File:Regular Hexagon.svg
- 12:34, 20 November 2022 Timwi talk contribs uploaded File:Regular Hexagon.svg
- 14:05, 20 December 2012 Timwi talk contribs uploaded File:References rendering bug.png (See Talk:Main Page)
- 02:11, 19 December 2012 Timwi talk contribs moved page Time hierarchy theorem to Time Hierarchy Theorem
- 01:25, 14 December 2012 Timwi talk contribs moved page Minor Trigonometrical Identities to Minor Trigonometric Identities
- 14:37, 13 December 2012 Timwi talk contribs moved page Sine and Cosine of Sum/Geometric Proof to Cosine of Sum/Geometric Proof
- 14:35, 13 December 2012 Timwi talk contribs moved page Sine and Cosine of Sum/Proof using Exponential Formulation to Cosine of Sum/Proof using Exponential Formulation
- 14:30, 13 December 2012 Timwi talk contribs moved page Sine and Cosine of Sum/Proof from Algebraic Definitions to Cosine of Sum/Proof from Algebraic Definitions
- 14:28, 13 December 2012 Timwi talk contribs moved page Sine and Cosine of Sum/Proof from Euler's Formula to Cosine of Sum/Proof from Euler's Formula
- 14:27, 13 December 2012 Timwi talk contribs moved page Sine and Cosine of Sum/Corollary to Cosine of Sum/Corollary
- 14:25, 13 December 2012 Timwi talk contribs moved page Talk:Sine and Cosine of Sum to Talk:Cosine of Sum (Split (rest is at Sine of Sum))
- 14:25, 13 December 2012 Timwi talk contribs moved page Sine and Cosine of Sum to Cosine of Sum (Split (rest is at Sine of Sum))
- 13:16, 13 December 2012 Timwi talk contribs moved page Talk:Sine and Cosine Exponential Formulation to Talk:Cosine Exponential Formulation (Split into Sine Exponential Formulation and this)
- 13:16, 13 December 2012 Timwi talk contribs moved page Sine and Cosine Exponential Formulation to Cosine Exponential Formulation (Split into Sine Exponential Formulation and this)
- 13:07, 3 December 2012 Timwi talk contribs uploaded File:Triangle with angle.png (Made by User:Timwi, public domain)
- 12:02, 3 December 2012 Timwi talk contribs moved page Talk:Sine Function Exponential Formulation to Talk:Sine and Cosine Exponential Formulation
- 12:02, 3 December 2012 Timwi talk contribs moved page Sine Function Exponential Formulation to Sine and Cosine Exponential Formulation
- 07:39, 3 December 2012 User account Timwi talk contribs was created