Proof that Commuting Operators have Simultaneously Defined Eigenvalues

Set up in Operator Notation

First of all, assume a wavefunction which is an eigenfunction of both operators A and B with eigenvalues a and b respectively. From this, we can write

The same eigenstate has eigenvalue a and b, hence both properties can be measured simultaneously. Such is not the case, if the operators do not commute.