Theorem: M_chirp * 2^{1/5} - m = 0 at m_1 = m_2 = m (equal-mass chirp-mass identity)

Theorem (chirp-mass-equal-mass canonical): for m_1 = m_2 = m, M_chirp = (m m)^{3/5}/(2m)^{1/5} = m^{6/5}/(2 m)^{1/5} = m^{6/5}/(2^{1/5} m^{1/5}) = m^{6/5 - 1/5}/2^{1/5} = m/2^{1/5}. Hence M_chirp * 2^{1/5} = m identically. Canonical sympy…