■等面単体の体積(その68)

 前者は           後者は

 |0,22,19,22,10|   |0,22,19,22,9|

 |3,22,13,10,7|   |3,22,10,10,6|

 |4,10,19,10,6|   |3,13,19,13,6|

 |3,10,13,22,71   |3,10,10,22,6|

 |1,6,6,6,3|   |1,7,6,7,3|

の等しいところを消すと

 | , , , ,10|   | , , , ,9|

 | , ,13, ,7|   | , ,10, ,6|

 |4,10, ,10, |   |3,13, ,13, |

 | , ,13, ,71   | , ,10, ,6|

 | ,6, ,6, |   | ,7, ,7, |

 これらが等しいことを検証するのはもっと面倒だ.

===================================