Sendo a, b, e c termos de uma P.A. de razão r, escrevemos:
a + r = b ⇒ a − b = −r b + r = c ⇒ b − c = −r a + 2r = c ⇒ c − a = 2r 1 1 1 Admitindo que , e formam também uma P.A., verificamos que: b+ c c+ a a+ b 1 1 1 b− c 1 c− a + r1 = ⇒ ⋅ + r1 = ⋅ ⇒ b+ c c+ a b+ c b− c c+ a c− a b− c c− a c− a b− c ⇒ + r1 = ⇒ r1 = − ⇒ b−c c−a c−a b−c c− a b− c c− a b− c c − a +2 b −2 c ⇒ r1 = − = + = 2r −r 2r r 2r 2 b− a− c obtendo-se, portanto, r1 = 2r Da mesma maneira, 1 1 1 c− a 1 a− b + r1 = ⇒ ⋅ + r1 = ⋅ ⇒ c+ a a+ b c+ a c− a a+ b a− b c− a a− b a− b c− a ⇒ + r1 = ⇒ r1 = − ⇒ c−a a −b a−b c−a a− b c − a −2 a + 2 b − c + a ⇒ r1 = − = −r 2r 2r 2 b− c− a resultando também em r1 = . Conseqüentemente, sendo a, b, e c termos de uma 2r 1 1 1 P.A., , e formam também uma P.A. (q.e.d) b+ c c+ a a+ b