Intereting Posts

Elements of finite order in the group of arithmetic functions under Dirichlet convolution.
Validity of conditional statement when the premise is false.
dimension of quotient space
$J(\mathcal{O})\cong\bigoplus_{\mathfrak{p}} P(\mathcal{O}_\mathfrak{p})$ for one-dimensional Noetherian domains (from Neukirch)
Upper bound on distance of Primitive BCH code
If an Abelian group $G$ has order $n$ and at most one subgroup of order $d$ for all $d$ dividing $n$ then $G$ is cyclic
A System of Matrix Equations (2 Riccati, 1 Lyapunov)
Del operator in 2D polar coordinates
Precise definition of epsilon-ball
Finite index subgroups of a virtually abelian group
Proving by induction that $ \sum_{k=0}^n{n \choose k} = 2^n$
Does separability imply the Lindelöf property?
Bijection between power sets of sets implies bijection between sets?
The $ l^{\infty} $-norm is equal to the limit of the $ l^{p} $-norms.
Choose a random number between 0 and 1 and record its value. Keep doing it until the sum of the numbers exceeds 1. How many tries do we have to do?

The lines which bisect the area of a triangle form an envelope as shown in this picture

It is not difficult to show that the ratio of the area of the red deltoid to the area of the triangle is $$\frac{3}{4} \log_e(2) – \frac{1}{2} \approx 0.01986.$$

- Does anyone know of any open source software for drawing/calculating the area of intersection of different shapes?
- Why is the area of the circle $πr^2$?
- Is there a shape with infinite area but finite perimeter?
- How to find area of remaining square with shapes inside
- Rigorous proof that $dx dy=r\ dr\ d\theta$
- Calculating Centre of area using a method I found but it gives me only approximate answers

But this is also $$\sum_{n=1}^{\infty}\frac{1}{(4n-1)(4n)(4n+1)}.$$

Is there any connection between the series and the deltoid? Or is it just a coincidence?

*(I asked this at MathOverflow almost 18 months ago and got no response)*

- Distance Formula in Three Dimensions
- If $\langle a,b \rangle=0$, then $a,b$ are perpendicular?
- Alternative proof that base angles of an isosceles triangle are equal
- On nonintersecting loxodromes
- Linear bound on angles in an euclidean triangle.
- Given a particular triangle that has been constructed, I want to prove that one of the angles must be $> 45$ degrees.
- Given a drawing of a parabola is there any geometric construction one can make to find its focus?
- Possible areas for convex regions partitioning a plane and containing each a vertex of a square lattice.
- Lower bound on product of distances from points on a circle
- Volume of frustum cut by an inclined plane at distance h

Since $|\triangle BPQ|=\frac12\sin(B)|\overline{BP}||\overline{BQ}|$, to maintain $|\triangle BPQ|=\frac12|\triangle ABC|$, we need $|\overline{BP}||\overline{BQ}|=\tfrac12|\overline{BC}||\overline{BA}|$.

$\hspace{3.4cm}$

In the diagram above, the endpoints of the lines are parametrized by

$$

P_t=\frac{1-t}2B+\frac{1+t}2C\tag{1}

$$

and

$$

Q_t=\frac{t}{1+t}B+\frac1{1+t}A\tag{2}

$$

for $t\in[0,1]$.

The points on each line are parametrized by

$$

R_t(s)=(1-s)P_t+sQ_t\tag{3}

$$

To find a point on the envelope of the family of lines parametrized by $t$ we need to find where

$$

\frac{\partial}{\partial t}R_t(s)=\frac{1-s}2(C-B)+\frac{s}{(1+t)^2}(B-A)\tag{4}

$$

is parallel to

$$

\frac{\partial}{\partial s}R_t(s)=\frac1{1+t}(A-B)+\frac{1+t}2(B-C)\tag{5}

$$

Setting the cross product to $0$, we get that

$$

\frac{1-s}{2(1+t)}-\frac{s}{2(1+t)}=0\tag{6}

