The two well-known theorems considered here are illustrated, for instance, in
[2], each with a selected proof; see [2, p.45, Theorem 2.81] for the butterfly theorem
and [2, p.5, Theorem 1.22] for Ceva’s theorem. In [1] about twenty different
proofs of the butterfly theorem are described, with comments on their features,
related references and historical information.
In this note the butterfly theorem is proved by preliminarily adding some auxiliary
lines to its usual illustrative diagram. Then Ceva’s theorem is used as a lemma
within this extended graph, and the butterfly theorem itself follows from elementary
geometry.