Intereting Posts

Is this definite integral really independent of a parameter? How can it be shown?
Is $\mathbb{R}$ the only ordered field?
Find an abelian infinite group such that every proper subgroup is finite
An example of a division ring $D$ that is **not** isomorphic to its opposite ring
Expected number of trials before I get one of each type
Monotonicity in alternating Series
$\lim_{n \to \infty} \mid a_n + 3(\frac{n-2}{n})^n \mid^{\frac1n} = \frac35$. Then find $\lim_{n \to \infty} a_n$.
How prove this inequality $\sin{\sin{\sin{\sin{x}}}}\le\frac{4}{5}\cos{\cos{\cos{\cos{x}}}}$
A special modular function: $ j $-invariant.
Prove that the tesseract graph is non-planar
How are the pigeonholes calculated in this pigeon-hole problem?
Show that $Kf(x,y)=\int_0^1k(x,y) f(y) \,dy\\$ is linear and continuous
Probability of $\limsup$ of a sequence of sets (Borel-Cantelli lemma)
Proof by induction that $B\cup (\bigcap_{i=1}^n A_i)=\bigcap_{i=1}^n (B\cup A_i)$
If $B$ is an infinite complete Boolean algebra, then its saturation is a regular uncountable cardinal

Let $n\geq2$ be an integer and let $a_1,\ldots,a_n\in\mathbb Z$ with $\gcd(a_1,\ldots,a_n)=1$. Does the equation

$$\begin{vmatrix}a_1&\cdots&a_n\\x_{11}&\cdots&x_{1n}\\x_{21}&\cdots&x_{2n}\\\vdots&\ddots&\vdots\\x_{n-1,1}&\cdots&x_{n-1,n}\end{vmatrix}=1$$

always have an integer solution for the $x_{kl}$’s?

**Motivation**

Consider the following question:

- Area of a parallelogram, vertices $(-1,-1), (4,1), (5,3), (10,5)$.
- Show that $\det{(A + sxy^*)}$ is linear in $s$
- Determinant of a finite-dimensional matrix in terms of trace
- Proving determinant product rule combinatorially
- Determinant of an $n\times n$ complex matrix as an $2n\times 2n$ real determinant
- A determinant inequality

Let $(0,0)\neq(a,b)\in\mathbb Z^2$. What is the minimal area of a triangle whose vertices have coordinates $(0,0)$, $(a,b)$ and $(x,y)\in\mathbb Z^2$?

It is easily seen to be $\frac12\gcd(a,b)$, by noting that the area is given by $$\frac12\left|\begin{vmatrix}a&b\\x&y\end{vmatrix}\right|=\frac12|ay-bx|$$

and Bézout’s theorem. Note that this is the case $n=2$. We also have:

Let $(0,0,0)\neq(a_1,a_2,a_3)\in\mathbb Z^3$. The minimal volume of a tetrahedron whose vertices have integer coordinates $(0,0,0)$, $(a_1,a_2,a_3)$, $(x_1,x_2,x_3)$ and $(y_1,y_2,y_3)$ is $\frac16\gcd(a_1,a_2,a_3)$.

The proof is a bit more tedious: (source (in Dutch))

The volume is given by $\frac16\left|\begin{vmatrix}a_1&a_2&a_3\\x_1&x_2&x_3\\y_1&y_2&y_3\end{vmatrix}\right|=\frac16\left|a_1\begin{vmatrix}x_2&x_3\\y_2&y_3\end{vmatrix}+a_2\begin{vmatrix}x_1&x_3\\y_1&y_3\end{vmatrix}+a_3\begin{vmatrix}x_1&x_2\\y_1&y_2\end{vmatrix}\right|$. So it suffices to show that $\left(\begin{vmatrix}x_2&x_3\\y_2&y_3\end{vmatrix},\begin{vmatrix}x_1&x_3\\y_1&y_3\end{vmatrix},\begin{vmatrix}x_1&x_2\\y_1&y_2\end{vmatrix}\right)$ can take any value in $\mathbb Z^3$. Let $(u,v,w)\in\mathbb Z^3$. If $\gcd(v,w)=d>1$, we can solve for $(u,\frac vd,\frac wd)$ and multiply $x_1,y_1$ by $d$ to get a solution for $(u,v,w)$. Assume $\gcd(v,w)=1$. Now choose $x_1=y_1=1$, $x_2,x_3$ such that $x_2v-x_3w=u$ and $y_2=x_2+w$, $y_3=x_3+v$ to get $\left(\begin{vmatrix}x_2&x_3\\y_2&y_3\end{vmatrix},\begin{vmatrix}x_1&x_3\\y_1&y_3\end{vmatrix},\begin{vmatrix}x_1&x_2\\y_1&y_2\end{vmatrix}\right)=(u,v,w)$.

