Lobachevsky triangle altitudes theorem as the Jacobi identity in the Lie algebra of quadratic forms on symplectic plane

An isomorphism between the Lobachevsky and de Sitter's world geometries with the symplectic geometry and the Lie algebra of binary quadratic forms is used to derive the altitudes concurrence for the Lobachevsky and de Sitter triangles.