已知三角形ABC相似于三角形A1B1C1相似比为K