Skip to main content

[Community Question] Geometry: Factoring singular conics into linear forms

One of our user asked:

I'm looking for an easy way to factor singular conics into linear forms in order the following exercise.

Which of the following quadratic forms define a singular > conic? Write those as a product of two linear forms.

(a) $x_0^2-2x_0x_1+4x_0x_2-8x_1^2+2x_1x_2+3x_2^2$

(b) $x_0^2-2x_0x_1+x_1^2-2x_0x_2$

(c) $3x_0^2-2x_0x_1$

The matrices of (b) and (c) have full rank and so the quadratic forms are non-degenerate. For (a), we have the matrix

$$ M= \begin{bmatrix} 1 & -1 & 2 \\ -1 & -8 & 1 \\ 2 & 1 & 3 \end{bmatrix} $$

where $det(M)=0$. One way to solve the exercise would be to orthogonally diagonalize M to get rid of the mixed terms. However this involves computing the eigenvalues of M and finding the corresponding eigenvectors. So my question is: Is there a quicker way to do this or do I have to go through the calculations?


Comments

Popular posts from this blog

[Community Question] Linear-algebra: non-negative matrix satisfying two conditions

One of our user asked: A real matrix $B$ is called non-negative if every entry is non-negative. We will denote this by $B\ge 0$ . I want to find a non-negative matrix $B$ satisfying the following two conditions: (1) $(I-B)^{-1}$ exists but not non-negative. Here $I$ is the identity matrix. (2) There is a non-zero and non-negative vector $\vec{d}$ such that $(I-B)^{-1}\vec{d}\ge 0$ . I tried all the $2\times 2$ matrices, but it did not work. I conjecture that such a $B$ does not exist, but don't know how to prove it.

Order of elements of the Prüfer groups $\mathbb{Z}(p^{\infty})$

Let $\mathbb{Z}(p^{\infty})$ be defined by $\mathbb{Z}(p^{\infty}) = \{ \overline{a/b} \in \mathbb{Q}/ \mathbb{Z} / a,b \in \mathbb{Z}, b=p^i$ $ with$ $ i \in \mathbb{N} \}$ , I wish show that any element in $\mathbb{Z}(p^{\infty})$ has order $p^n$ with $n \in \mathbb{N}$ . i try several ways but I have not been successful, some help ?? thank you