■正7角形の辺と対角線(その21)
[Q] sinx・siny・sinz=1/8 (0<x<y<z<π/2)
は無数に解をもつと思われる。一般解は
z=arcsin(1/8・1/sinx・1/siny+2nπ)
z=π-arcsin(1/8・1/sinx・1/siny+2nπ)
===================================
sinπ/18・sin5π/18・sin7π/18=1/8
sinπ/14・sin3π/14・sin5π/14=1/8
は正しいことが確認された。
===================================