네 변수 T, U, V, W 는 하나의 방정식 (TU−V)2ln(W−UV)=ln2 를 만족한다고 하였다. 따라서 이 변수들이 모두 독립인 것은 아니다. 대략 말하면, 이 중 세 변수를 독립변수로 보고, 주어진 방정식을 나머지 한 변수에 대해 선택한 세 독립변수의 함수로 풀 수 있다.
먼저 ∂T∂U 를 구하라고 하였다. 이는 T, V, W 를 독립변수로 보고 U 를 다음을 만족하는 함수 U(T,V,W) 로 보라는 뜻이다.
(TU(T,V,W)−V)2ln(W−U(T,V,W)V)=ln2(E1)
이는 (1,1,2,4) 에 충분히 가까운 모든 (T,U,V,W) 에 대해 성립한다.
(E1)의 양변을 T 에 대해 미분하면 다음과 같다.
2(TU(T,V,W)−V)[U(T,V,W)+T ∂T∂U(T,V,W)]ln(W−U(T,V,W)V)−(TU(T,V,W)−V)2W−U(T,V,W)V1∂T∂U(T,V,W)V=0
특히 (T,U,V,W)=(1,1,2,4) 에서는 다음과 같다.
2((1)(1)−2)[1+(1)∂T∂U(1,2,4)]ln(4−(1)(2))−((1)(1)−2)24−(1)(2)1∂T∂U(1,2,4)(2)=0
이를 간단히 하면 다음과 같다.
−2[1+∂T∂U(1,2,4)]ln(2)−∂T∂U(1,2,4)=0⟹∂T∂U(1,2,4)=−1+2ln(2)2ln(2)
다음으로 ∂V∂T 를 구하라고 하였다. 이는 U, V, W 를 독립변수로 보고 T 를 다음을 만족하는 함수 T(U,V,W) 로 보라는 뜻이다.
(T(U,V,W)U−V)2ln(W−UV)=ln2(E2)
이는 (1,1,2,4) 에 충분히 가까운 모든 (T,U,V,W) 에 대해 성립한다.
(E2)의 양변을 V 에 대해 미분하면 다음과 같다.
2(T(U,V,W)U−V) [∂V∂T(U,V,W) U−1]ln(W−UV)−(T(U,V,W)U−V)2W−UVU=0
특히 (T,U,V,W)=(1,1,2,4) 에서는 다음과 같다.
2((1)(1)−2)[(1)∂V∂T(1,2,4)−1]ln(4−(1)(2))−((1)(1)−2)24−(1)(2)1=0
이를 간단히 하면 다음과 같다.
−2[∂V∂T(1,2,4)−1]ln(2)−21=0⟹∂V∂T(1,2,4)=1−4ln(2)1