ＡＸとＢＣの交点Ｚ’は

　　（Ｙ−ｙ）＝（ｙ−０）／（ｘ−１）・（Ｘ−ｘ）

　　Ｘ＝−１／２，Ｙ＝ｙ／（ｘ−１）・（−１／２−ｘ）＋ｙ

　　Ｙ＝−３ｙ／２（ｘ−１）

ＢＺ’^2＝（√３／２−Ｙ）^2＝ｃ1

　　ＣＺ’^2＝（Ｙ＋√３／２）^2＝ｄ1

　ＢＸとＣＡの交点Ｚ’は

　　（Ｙ−ｙ）＝（ｙ−√３／２）／（ｘ＋１／２）・（Ｘ−ｘ）

Ｙ＝１／√３・Ｘ−１／√３

　　ｍ＝（ｙ−√３／２）／（ｘ＋１／２）

より

　　ｍ・（Ｘ−ｘ）＋ｙ＝１／√３・Ｘ−１／√３

ａ＝（ｍｘ−１／√３−ｙ）／（ｍ−１／√３）

ｂ＝１／√３・Ｘ−１／√３

　　ＣＺ’^2＝（ａ＋１／２）^2＋（ｂ＋√３／２）^2

　　ＡＺ’^2＝（ａ−１）^2＋ｂ^2

　ＣＸとＡＢの交点Ｚ’は

　　（Ｙ−ｙ）＝（ｙ＋√３／２）／（ｘ＋１／２）・（Ｘ−ｘ）

Ｙ＝−１／√３・Ｘ＋１／√３

　　ｎ＝（ｙ＋√３／２）／（ｘ＋１／２）

より

　　ｎ・（Ｘ−ｘ）＋ｙ＝−１／√３・Ｘ＋１／√３

ｃ＝（ｎｘ＋１／√３−ｙ）／（ｎ＋１／√３）

ｄ＝−１／√３・Ｘ＋１／√３

　　ＡＺ’^2＝（ｃ−１）^2＋ｄ^2＝

　　ＢＺ’^2＝（ｃ＋１／２）^2＋（ｄ−√３／２）^2

＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝

　　Ｙ＝−３ｙ／２（ｘ−１）

ＢＺ’^2＝（Ｙ−√３／２）^2

　　ＣＺ’^2＝（Ｙ＋√３／２）^2

　　ｍ＝（２ｙ−√３）／（２ｘ＋１）

　　√３ｍ−１＝（２√３ｙ−３）／（２ｘ＋１）

　　√３ｍｘ−１−√３ｙ＝（−５ｘ−１−√３ｙ）／（２ｘ＋１）

　　ａ＝（−５ｘ−√３ｙ−１）／（２√３ｙ−２ｘ−４）

　　ｂ＝√３／３・（ａ−１）

　　ＣＺ’^2＝（ａ＋１／２）^2＋（ｂ＋√３／２）^2＝４／３・（ａ＋１／２）^2

　　ＡＺ’^2＝（ａ−１）^2＋１／３・（ａ−１）^2＝４／３・（ａ−１）^2

　　ｎ＝（２ｙ＋√３）／（２ｘ＋１）

　　√３ｎ＋１＝（２√３ｙ＋２ｘ＋４）／（２ｘ＋１）

　　√３ｎｘ＋１−√３ｙ＝（５ｘ＋１−√３ｙ）／（２ｘ＋１）

ｃ＝（５ｘ−√３ｙ＋１）／（２√３ｙ＋２ｘ＋４）

ｄ＝−√３／３・（ｃ−１）

　　ＡＺ’^2＝（ｃ−１）^2＋ｄ^2＝４／３・（ｃ−１）^2

　　ＢＺ’^2＝（ｃ＋１／２）^2＋（ｄ−√３／２）^2＝４／３・（ｃ＋１／２）^2

＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝

　（√３／２−Ｙ）・２（ａ＋１／２）／√３・２（ｃ−１）／√３

＝（Ｙ＋√３／２）・２（ａ−１）／√３・２（ｃ＋１／２）／√３

　（√３／２−Ｙ）（ａ＋１／２）（ｃ−１）

＝（Ｙ＋√３／２）（ａ−１）（ｃ＋１／２）

　（√３／２−Ｙ）（ａｃ−ａ＋ｃ／２−１／２）

＝（Ｙ＋√３／２）（ａｃ＋ａ／２−ｃ−１／２）

　　Ｙ（２ａｃ−ａ／２−ｃ／２−１）＝√３／２・３／２・（ｃ−ａ）

　　Ｙ＝３√３（ｃ−ａ）／（８ａｃ−２ａ−２ｃ−４）

であることが証明できればよいことになる．

＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝

ａ−ｃ＝｛（−√３ｙ−５ｘ−１）（２√３ｙ＋２ｘ＋４）−（−√３ｙ＋５ｘ＋１）（２√３ｙ−２ｘ−４）｝／（２√３ｙ−２ｘ−４）（２√３ｙ＋２ｘ＋４）

＝｛−２√３ｙ（２ｘ＋４）−４√３ｙ（５ｘ＋１）｝／｛（２√３ｙ）^2−（２ｘ＋４）^2｝

＝−１２√３ｙ（２ｘ＋１）／（１２ｙ^2−４ｘ^2−１６ｘ−１６）

ａ＋ｃ＝｛（−√３ｙ−５ｘ−１）（２√３ｙ＋２ｘ＋４）＋（−√３ｙ＋５ｘ＋１）（２√３ｙ−２ｘ−４）｝／（２√３ｙ−２ｘ−４）（２√３ｙ＋２ｘ＋４）

＝｛−１２ｙ^2−２０ｘ^2−４４ｘ−８）｝／｛（２√３ｙ）^2−（２ｘ＋４）^2｝

（ａ＋ｃ）／２＝｛−６ｙ^2−１０ｘ^2−２２ｘ−４）｝｛（２√３ｘｙ−

ａｃ＝｛（−√３ｙ−５ｘ−１）（−√３ｙ＋５ｘ＋１）／（２√３ｙ−２ｘ−４）（２√３ｙ＋２ｘ＋４）

＝｛３ｙ^2−２５ｘ^2−１０ｘ−１｝／（１２ｙ^2−４ｘ^2−１６ｘ−１６）

２ａｃ−１＝｛−６ｙ^2−４６ｘ^2−４ｘ＋１４｝／（１２ｙ^2−４ｘ^2−１６ｘ−１６）

２ａｃ−１−（ａ＋ｃ）／２＝｛−３６ｘ^2＋１８ｘ＋１８｝／（１２ｙ^2−４ｘ^2−１６ｘ−１６）

＝−１８（２ｘ^2−ｘ−１）／（１２ｙ^2−４ｘ^2−１６ｘ−１６）＝−１８（ｘ−１）（２ｘ＋１）／（１２ｙ^2−４ｘ^2−１６ｘ−１６）

　　Ｙ＝−３ｙ／２（ｘ−１）

＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