Sympy-exact witness of the Cheng-Prusoff limiting-case identities. Setup: IC50 = Ki · (1 + [S]/Km) as a three-symbol function. Identity 1 ([S] = 0, no substrate): IC50 = Ki · (1 + 0) = Ki — the apparent IC50 equals the true affinity when…
Sympy-exact witness of the Cheng-Prusoff limiting-case identities. Setup: IC50 = Ki · (1 + [S]/Km) as a three-symbol function. Identity 1 ([S] = 0, no substrate): IC50 = Ki · (1 + 0) = Ki — the apparent IC50 equals the true affinity when…