（本文部分公式參考Alexandros Fokianos & Tommaso Raposio寫的DR法教程文檔）

角塊還原后，一般會剩下少數(shù)的棱塊沒有還原。這些棱塊必然是沒有奇偶狀態(tài)且色向全對的三循環(huán)、五循環(huán)、雙二循環(huán)等。

這些棱塊就需要用公式插入解法骨架中了。這需要最少步插入技巧，本文不再闡述了。插入的目的是為了消步，最少步公式重點(diǎn)不是你會多少case的公式，而是每個case你會多少條公式。大家看下面這個case，這是個簡單的2e2e，但是對應(yīng)的公式非常多。

大家不要被嚇到，這么多公式實(shí)際上都是對一條公式進(jìn)行合理變換得來的。接下來我就帶大家簡單看一下。

公式變換大致分為兩種，一是合理鏡像；一是切公式（加setup去廢步也屬于切公式）。

首先來看鏡像，魔方公式的鏡像是指兩條公式對于一條魔方的空間平面來說是對稱的關(guān)系。以上面的case為例，這四個棱塊的位置看做兩種鏡像關(guān)系。

這個case的基礎(chǔ)公式是：<U2 R2 U2 R2 U2 R2>。先以坐標(biāo)的鏡像關(guān)系來看，U2的鏡像還是U2，R2的鏡像還是R2，因此公式不變。咱們放棄這種鏡像關(guān)系，看右邊的鏡像關(guān)系，U2的鏡像就是R2，R2的鏡像是U2，因此公式就變成了：<R2 U2 R2 U2 R2 U2>。

這是對公式的整體鏡像，還可以對公式內(nèi)部的轉(zhuǎn)動步驟進(jìn)行合理的鏡像。比如對基礎(chǔ)公式里中括號里的部分變換成相對的，也就是U2換成D2，R2換成L2：

U2 [R2 U2] R2 [U2 R2]=U2 [L2 D2] R2 [D2 L2]

這樣又得到了一條步數(shù)不變的公式。同理的還有：

U2 R2 U2 R2 U2 R2

= U2 [L2 D2] R2 [D2 L2]

= [D2 L2] U2 [L2 D2] R2

= [D2] R2 [D2 L2] U2 [L2]

?

切公式就是把一個公式從一個合理的位置切開，把前頭的公式挪到尾部，從而得到一條新的公式。提示一下，切公式的本質(zhì)是[共軛交換子]，也就是setup和reverse去廢步。

以上說的鏡像和切公式里說的[合理]，怎么才算合理，什么位置才合理，這個內(nèi)容就深刻了，本文現(xiàn)在不討論，以后有時(shí)間做個相關(guān)的內(nèi)容出來。

另外有的的公式變換既可以用鏡像解釋，又可以用切公式解釋。比如<U2 R2 U2 R2 U2 R2>和<R2 U2 R2 U2 R2 U2>

學(xué)會公式的變換后，下面就給出一些棱塊的插入公式。我把變換的公式也給出來，其中原始公式就用黑色，變換公式用灰色。切公式變換就：

2e2e公式類型可以背幾條公式，變換的公式都可以不用背。有位最少步先賢曾經(jīng)說過：“不需要記最少步公式，因?yàn)橛浟艘膊粫貌簧希昧艘膊灰欢ú綌?shù)少?！毕褡詈蟮?e和3e3e公式，幾乎必然用不上。

好了，以上就是DR法角先還原思路的棱塊插入部分的講解。有什么問題和建議大家評論區(qū)發(fā)出來。咱們下期再見！