Genelliği bozmaksızın AB < CD kabul edebiliriz. EF = x olsun. AD ile BC nin kesişimi G noktası olsun. GAB ~GEF ~ GDC (açı - açı - açı) benzerliği olur. GAB, ABFE, EFCD alanlarına sırasıyla N, M, M diyelim. Benezerlik ve alan ilişkisinden (M + N)/N = (a/x)2, (2M + N)/n = (c/a)2 eşitlikleri yazılabilir. Bu iki eşitlikten x = √[(a2 + c2)/2] elde edilir.
Yani EF uzunluğu, AB ile CD nin karesel ortalamasıdır.