Intereting Posts

Expectation inequality for a set and its subset.
Does same cardinality imply a bijection?
Question related to Lagrange multipliers
A basis for the dual space of $V$
What are Goldbach conjecture for other algebra structures, matrix, polynomial, algebraic number, etc?
converging subsequence on a circle
$M,N\in \Bbb R ^{n\times n}$, show that $e^{(M+N)} = e^{M}e^N$ given $MN=NM$
Countable axiom of choice: why you can't prove it from just ZF
Positive lower bound for a function defined as a series?
Evaluating $\lim_{b\to\infty} \int_0^b \frac{\sin x}{x}\, dx= \frac{\pi}{2}$
Intersection of cosets
Is $\mathbb Z$ Euclidean under some other norm?
Ring of order $n$ is isomorphic to $\Bbb Z/n\Bbb Z$, with $n$ square-free
Subgroup of index 2 is Normal
Showing “$30$ divides $n^5-n$ for all $n\in\Bbb N$” using induction

A square with side $a$ is given. What is the average distance between two uniformly-distributed random points inside the square?

For more general rectangle case, see here. The proof found there is fairly complex, and I looking for simpler proof for this special case

See also line case

- Calculating new vector positions
- Prove that if two miles are run in 7:59 then one mile MUST be run under 4:00.
- Why is the $0$th power mean defined to be the geometric mean?
- What is to geometric mean as integration is to arithmetic mean?
- Is this a weighted average/percentage problem?
- Average distance to a random point in a rectangle from an arbitrary point

- Why is $\sin(d\Phi) = d\Phi$ where $d\Phi$ is very small?
- How to prove that Pi exists?
- Why are $3D$ transformation matrices $4 \times 4$ instead of $3 \times 3$?
- Find equation of ellipse given two tangent lines at given points and a point on ellipse
- Finding point coordinates of a perpendicular
- How to know if a point is inside a circle?
- What is the difference between a variety and a manifold?
- Fitting data to a portion of an ellipse or conic section
- What is the correct English name of these lines?
- Condition for 3 complex numbers to represent an equilateral triangle

We just have to compute:

$$ I=\int_{[0,1]^4}\sqrt{(x_1-x_2)^2+(y_1-y_2)^2}\,d\mu. \tag{1}$$

Assuming that $X_1$ and $X_2$ are two independent random variables, uniformly distributed over $[0,1]$, the pdf of their difference $\Delta X=X_1-X_2$ is given by:

$$ f_{\Delta X}(x) = \left(1-|x|\right)\cdot\mathbb{1}_{[-1,1]}(x)\tag{2}$$

hence:

$$\begin{eqnarray*} I &=& \iint_{[-1,1]^2}(1-|x|)(1-|y|)\sqrt{x^2+y^2}\,dx\,dy \\&=&4\iint_{[0,1]^2}xy\sqrt{(1-x)^2+(1-y)^2}\,dx\,dy\tag{3}\end{eqnarray*}$$

that is tedious to compute but still possible; we have:

$$ I = \frac{2+\sqrt{2}+5\operatorname{arcsinh}(1)}{15}=\frac{2+\sqrt{2}+5\log(1+\sqrt{2})}{15}=0.52140543316472\ldots$$

(OEIS A091505)

hence the average distance between two random points in $[0,a]^2$ is around the $52.14\%$ of $a$.

- Proving that the dot product is distributive?
- How to test whether a set of four points can form a parallelogram
- Limit-The question asks to find the value of a in the limit.
- Variance for mixed distribution (continuous + discrete)
- A normal subgroup intersects the center of the $p$-group nontrivially
- Gradient of a function as the direction of steepest ascent/descent
- Partitions of an integer into k parts.
- Suppose $(X,Y) \overset{d}{=} (X,Z)$ and $Y$ is $Z$-measurable. Prove $X$ and $Z$ conditionally independent given $Y$.
- Give a demonstration that $\sum\limits_{n=1}^\infty\frac{\sin(n)}{n}$ converges.
- Colimit of topological groups (again)
- On an expansion of $(1+a+a^2+\cdots+a^n)^2$
- “Additive” hash function
- Exercise from Stein with partial differential operator
- Determinant value of a square matrix whose each entry is the g.c.d. of row and column position
- Simple Proof of the Euler Identity $\exp{i\theta}=\cos{\theta}+i\sin{\theta}$