二次型f（x1，x2，x3）＝2x12＋5x22＋5x32＋4x1x2－4x1x3－8x2x3的正定性为（　　）。

二次型（quadratic form）：n个变量的二次多项式称为二次型，即在一个多项式中，未知数的个数为任意多个，但每一项的次数都为2的多项式。线性代数的重要内容之一，它起源于几何学中二次曲线方程和二次曲面方程化为标准形问题的研究。二次型理论与域的特征有关。

X1做为国产轿车自主品牌，也是奇瑞瑞麒系列首款城市迷你SUV车型，该车由世界知名的意大利博通公司专业设计，自2012年上市以来在SUV领域广受关注。小型车已经不仅仅是人们代步的工具，它们逐渐成了人们展现自我，展现个性的载体。作为一款城市迷你SUV，瑞麒X1正迎合了现代消费者的需求。

X-2技术验证机（绰号：心神，意为“上帝之心”）是日本防卫装备厅委托三菱重工名航小牧南工厂研发的日本第五代战机技术验证机，是日本先进战斗机技术验证项目，为日本自研第五代战斗机做技术铺垫。X-2原名ATD-X，意为先进技术验证机项目X，全称Advanced Technological Demonstrator-X Project，其设计目标是要打造一款操控性能更佳、具有空中优势的隐形战机。该机作为实验机，研制成功后可能并不会大量装备部队，而是在其基础上扩大发展第五代战斗机，编号可能是“F-3战斗机"。同时日本防卫省将用该战机研究先进技术与系统集成，之后计划生产一款集“i3”（信息化、智能化与迅捷度）概念和反隐形能力于一体的“第六代”战机。