$$

which happens when $s=\frac12$. That is, the locus of the envelope is the midpoints of the line segments

$$

M_t=B+\frac{1+t}4(C-B)+\frac1{2(1+t)}(A-B)\tag{7}

$$

$\hspace{3.4cm}$

Subtracting the center of the triangle (and of the deltoid) at $M_\triangle=\frac13(A+B+C)$ yields

$$

M_t-M_\triangle=\left(\frac{1+t}4-\frac13\right)(C-B)+\left(\frac1{2(1+t)}-\frac13\right)(A-B)\tag{8}

$$

Thus, $3$ times the area of $\frac13$ of the deltoid is

$$

\begin{align}

&\frac32\int_0^1(M_t-M_\triangle)\times(M_t-M_\triangle)’\,\mathrm{d}t\\

&=3|\triangle ABC|\int_0^1\left[\frac14\left(\frac1{2(1+t)}-\frac13\right)+\frac1{2(1+t)^2}\left(\frac{1+t}4-\frac13\right)\right]\,\mathrm{d}t\\

&=\frac{3\log(2)-2}{4}|\triangle ABC|\tag{9}

\end{align}

$$

where $|\triangle ABC|=\frac12|(A-B)\times(C-B)|$.

Since the deltoid, as parametrized in $(7)$, is a convex combination of the vertices, it transforms with any affine linear transformation of the vertices. Thus, the ratio of areas does not depend on the particular location of the vertices.

$$

\begin{align}

\sum_{k=1}^\infty\frac1{(4k-1)4k(4k+1)}

&=\frac12\sum_{k=1}^\infty\left(\frac1{4k-1}-\frac1{2k}+\frac1{4k+1}\right)\\

&=\lim_{n\to\infty}\frac12\left(\color{#C00000}{\sum_{k=1}^{2n}\frac1{2k+1}-\sum_{k=1}^{2n}\frac1{2k}}+\color{#00A000}{\sum_{k=n+1}^{2n}\frac1{2k}}\right)\\

&=\frac12\left(\color{#C00000}{\log(2)-1}+\color{#00A000}{\frac12\log(2)}\right)\\[3pt]

&=\frac{3\log(2)-2}{4}\tag{10}

\end{align}

$$

Thus, we have

$$

\begin{align}

&3\int_0^1\left[\frac14\left(\frac1{2(1+t)}-\frac13\right)+\frac1{2(1+t)^2}\left(\frac{1+t}4-\frac13\right)\right]\,\mathrm{d}t\\[6pt]

&=\frac{3\log(2)-2}{4}\\[6pt]

&=\sum_{k=1}^\infty\frac1{(4k-1)4k(4k+1)}

\end{align}

$$

Perhaps there is another way to compute the area of the deltoid that makes it turn into the sum. However, it looks like a coincidence from this approach.

- Show that $\mathbb{Q}$ is dense in the real numbers. (Using Supremum)
- How can I show using the $\epsilon-\delta$ definition of limit that $u(x,y_0)\to l$ as $x\to x_0?$
- Does the rank-nullity theorem hold for infinite dimensional $V$?
- Show $f(x) = x^3 – \sin^2{x} \tan{x} < 0$ on $(0, \frac{\pi}{2})$
- Similar matrices over different fields
- Is there a “nice” formula for $\sum_{d|n}\mu(d)\phi(d)$?
- Finite field, every element is a square implies char equal 2
- Prove that if $\gcd( a, b ) = 1$ then $\gcd( ac, b ) = \gcd( c, b ) $
- Inequality with two sequences
- Universal property of tensor products / Categorial expression of bilinearity
- Let $a,b,c\in \Bbb R^+$ such that $(1+a+b+c)(1+\frac{1}{a}+\frac{1}{b}+\frac{1}{c})=16$. Find $(a+b+c)$
- is a net stronger than a transfinite sequence for characterizing topology?
- Sphere packing question AGAIN.
- Definitions of Baire first and second category sets
- Best Strategy for a die game