Giả sử :
Phép đồng dạng f biến (H1)→(H) theo tỉ số k1 và biến (H2)→(H)
theo tỉ số k2
Xét
M,N∈(H)⇒f:MN→M1N1(M1,N1∈(H1) thỏa mãn :
M1N1=k1MN
f:MN→M2N2(M2,N2∈(H2) thỏa
mãn : M2N2=k2MN
⇒f:M1N1→M2N2 thỏa mãn : M2N2=k2k1M1N1
⇒(H2) đồng dạng với (H1) theo tỉ số k2k1