Given b−a1​+b−c1​=a1​+c1​⇒b−a1​−c1​=a1​−b−c1​⇒(b−a)cc−b+a​=a(b−c)b−c−a​⇒(b−a)cc−b+a​=a(b−c)−(c−b+a)​⇒a(b−c)=−(b−a)c⇒ab−ac=−bc+ac⇒b(a+c)=2ac⇒b=a+c2ac​. Clearly a,b,c are in H.P.