User contributions for Robkahn131
Jump to navigation
Jump to search
16 May 2024
- 16:1216:12, 16 May 2024 diff hist +12 m Definition:Iverson's Convention No edit summary
- 14:4114:41, 16 May 2024 diff hist +46 m Gauss's Lemma (Number Theory) No edit summary
- 01:0901:09, 16 May 2024 diff hist +38 m Second Supplement to Law of Quadratic Reciprocity No edit summary
- 01:0801:08, 16 May 2024 diff hist +37 m First Supplement to Law of Quadratic Reciprocity No edit summary
10 May 2024
- 09:0809:08, 10 May 2024 diff hist +48 m General Solution of Linear 2nd Order ODE from Homogeneous 2nd Order ODE and Particular Solution No edit summary current
- 09:0409:04, 10 May 2024 diff hist +11 m Matrix Product as Linear Transformation No edit summary
- 00:4000:40, 10 May 2024 diff hist +1 m Lagrange's Four Square Theorem/Proof 2 No edit summary current
8 May 2024
- 01:2301:23, 8 May 2024 diff hist 0 m Natural Number Multiplication is Commutative/Proof 1 was not displaying correctly current
- 01:1601:16, 8 May 2024 diff hist +6 m Definite Integral to Infinity of Power of x over Power of x plus Power of a No edit summary
5 May 2024
- 15:5215:52, 5 May 2024 diff hist +64 m Definition:Separable Degree No edit summary current
- 15:4915:49, 5 May 2024 diff hist +36 m Divisor Sum Function/Table No edit summary
- 15:4615:46, 5 May 2024 diff hist 0 m Divisor Sum of Power of Prime/Examples/81 No edit summary current
4 May 2024
- 01:5301:53, 4 May 2024 diff hist +2 m Pi Squared is Irrational/Proof 1/Lemma No edit summary current
- 01:5301:53, 4 May 2024 diff hist +28 m Pi Squared is Irrational/Proof 3 No edit summary current
- 01:5201:52, 4 May 2024 diff hist +28 m Pi Squared is Irrational/Proof 1 No edit summary current
- 01:5001:50, 4 May 2024 diff hist −216 m Pi is Irrational/Proof 2 No edit summary current
3 May 2024
- 14:0314:03, 3 May 2024 diff hist +90 Pi Squared is Irrational No edit summary current
- 14:0314:03, 3 May 2024 diff hist +4,316 N Pi Squared is Irrational/Proof 3 Cosine version of proof 1
- 14:0214:02, 3 May 2024 diff hist +6,988 N Pi Squared is Irrational/Proof 3/Lemma Created page with "== Pi Squared is Irrational: Lemma == <onlyinclude> Let $n \in \Z_{\ge 0}$ be a positive integer. Let it be supposed that $\pi^2$ is irrational, so that: :$\pi^2 = \dfrac p q$ where $p$ and $q$ are integers and $q \ne 0$. Let $A_n$ be defined as: :$\ds A_n = \frac \pi 2 \frac {p^n} {n!} \int_0^1 \paren {1 - x^2 }^n \map \cos {\dfrac {\pi x} 2} \rd x$ Then: :$A_n = \paren {16..." current
23 April 2024
- 00:1700:17, 23 April 2024 diff hist −109 m Pi Squared is Irrational/Proof 1 No edit summary
22 April 2024
- 23:4123:41, 22 April 2024 diff hist +1 m Fourier Cosine Coefficients for Even Function over Symmetric Range No edit summary
- 00:4000:40, 22 April 2024 diff hist +56 m Integral of Bounded Measurable Function with respect to Finite Signed Measure is Well-Defined added links current
- 00:3500:35, 22 April 2024 diff hist −229 m Pi is Irrational/Proof 2 No edit summary
- 00:3400:34, 22 April 2024 diff hist +365 N Area under Arc of Sine Function Created page with "== Theorem == :$\ds \int_0^\pi \sin x \rd x = 2$ == Proof == {{begin-eqn}} {{eqn | l = \int_0^\pi \sin x \rd x | r = \bigintlimits {- \cos x} 0 \pi | c = Primitive of Sine Function }} {{eqn | r = 2 | c = Cosine of $\pi$, {{cos|0}} }} {{end-eqn}} {{qed}} Category:Definite Integrals involving Sine Function"
19 April 2024
- 18:5418:54, 19 April 2024 diff hist +1,315 m Pi is Irrational/Proof 2 No edit summary
- 18:5218:52, 19 April 2024 diff hist +6,014 N Pi is Irrational/Proof 2/Lemma Created page with "== Pi is Irrational: Lemma == <onlyinclude> Let $n \in \Z_{> 0}$ be a positive integer. Let it be supposed that $\pi$ is irrational, so that: :$\pi = \dfrac p q$ where $p$ and $q$ are integers and $q \ne 0$. Let $A_n$ be defined as: :$\ds A_n = \frac {q^n} {n!} \int_0^\pi \paren {x \paren {\pi - x} }^n \sin x \rd x$ Then: :$A_n = \paren {4 n - 2} q A_{n - 1} - p^2 A_{n - 2}$..."
- 18:3718:37, 19 April 2024 diff hist +56 m Equation of Catenary/Whewell No edit summary
- 18:2718:27, 19 April 2024 diff hist +2 m Pi Squared is Irrational/Proof 1 No edit summary
- 18:2218:22, 19 April 2024 diff hist +460 m Pi Squared is Irrational/Proof 1 No edit summary
- 04:3504:35, 19 April 2024 diff hist +50 m Pi is Irrational No edit summary
- 04:3304:33, 19 April 2024 diff hist +41 m Pi Squared is Irrational No edit summary
- 04:3004:30, 19 April 2024 diff hist −9 m Pi Squared is Irrational/Proof 1/Lemma No edit summary
- 04:2704:27, 19 April 2024 diff hist −4,346 Pi Squared is Irrational/Proof 1 No edit summary
- 04:2604:26, 19 April 2024 diff hist +5,216 N Pi Squared is Irrational/Proof 1/Lemma Created page with "== Pi Squared is Irrational/Proof 1: Lemma == <onlyinclude> Let $n \in \Z_{> 0}$ be a positive integer. Let $A_n$ be defined as: :$\ds A_n = \frac {q^n} {n!} \int_0^\pi \paren {x \paren {\pi - x} }^n \sin x \rd x$ Let $\pi^2 = \dfrac p q$ where $p$ and $q$ are integers and $q \ne 0$. Note that $\paren {q \pi}^2 = q^2 \paren {\dfrac p q} = p q$ is an integer. Then: :$A_n = \paren {4 n -..."
- 03:4203:42, 19 April 2024 diff hist 0 m Definite Integral from 0 to Pi of Sine of m x by Sine of n x No edit summary current
- 03:3503:35, 19 April 2024 diff hist 0 m Definite Integral from 0 to Pi of Sine of m x by Cosine of n x No edit summary current
- 03:3403:34, 19 April 2024 diff hist 0 m Integral to Infinity of Sine p x over x No edit summary current
- 03:3403:34, 19 April 2024 diff hist 0 m Integral to Infinity of Sine p x Sine q x over x Squared wasn't displaying correctly
18 April 2024
- 00:3400:34, 18 April 2024 diff hist +4,628 m Pi Squared is Irrational/Proof 1 filled in a few clarifying details
16 April 2024
- 21:3921:39, 16 April 2024 diff hist +785 N Talk:Pi Squared is Irrational/Proof 2 Created page with "The proof has several errors - one is here: Let us define a polynomial: :$\ds \map f x = \frac {\paren {1 - x^2}^n} {n!} = \sum_{m \mathop = n}^{2 n} \frac {c_m} {n!} x^m$ for $c_m \in \Z$. If $n = 1$ {{begin-eqn}} {{eqn | l = \map f x | r = \frac {\paren {1 - x^2} } {1!} | c = $n = 1$ }} {{eqn | l = \sum_{m \mathop = n}^{2 n} \frac {c_m} {n!} x^m | r = \sum_{m \mathop = 1}^2 \frac {c_m} {1!} x^m | c = }} {{eqn | r = c_1 x + c_2 x^2 | c..."
12 April 2024
- 01:2801:28, 12 April 2024 diff hist +14,704 Solution to Hypergeometric Differential Equation No edit summary
10 April 2024
- 20:4320:43, 10 April 2024 diff hist +70 m ProofWiki:Potw No edit summary current
- 20:4320:43, 10 April 2024 diff hist +12 m Sum of nth Fibonacci Number over nth Power of 2/Proof 1 No edit summary
- 20:4320:43, 10 April 2024 diff hist +38 m Converting Decimal Expansion of Rational Number to Fraction No edit summary current
30 March 2024
- 18:3518:35, 30 March 2024 diff hist +214 m Tangent of Sum of Series of Angles/Proof 1 No edit summary current
- 02:3902:39, 30 March 2024 diff hist 0 m Tangent of Sum of Series of Angles No edit summary current
- 02:3802:38, 30 March 2024 diff hist +65 Category:Tangent of Sum of Series of Angles No edit summary current
- 02:3402:34, 30 March 2024 diff hist +29 N Category:Tangent of Sum of Series of Angles Created page with "Category:Tangent Function"
- 02:3302:33, 30 March 2024 diff hist +1,754 N Tangent of Sum of Series of Angles/Proof 2 Created page with "== Theorem == {{:Tangent of Sum of Series of Angles}} == Proof == <onlyinclude> First we note: {{begin-eqn}} {{eqn | l = \cos \sum_j \theta_j + i \sin \sum_j \theta_j | r = \prod_j \paren {\cos \theta_j + i \sin \theta_j} | c = Product of Complex Numbers in Polar Form }} {{eqn | r = \prod_j \cos \theta_j \prod_j \paren {1 + i \tan \theta_j} | c = }} {{eqn | r = \prod_j \cos \theta_j \paren {1 + i \tan \theta_1} \times \paren {1 + i \tan \theta_2}..."
- 02:3202:32, 30 March 2024 diff hist +3,782 N Tangent of Sum of Series of Angles/Proof 1 Created page with "== Theorem == {{:Tangent of Sum of Series of Angles}} == Proof == <onlyinclude> First we note: {{begin-eqn}} {{eqn | l = \cos \sum_j \theta_j + i \sin \sum_j \theta_j | r = \prod_j \paren {\cos \theta_j + i \sin \theta_j} | c = Product of Complex Numbers in Polar Form }} {{eqn | r = \prod_j \cos \theta_j \prod_j \paren {1 + i \tan \theta_j} | c = }} {{eqn | r = \prod_j \cos \theta_j \paren {1 + i \tan \theta_1} \times \paren {1 + i \tan \theta_2}..."