pembuktian rumus koefisien muai panjang