This is what made me think that these observations might generalise to higher dimensions…

- Classifying Diophantine Equations
- Computing determinant of a specific matrix.
- Is it possible that $(x+2)(x+1)x=3(y+2)(y+1)y$ for positive integers $x$ and $y$?
- On the equation $3x^3 + 4y^3 + 5z^3 = 0$
- Proving that $\det(A) = 0$ when the columns are linearly dependent
- An equation of the form A + B + C = ABC
- Points on the elliptic curve for Ramanujan-type cubic identities
- Matrix determinant lemma with adjugate matrix
- A non-Vandermonde matrix with Vandermonde-like determinant?
- Why can't the Alpertron solve this Pell-like equation?

The conjecture appears true:

For any $a_1,\ldots,a_n\in\mathbb Z$, the determinant of a matrix with them in its first row can be any multiple of their $\gcd$.

It clearly suffices to handle the case in which their $\gcd$ is $1$.

I found a recursive procedure that seems to work. For $n=2$ we take

$$\begin{pmatrix}a_1&a_2\\-b_2&b_1\end{pmatrix}$$

where $b_1a_1+b_2a_2=1$. Now let $n\geq3$ and suppose we’ve constructed $M$ such that

$$\left|\begin{array}{c}a_2&\cdots&a_n\\\hline\\

&\large M\end{array}\right|=\gcd(a_2,\ldots,a_n)=a.$$

Imagine expanding this determinant along the first row. What we get is a linear combination of $a_2,\ldots,a_n$ with the $n-2\times n-2$ minors of $M$, say $m_2,\ldots,m_n$, as coefficients. Note that this implies $\gcd(m_2,\ldots,m_n)=1$, so there exist $c_2,\ldots,c_n\in\mathbb Z$ such that

$$\left|\begin{array}{c}c_2&\cdots&c_n\\\hline\\

&\large M\end{array}\right|=1.$$

Because $\gcd(a_1,a)=1$ we have $xa_1+ya=1$ for some $x,y\in\mathbb Z$. Now observe that

$$\left|\begin{array}{c|ccc}a_1&a_2&\cdots&a_n\\

-y&xc_1&\cdots&xc_n\\\hline

0\\

\vdots&&M\\

0\end{array}\right|=a_1\cdot\left|\begin{array}{c}xc_2&\cdots&xc_n\\\hline\\

&\large M\end{array}\right|+y\cdot\left|\begin{array}{c}a_2&\cdots&a_n\\\hline\\

&\large M\end{array}\right|=1.$$

**Note:** the obtained matrix will look like

$$\begin{pmatrix}a_1&a_2&a_3&\cdots&a_{n-1}&a_n\\

*&*&*&\cdots&*&*\\

0&*&*&\cdots&*&*\\

0&0&*&\cdots&*&*\\

\vdots&\ddots&\ddots&\ddots&\vdots&\vdots\\

0&0&0&\cdots&*&*\end{pmatrix},$$

which is called an upper Hessenberg matrix.

- Find the eigenvalues and eigenvectors with zeroes on the diagonal and ones everywhere else.
- Sum of the series $1+\frac{1\cdot 3}{6}+\frac{1\cdot3\cdot5}{6\cdot8}+\cdots$
- Advice on self study of category theory
- product of harmonic functions
- Bijection between the set of classes of positive definite quadratic forms and the set of classes of quadratic numbers in the upper half plane
- Galois Theoretic Proof of Fundamental Theorem of Algebra
- Tricky Lebesgue Dominated Convergence Question
- Which field is it?
- How to prove boolean ordering question
- Do We Need the Digits of $\pi$?
- Characterization of ideals in rings of fractions
- Correlated Brownian motion and Poisson process
- How to prove $f(z) = \sum_{n=-\infty}^{\infty}e^{2\pi inz}e^{-\pi n^2}$ has a unique zero inside a unit square in the 1st quadrant.
- Problem with the ring $R=\begin{bmatrix}\Bbb Z & 0\\ \Bbb Q &\Bbb Q\end{bmatrix}$ and its ideal $D=\begin{bmatrix}0&0\\ \Bbb Q & \Bbb Q\end{bmatrix}$
- Creating a bijection from $(a,b)$ to $\mathbb R$ that is visually compelling