Cuantificadores y partidos que pierden registro

He notado que dentro de tuiter hay personas confundidas por la Ley General de Partidos Políticos, y discuten sobre si son dos o cinco los partidos que podrían perder su registro por no obtener votos suficientes en la elección pasada. Aquí un ejemplo:

Postal del día de las madres

Tlacuache de Virginia (Didelphis virginiana) con crías (Wikipedia/Creative Commons).

Otro primo de Mersenne descubierto: ya van 50

La semana pasada, el grupo Great Internet Mersenne Prime Search (GIMPS) anunció el descubrimiento del 50mo número primo de Mersenne: M77232917 = 2^77,232,917-1, con más de 23 millones de dígitos.

Una sorprendente identidad con números de Fibonacci

Hoy me sorprendió este tuit de John Cook en su cuenta @AlgebraFact:

Fibonacci trig identity pic.twitter.com/fBTq6MbRMM

— Algebra Fact (@AlgebraFact) December 5, 2017

No conocía esta identidad, pero se sigue de un par de identidades trigonométricas y de números de Fibonacci. Aquí les presento la demostración.