Blockchain technology, as a revolutionary concept, born with Bitcoin, is triggering the start of a new era on information. It is generally recognized that the blockchain-based systems achieve high security in the process of information sharing in a distributed network, at the cost of low efficiency in terms of data throughput or high costs in consuming computational resources. A natural question we are interested in is whether there exists a trade-off principle between different performances of a blockchain system, which is also regarded as blockchain impossibility triangle (BIT) problem. In this paper, we propose an analysis method which can be used to verify the existence of the BIT. Our analysis method is composed of two layers. In the first layer the basic and core attributes are abstracted by building a consensus model, and in the second layer the analysis approach is designed to verify the existence of a BIT. Specifically, in the first layer, we firstly define a leaderless consensus model to quantitatively abstract the basic parameters in the process of system consensus, then three core attributes are justified to serve as the three vertices of the discussed triangle problem, namely security, cost, and efficiency. Based on the core attributes, we propose the credibility metric which measures the difficulty of achieving credible consensus for a given blockchain system. In the second layer, we analyze the existence of BIT, where we have demonstrated the conditions that a BIT exists and the conditions that the triangle does not exist. Finally, the proposed analysis method is applied in analyzing PoW based blockchain systems, where we have shown that there is no BIT problem in PoW based systems. Furthermore, the proposed analysis method can also help the blockchain developers in finding the promising directions of a new blockchain consensus mechanism.