Формула трёх кругов Эйлера: Математические исследования