题目内容：

设有任意正三角形abc,其三条边bc,ca,ab上分别有一点a1,b1,c1,而且有ac1=2c1b,ba1=
RT
设有任意正三角形ABC,其三条边BC、CA,AB上分别有一点A1、B1、C1,而且有AC1=2C1B,BA1=2A1C,CB1=2B1A.编制程序验证由线段AA1、BB1、CC1相交而成的三角形A2B2C2的面积是正三角形ABC的面积的七分之一