I was indeed thinking of reversible binding, because with irreversible binding the concept of affinity has to be modified a bit.
And indeed, lower dissociation constant means greater affinity.
I'm not sure I understand what equation you're looking for. The classic pharmacology of receptor binding usually obeys a 'logistic-like' pattern.
You can read more on this here:
http://www.sciencedirect.com/science/article/pii/S1056871914002470
(article kindly suggested to me by member Stephen Tashi)
and in this thread that I actually started myself, dealing with the error in IC50 determinations:
https://www.physicsforums.com/threads/error-on-biological-assay-results.792633/
Concerning your original question, by appropriate experiments you can measure the actual dissociation constant of the agonist and of the antagonist, and from what I know, in principle there is nothing stopping Kd
antagonist from being smaller than Kd
agonist for at least one [agonist, antagonist] pair.
A mathematical
proof... I don't think so. I guess to do that you should be able to describe your receptor-ligand complex, in a biological environment, fully and exactly by a system of equations. I may be wrong, but I don't think we're there yet. Several computer programmes are available, which take the crystal structure of a receptor and the structures of several ligands (e.g. designed by you or combinatorially), and give you estimates of their affinity for the receptor. Some of them give very good predictions, and it may be that you can say with a good confidence margin that antagonist X is likely to have a better affinity than agonist A. But I don't suppose that'd count as a
proof; you would have to make the molecules and test them
