①由“若”类比“若为三个向量，则”；②设圆与坐标轴的4个交点分别为A (x₁，0)、B (x₂，0)、C (0，y₁)、D (0，y₂)，则；③在平面内“三角形的两边之和大于第三边”类比在空间中“四面体的任意三个面的面积之和大于第四个面的面积”；④在实数列中，已知a₁ = 0，，则的最大值为2．上述四个推理中，得出的结论正确的是_____________（写出所有正确结论的序号）．

①由“若”类比“若为三个向量，则”；②设圆与坐标轴的4个交点分别为A (x₁，0)、B (x₂，0)、C (0，y₁)、D (0，y₂)，则；③在平面内“三角形的两边之和大于第三边”类比在空间中“四面体的任意三个面的面积之和大于第四个面的面积”；④在实数列中，已知a₁ = 0，，则的最大值为2．上述四个推理中，得出的结论正确的是_____________（写出所有正确结论的序号）．

给出下列四个命题中： 
①命题“”的否定是“”；
②“”是“直线与直线相互垂直”的必要不充分条件；
③设圆与坐标轴有4个交点，分别为
，则；
④对，不等式恒成立， 则
其中所有真命题的序号是   ▲         .