在绘制旋转后的四面体时，如何处理每个三角形的顶点？

需要先通过旋转矩阵对每个三角形的顶点进行变换。这可以通过调用Matrix3类的transform方法来实现，该方法将返回变换后的顶点。然后，使用这些变换后的顶点来创建Path2D对象并绘制三角形。例如：

java
    g2.translate(getWidth() / 2, getHeight() / 2); 
    g2.setColor(Color.WHITE); 
    for (Triangle t : tris) { 
    Vertex v1 = transform.transform(t.v1); 
    Vertex v2 = transform.transform(t.v2); 
    Vertex v3 = transform.transform(t.v3); 
    Path2D path = new Path2D.Double(); 
    path.moveTo(v1.x, v1.y); 
    path.lineTo(v2.x, v2.y); 
    path.lineTo(v3.x, v3.y); 
    path.closePath(); 
    g2.draw(path); 
    }