定义一个三维向量类，并定义相应的特殊方法实现两个该类对象之间的加、减运算（要求支持运算符+、-），实现该类对象与标量的乘、除运算（要求支持运算符*、/），以及向量长度的计算（要求使用属性实现）。

class Vector3:
    # 构造方法，初始化，定义向量坐标
    def __init__(self,x,y,z):
        self.a = x
        self.b = y
        self.c = z
          # 与一个向量相加，对应分量相加，返回新向量
    def __add__(self, m):
        x = self.a + m.a
        y = self.b + m.b
        z = self.c + m.c
        return Vector3(x,y,z)
 
    # 减去另一个向量，对应分量相减，返回新向量
    def __sub__(self, m):
        x = self.a - m.a
        y = self.b - m.b
        z = self.c - m.c
        return Vector3(x, y, z)
 
    # 向量与一个数字相乘，各分量乘以同一个数字，返回新向量
    def __mul__(self, n):
        x, y, z = self.a*n, self.b*n, self.c*n
        return Vector3(x,y,z)
 
    # 向量除以一个数字，各分量除以同一个数字，返回新向量
    def __truediv__(self, n):
        x, y, z = self.a/n, self.b/n, self.c/n
        return Vector3(x, y, z)
 
    # 查看向量长度，所有分量平方和的平方根
    @property
    def length(self):
        return (self.a**2 + self.b**2 + self.c**2)
    def __str__(self):
        return 'Vector3({},{},{})'.format(self.a,self.b,self.c)
 
v1 = Vector3(4, 5, 6)
v2 = Vector3(7, 8, 9)
print('v1+v2=',v1+v2)
print('v1-v2=',v1-v2)
print('v1*v2=',v1*3)
print('v1/v2=',v2/2)
print('所有分量平方和的平方根为',v1.length)