Hello, and thanks for this wonderful site!There seems to be a confusion in the Barycenter section of the Ceva's theorem discussion (https://www.cut-the-knot.org/Generalization/ceva.shtml#barycenter). It is supposed to present an additional proof of Ceva's theorem, as it'says:

"Assuming that the barycenter's location is independent of the way it's computed we would actually get a different proof of the Ceva Theorem . . ."

However a little later Ceva's theorem is invoked:

"Ceva's theorem guarantees condition (1). From the foregoing discussion, there exist three masses . . ."

So it seems that it cannot constitute a proof of the theorem, if it relies on that very same theorem!

The needed correction seems to be straightforward. On the one hand, given Ceva's equation:

(1) AF/FB * BD/DC * CE/EA = 1,

one can define the masses w_{A}, w_{B}, w_{C} as suggested (ibid), so that F becomes the barycenter of w_{A} and w_{B}, D of w_{B} and w_{C}, and E of w_{C} and w_{A}. Then it is guaranteed, by the properties of barycenters, that the common barycenter lies on CF, also on AD, also on BE. And since there is one and only one barycenter, it is guaranteed that these three Cevians are concurrent.

On the other hand, given three concurrent Cevians AD, BE and CF, one can define again three masses w_{A}, w_{B}, w_{C} as suggested (ibid), in such a way that, say, F is set to be the barycenter of w_{A} and w_{B}, and D the barycenter of w_{B} and w_{C}. It is at this stage not guaranteed that E is the barycenter of w_{C} and w_{A}. However, the common barycenter (of w_{A}, w_{B} and w_{C}) is guaranteed to lie, by the properties of barycenters, on CF as well as on AD, so it must lie on their intersection, which is also their intersection with BE (call it K). Now define E' on CA such that it is the barycenter of w_{A} and w_{C}. The common barycenter must lie on BE'. But we already concluded that the common barycenter is K. So K lies on BE'. Therefore BE' = BE (these two segments share two distinct points, B and K). Therefore E' = E. And this immediately entails Ceva's equation (1).

Ram