正三角形を全て大きさの異なる複数の正三角形に分割することは可能か