The cycloid as brachistochrone: A one-page proof, from first principles, without calculus

Johann Bernoulli’s optical solution of the brachistochrone problem is rebuilt on underlying (non-optical) principles. An “optical interpretation” is given afterwards.