Difference between revisions of "Main Page"

From MWiki
Jump to: navigation, search
(Greatest-prime Criterion and Transcendence of Euler's Constant)
(Cube and Fickett's Theorem)
Line 2: Line 2:
 
= Welcome to MWiki =
 
= Welcome to MWiki =
 
== Theorems of the month ==
 
== Theorems of the month ==
=== Greatest-prime Criterion ===
+
=== Cube Theorem ===
  
If a real number may be represented as an irreducible fraction <math>\widehat{ap}b \pm \hat{s}t</math>, where <math>a, b, s</math>, and <math>t</math> are natural numbers, <math>abst \ne 0</math>, <math>a + s &gt; 2</math>, and the (second-)greatest prime number <math>p \in {}^{\omega }\mathbb{P}, p \nmid b</math> and <math>p \nmid s</math>, then <math>r</math> is <math>\omega</math>-transcendental.
+
A sum <math>m \in {}^{\omega }{\mathbb{Z}}</math> consists of three cubes for <math>a, b, c, n \in {}^{\omega }{\mathbb{Z}}</math> if and only if
  
==== Proof: ====
+
<div style="text-align:center;"><math>m=n^3 + (n + a)^3 + (n - b)^3 = 3n^3 + a - b + 6c \ne \pm 4\mod 9</math></div>
The denominator <math>\widehat{ap s} (bs \pm apt)</math> is <math>\ge 2p \ge 2\omega - \mathcal{O}({_e}\omega\sqrt{\omega}) &gt; \omega</math> by the prime number theorem.<math>\square</math>
+
 
 +
is true. This implicitly quadratic equation yields the formula to be satisfied by <math>n.\square</math>
 +
 
 +
=== Fickett's Theorem ===
  
=== Transcendence of Euler's Constant ===
+
For any relative positions of two overlapping congruent rectangular <math>n</math>-prisms <math>Q</math> and <math>R</math> with <math>n \in {}^{\omega }\mathbb{N}_{\ge 2}</math>, it can be stated for the exact standard measure <math>\mu</math>, where <math>\mu</math> for <math>n = 2</math> needs to be replaced by the Euclidean path length <math>L</math>, that:
  
For <math>x \in {}^{\omega }{\mathbb{R}}</math>, let be <math>s(x) := \sum\limits_{n=1}^{\omega}{\hat{n}{{x}^{n}}}</math> and <math>\gamma := s(1) - {_e}\omega = \int\limits_{1}^{\omega}{\left( \widehat{\left\lfloor x \right\rfloor} - \hat{x} \right)dx}</math> Euler's constant, where rearranging shows <math>\gamma \in \; ]0, 1[</math>.
 
  
If <math>{_e}\omega = s(\hat{2})\;{_2}\omega</math> is accepted, <math>\gamma \in {}^{\omega }\mathbb{T}_{\mathbb{R}}</math> is true with a precision of <math>\mathcal{O}({2}^{-\omega}\hat{\omega}\;{_e}\omega)</math>.
+
<div style="text-align:center;"><math>1/(2n - 1) &lt; r := \mu(\partial Q \cap R)/\mu(\partial R \cap Q) &lt; 2n - 1.</math></div>
  
 
==== Proof: ====
 
==== Proof: ====
The (exact) integration of the geometric series yields <math>-{_e}(-\acute{x}) = s(x) + \mathcal{O}(\hat{\omega}{x}^{\grave{\omega}}/\acute{x}) + t(x)dx</math> for <math>x \in [-1, 1 - \hat{\nu}]</math> and <math>t(x) \in {}^{\omega }{\mathbb{R}}</math> such that <math>|t(x)| &lt; {\omega}</math>.
+
Since the underlying extremal problem has its maximum for rectangles with the side lengths <math>s</math> and <math>s + 2d0</math>, min <math>r = s/(3s - 2d0) \le r \le</math> max <math>r = (3s - 2d0)/s</math> holds. The proof for <math>n &gt; 2</math> is analogous.<math>\square</math>
 
 
After applying Fermat's little theorem to the numerator of <math>\hat{p}(1 - 2^{-p}\,{_2}\omega)</math> for <math>p = \max\, {}^{\omega}\mathbb{P}</math>, the greatest-prime criterion yields the claim.<math>\square</math>
 
  
 
== Recommended reading ==
 
== Recommended reading ==

Revision as of 14:14, 2 October 2020

Welcome to MWiki

Theorems of the month

Cube Theorem

A sum [math]\displaystyle{ m \in {}^{\omega }{\mathbb{Z}} }[/math] consists of three cubes for [math]\displaystyle{ a, b, c, n \in {}^{\omega }{\mathbb{Z}} }[/math] if and only if

[math]\displaystyle{ m=n^3 + (n + a)^3 + (n - b)^3 = 3n^3 + a - b + 6c \ne \pm 4\mod 9 }[/math]

is true. This implicitly quadratic equation yields the formula to be satisfied by [math]\displaystyle{ n.\square }[/math]

Fickett's Theorem

For any relative positions of two overlapping congruent rectangular [math]\displaystyle{ n }[/math]-prisms [math]\displaystyle{ Q }[/math] and [math]\displaystyle{ R }[/math] with [math]\displaystyle{ n \in {}^{\omega }\mathbb{N}_{\ge 2} }[/math], it can be stated for the exact standard measure [math]\displaystyle{ \mu }[/math], where [math]\displaystyle{ \mu }[/math] for [math]\displaystyle{ n = 2 }[/math] needs to be replaced by the Euclidean path length [math]\displaystyle{ L }[/math], that:


[math]\displaystyle{ 1/(2n - 1) < r := \mu(\partial Q \cap R)/\mu(\partial R \cap Q) < 2n - 1. }[/math]

Proof:

Since the underlying extremal problem has its maximum for rectangles with the side lengths [math]\displaystyle{ s }[/math] and [math]\displaystyle{ s + 2d0 }[/math], min [math]\displaystyle{ r = s/(3s - 2d0) \le r \le }[/math] max [math]\displaystyle{ r = (3s - 2d0)/s }[/math] holds. The proof for [math]\displaystyle{ n > 2 }[/math] is analogous.[math]\displaystyle{ \square }[/math]

Recommended reading

Nonstandard Mathematics